You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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?
Activity
srinathsetty commentedon Nov 21, 2022
Thanks for your interest!
By compiling to Solidy, do you mean a Nova verifier that runs in Solidity?
sourdzl commentedon Dec 7, 2022
yes sir Srinath Setty (@srinathsetty) . so that we could submit proofs on chain, to make attestations available to consume
fraVlaca commentedon Sep 14, 2023
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.
doc: Document the fork's behavior (microsoft#116)