nalinbhardwaj/Nova-Scotia

solidity verifier

wighawag opened this issue · 1 comments

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 ?

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