arnaucube
d3abe648a6
add note pointing to the HyperNova's multifolding-poc
10 months ago
arnaucube
654c216200
hypernova-study: start multifolding scheme
10 months ago
arnaucube
26099a0676
CCS from R1CS ( https://eprint.iacr.org/2023/552 )
10 months ago
arnaucube
a9e3998fd5
IVC circuit step i=0 works
10 months ago
arnaucube
a1a963fd0b
IVC proofs wip: phi hash CS & native impl matching, add test for augmented F
10 months ago
arnaucube
87671770e7
add initial IVC proof generation impl
11 months ago
arnaucube
f9b3a66ddb
Add Transcript & TranscriptVar CS test, clean dependencies & clippy. Add GHA for tests
11 months ago
arnaucube
7cf729f00a
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
11 months ago
arnaucube
eb289313b0
add Augmented F (F') circuit initial implementation
11 months ago
arnaucube
0aa22d0ae2
circuits PhiVar parse, NIFS.V gadget implemented, added circuits tests
11 months ago
arnaucube
5aef5239f4
change C from AffineRepr to CurveGroup, use MNT4,6 for tests, other minor changes
11 months ago
arnaucube
590512de0c
sumcheck use transcript, reorganize some files
11 months ago
arnaucube
946fa1ce85
add sum-check impl, not currently used by the rest of the repo
11 months ago
arnaucube
6b81f7549e
add initial nova circuits structure, NIFS circuit partially implemented
11 months ago
arnaucube
b775a6cbc4
add NIFS interface, add commitments related methods
11 months ago
arnaucube
4117f3d814
test folding 3 instances (2 fold-steps)
11 months ago
arnaucube
71d8150a60
check openings of folded instance comms cmE, cmW
11 months ago
arnaucube
402fb41458
add pedersen vec commitment prove & verify
11 months ago
arnaucube
ba567dffde
update vec commitment, add check of comm E, W in NIFS test
11 months ago
arnaucube
ab2b047402
folding witness & crossterms works, add Ve helpers
11 months ago
arnaucube
5a43ecd268
add compute T, start test of simple folding
11 months ago
arnaucube
050110a4dc
add initial NIFS fold instance & witness
11 months ago
arnaucube
a9400e37be
utils: matrix-vector products & Hadamard product
11 months ago
arnaucube
78f1c87313
pedersen commitment with merlin transcript
11 months ago