24 Commits (main)
 

Author SHA1 Message Date
  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 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