arnaucube
arnaucube/nova-studyPublic Self-hosted repository

Commit history

946fa1ce85bd367792bc5b12026eb5ee14a6f229
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