d3abe648a6
add note pointing to the HyperNova's multifolding-poc
2023-05-24 20:21:55 +02:00
654c216200
hypernova-study: start multifolding scheme
2023-05-21 23:43:41 +02:00
26099a0676
CCS from R1CS ( https://eprint.iacr.org/2023/552 )
2023-05-15 23:31:24 +02:00
a9e3998fd5
IVC circuit step i=0 works
2023-05-14 09:33:51 +02:00
a1a963fd0b
IVC proofs wip: phi hash CS & native impl matching, add test for augmented F
2023-05-13 16:16:30 +02:00
87671770e7
add initial IVC proof generation impl
2023-04-30 23:37:17 +02:00
f9b3a66ddb
Add Transcript & TranscriptVar CS test, clean dependencies & clippy. Add GHA for tests
2023-04-29 17:36:51 +02:00
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
2023-04-29 14:15:25 +02:00
eb289313b0
add Augmented F (F') circuit initial implementation
2023-04-29 10:24:20 +02:00
0aa22d0ae2
circuits PhiVar parse, NIFS.V gadget implemented, added circuits tests
2023-04-29 08:15:31 +02:00
5aef5239f4
change C from AffineRepr to CurveGroup, use MNT4,6 for tests, other minor changes
2023-04-29 01:03:38 +02:00
590512de0c
sumcheck use transcript, reorganize some files
2023-04-23 23:11:18 +02:00
946fa1ce85
add sum-check impl, not currently used by the rest of the repo
2023-04-23 21:20:32 +02:00
6b81f7549e
add initial nova circuits structure, NIFS circuit partially implemented
2023-04-22 21:12:50 +02:00
b775a6cbc4
add NIFS interface, add commitments related methods
2023-04-22 20:11:32 +02:00
4117f3d814
test folding 3 instances (2 fold-steps)
2023-04-20 17:05:36 +02:00
71d8150a60
check openings of folded instance comms cmE, cmW
2023-04-20 09:47:45 +02:00
402fb41458
add pedersen vec commitment prove & verify
2023-04-20 09:13:35 +02:00
ba567dffde
update vec commitment, add check of comm E, W in NIFS test
2023-04-19 22:25:29 +02:00
ab2b047402
folding witness & crossterms works, add Ve helpers
2023-04-19 16:18:41 +02:00
5a43ecd268
add compute T, start test of simple folding
2023-04-19 00:56:59 +02:00
050110a4dc
add initial NIFS fold instance & witness
2023-04-18 12:42:54 +02:00
a9400e37be
utils: matrix-vector products & Hadamard product
2023-04-18 10:19:22 +02:00
78f1c87313
pedersen commitment with merlin transcript
2023-04-17 23:44:51 +02:00
