Michele Orrù
|
8dce96b838
feat: emit public-scalar claims under disjunctions as constant-shape claim branches
|
4 周之前 |
Michele Orrù
|
998e45dee5
fix: port the code generator to the sigma-proofs draft API
|
4 周之前 |
Ian Goldberg
|
d5683e25d2
The sigma-rs dependency has been renamed sigma-proofs
|
11 月之前 |
Ian Goldberg
|
b5bd445d63
More vector tests
|
1 年之前 |