compiling to solidity/evm?

[sourdzl]

hey this library looks great. we are looking for a "next gen" circom library for implementing smart contracts on blockchains. Do you have any plans going forward to support compiling to other languages such as solidity/huff?

[srinathsetty]

Thanks for your interest!

By compiling to Solidy, do you mean a Nova verifier that runs in Solidity?

[sourdzl]

yes sir @srinathsetty . so that we could submit proofs on chain, to make attestations available to consume

[fraVlaca]

I have only found this solidity verifier by lurk labs for nova https://github.com/lurk-lab/solidity-verifier/tree/main, not sure it is fully completed yet.

Would love to know if there are others I could try to use too or if support is coming directly in nova soon.