arnaucube
arnaucube/nova-studyPublic Self-hosted repository

Commit history

0aa22d0ae28972cf893d2ea261e088ba2f8aabc1
a
circuits PhiVar parse, NIFS.V gadget implemented, added circuits tests
arnaucube committed on Apr 29, 2023
0aa22d0
a
change C from AffineRepr to CurveGroup, use MNT4,6 for tests, other minor changes
arnaucube committed on Apr 29, 2023
5aef523
a
sumcheck use transcript, reorganize some files
arnaucube committed on Apr 23, 2023
590512d
a
add sum-check impl, not currently used by the rest of the repo
arnaucube committed on Apr 23, 2023
946fa1c
a
add initial nova circuits structure, NIFS circuit partially implemented
arnaucube committed on Apr 22, 2023
6b81f75
a
add NIFS interface, add commitments related methods
arnaucube committed on Apr 22, 2023
b775a6c
a
test folding 3 instances (2 fold-steps)
arnaucube committed on Apr 20, 2023
4117f3d
a
check openings of folded instance comms cmE, cmW
arnaucube committed on Apr 20, 2023
71d8150
a
add pedersen vec commitment prove & verify
arnaucube committed on Apr 20, 2023
402fb41
a
update vec commitment, add check of comm E, W in NIFS test
arnaucube committed on Apr 19, 2023
ba567df
a
folding witness & crossterms works, add Ve helpers
arnaucube committed on Apr 19, 2023
ab2b047
a
add compute T, start test of simple folding
arnaucube committed on Apr 19, 2023
5a43ecd
a
add initial NIFS fold instance & witness
arnaucube committed on Apr 18, 2023
050110a
a
utils: matrix-vector products & Hadamard product
arnaucube committed on Apr 18, 2023
a9400e3
a
pedersen commitment with merlin transcript
arnaucube committed on Apr 17, 2023
78f1c87