arnaucube
/
nova-study
mirror of https://github.com/arnaucube/nova-study.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Commit Graph

  • d3abe64 (HEAD -> main) add note pointing to the HyperNova's multifolding-poc by arnaucube 2023-05-24 20:21:55 +0200
  • 654c216 hypernova-study: start multifolding scheme by arnaucube 2023-05-21 23:43:41 +0200
  • 26099a0 CCS from R1CS ( https://eprint.iacr.org/2023/552 ) by arnaucube 2023-05-15 23:31:24 +0200
  • a9e3998 (ivc-proofs) IVC circuit step i=0 works by arnaucube 2023-05-14 09:33:51 +0200
  • a1a963f IVC proofs wip: phi hash CS & native impl matching, add test for augmented F by arnaucube 2023-05-13 16:15:30 +0200
  • 8767177 add initial IVC proof generation impl by arnaucube 2023-04-30 23:37:17 +0200
  • f9b3a66 Add Transcript & TranscriptVar CS test, clean dependencies & clippy. Add GHA for tests by arnaucube 2023-04-29 17:36:51 +0200
  • 7cf729f Implement poseidon based Transcript & integrate it by arnaucube 2023-04-29 14:15:25 +0200
  • eb28931 add Augmented F (F') circuit initial implementation by arnaucube 2023-04-29 10:24:20 +0200
  • 0aa22d0 circuits PhiVar parse, NIFS.V gadget implemented, added circuits tests by arnaucube 2023-04-29 08:15:31 +0200
  • 5aef523 change C from AffineRepr to CurveGroup, use MNT4,6 for tests, other minor changes by arnaucube 2023-04-29 01:03:38 +0200
  • 590512d sumcheck use transcript, reorganize some files by arnaucube 2023-04-23 23:11:18 +0200
  • 946fa1c add sum-check impl, not currently used by the rest of the repo by arnaucube 2023-04-23 21:20:32 +0200
  • 6b81f75 add initial nova circuits structure, NIFS circuit partially implemented by arnaucube 2023-04-22 21:12:50 +0200
  • b775a6c add NIFS interface, add commitments related methods by arnaucube 2023-04-22 20:11:32 +0200
  • 4117f3d test folding 3 instances (2 fold-steps) by arnaucube 2023-04-20 17:05:36 +0200
  • 71d8150 check openings of folded instance comms cmE, cmW by arnaucube 2023-04-20 09:47:45 +0200
  • 402fb41 add pedersen vec commitment prove & verify by arnaucube 2023-04-20 09:13:35 +0200
  • ba567df update vec commitment, add check of comm E, W in NIFS test by arnaucube 2023-04-19 22:25:29 +0200
  • ab2b047 folding witness & crossterms works, add Ve helpers by arnaucube 2023-04-19 16:18:41 +0200
  • 5a43ecd add compute T, start test of simple folding by arnaucube 2023-04-19 00:56:59 +0200
  • 050110a add initial NIFS fold instance & witness by arnaucube 2023-04-18 12:42:54 +0200
  • a9400e3 utils: matrix-vector products & Hadamard product by arnaucube 2023-04-18 10:19:22 +0200
  • 78f1c87 pedersen commitment with merlin transcript by arnaucube 2023-04-17 23:44:51 +0200