arnaucube
/
nova-study
mirror of https://github.com/arnaucube/nova-study.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
24 Commits
2 Branches
0 Tags
109 KiB
Branch: main
Branches Tags
${ item.name }
Create branch ${ searchTerm }
from 'main'
${ noResults }
Commit Graph

24 Commits (main)

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