a35228a
(nonnative-numconstraints)
Add code for checking the number of constraints of the 'naive' approach using non-native operations to compute the scalar multiplication. by
2023-12-20 18:04:30 +0100
a29fda9
(refs/pull/1/merge)
Merge 89d9528a01
into f87a71f6a6
by
2023-12-20 18:24:23 +0200
89d9528
(refs/pull/1/head)
Add basic benchmarks for the prover by
2023-12-20 18:18:03 +0200
f87a71f
(HEAD -> main)
Add Sigmabus PoC implementation by
2023-09-29 15:16:58 +0200