Commit Graph

Select branches

Hide Pull Requests

ivc-proofs

main

Mono Color

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