octo
/
Zebra
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
2,050 Commits 4 Branches 0 Tags 28 MiB
Commit Graph

4 Commits

Author SHA1 Message Date
Jane Lusby 0ac259430a Implement Async Batch verification API for groth16 
This PR is the first step in getting a groth16 proving system fully
integrated with the rest of zebra. This PR implements the initial async
API, but none of the actual batching logic necessary for our eventual
verifier design.

Once the batch verification API from bellman has been implemented we
will need to swap out the "Batch" type defined in this crate with the
new `batch::Verifier` defined in bellman.
 2021-02-05 14:52:48 -05:00
Henry de Valence 9dc8d76d68 consensus: add stub groth16::Verifier 
Co-authored-by: Deirdre Connolly <deirdre@zfnd.org>
 2020-10-20 11:16:22 -04:00
Henry de Valence 2efb4eb262 consensus: add a static redjubjub::VERIFIER with fallback 2020-08-05 21:28:55 -07:00
Henry de Valence 8d4f154c9f consensus: move redjubjub to new primitives module 
This will let it sit alongside a groth16 verifier.
 2020-08-05 21:28:55 -07:00