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
83 KiB
Tree: d3abe648a6
Branches Tags
${ item.name }
Create branch ${ searchTerm }
from 'd3abe648a6'
${ noResults }
Commit Graph

24 Commits (d3abe648a6ec8a2cd76e7d4886997fb8ac1b6010)
 

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