arnaucube
arnaucube/nova-studyPublic Self-hosted repository

Commit history

4117f3d8141902821e7d7d60ae140a4636ff8529
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