I am sharing here a discussion I created on Arkworks about interoperability between the different zk-snark libs out there. https://github.com/orgs/arkworks-rs/discussions/8 Any insight from your team would be super welcome!