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
change libsnark submodule to the ZoKrates libsnark
Push libsnark authors to add Groth16 support
Python implementation of Groth16 verifier
^ Solidity
in import.cpp and export.cpp add support for r1cs_gg_ppzksnark_zok proof format & VK formats
IMO we should support both provers using templated types, so the existing stuff can be re-cast from one prover to another easily.
different modules for supporting one or the other? or same module but multiple methods. e.g. libX_groth16.so and libX_default.so or libX.so with prove_groth16 and prove_default ?
If the new one is groth16 the old one is grothN?, what year was his paper put out that specified the method which uses many more pairings.
The text was updated successfully, but these errors were encountered:
Libsnark does have Groth16, but unfortunately not in a way Ethereum would support due to limitations of the Ethereum pairing. We are working on a modified version which does work with the current precompiles.
Bellman doesn't have bn support and would suffer from the same problem above
This requires using the ZoKrates fork of
libsnark
orbellman
:Work needed to support this:
libsnark
submodule to the ZoKrateslibsnark
libsnark
authors to add Groth16 supportimport.cpp
andexport.cpp
add support forr1cs_gg_ppzksnark_zok
proof format & VK formatslibX_groth16.so
andlibX_default.so
orlibX.so
withprove_groth16
andprove_default
?If the new one is
groth16
the old one isgrothN?
, what year was his paper put out that specified the method which uses many more pairings.The text was updated successfully, but these errors were encountered: