Commit history
a
IVC proofs wip: phi hash CS & native impl matching, add test for augmented F
a1a963farnaucube committed on May 13, 2023
a
Add Transcript & TranscriptVar CS test, clean dependencies & clippy. Add GHA for tests
f9b3a66arnaucube committed on Apr 29, 2023
a
Implement poseidon based Transcript & integrate it
- remove Merlin based transcript
- implement poseidon based Transcript
- implement TranscriptVar gadget
- update transcript usage in the other modules to new Transcript
interface
7cf729farnaucube committed on Apr 29, 2023
a
circuits PhiVar parse, NIFS.V gadget implemented, added circuits tests
0aa22d0arnaucube committed on Apr 29, 2023
a
change C from AffineRepr to CurveGroup, use MNT4,6 for tests, other minor changes
5aef523arnaucube committed on Apr 29, 2023
a
add sum-check impl, not currently used by the rest of the repo
946fa1carnaucube committed on Apr 23, 2023
a
add initial nova circuits structure, NIFS circuit partially implemented
6b81f75arnaucube committed on Apr 22, 2023
a
update vec commitment, add check of comm E, W in NIFS test
ba567dfarnaucube committed on Apr 19, 2023