search

nalinbhardwaj / Nova-Scotia

Middleware to compile Circom circuits to Nova prover
https://crates.io/crates/nova-scotia
MIT License
235 stars 50 forks source link

solidity verifier #43

Open wighawag opened 3 months ago

wighawag commented 3 months ago

Hi, just stumbled on this. Looks really good.

I was wondering how easy it would be to verify the resulting proof in solidity ?

And if you got some pointers ?

nalinbhardwaj commented 3 months ago

Hi, this library is now superseded by Sonobe -- see the README and examples there for the solidity verifier.