7 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
arnaucube	402fb41458	add pedersen vec commitment prove & verify	2023-04-20 09:13:35 +02:00
arnaucube	ba567dffde	update vec commitment, add check of comm E, W in NIFS test	2023-04-19 22:25:29 +02:00
arnaucube	ab2b047402	folding witness & crossterms works, add Ve helpers	2023-04-19 16:18:41 +02:00
arnaucube	5a43ecd268	add compute T, start test of simple folding	2023-04-19 00:56:59 +02:00
arnaucube	050110a4dc	add initial NIFS fold instance & witness	2023-04-18 12:42:54 +02:00
arnaucube	a9400e37be	utils: matrix-vector products & Hadamard product	2023-04-18 10:19:22 +02:00
arnaucube	78f1c87313	pedersen commitment with merlin transcript	2023-04-17 23:44:51 +02:00