search

microsoft / Nova

Nova: High-speed recursive arguments from folding schemes
MIT License
704 stars 184 forks source link

compiling to solidity/evm? #116

Open sourdzl opened 2 years ago

sourdzl commented 2 years ago

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 commented 1 year ago

Thanks for your interest!

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

sourdzl commented 1 year ago

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

fraVlaca commented 1 year ago

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.