13 Commits

Author	SHA1	Message	Date
narodnik	e3394c2dc5	bulletproof polynomial commitment open verification: show use_g() batched version of scheme	2021-09-22 18:04:45 +02:00
narodnik	28b7f876b0	bulletproofs polynomial commitment: verifier do fast computation of b. comment showing math behind it.	2021-09-22 16:21:56 +02:00
narodnik	399bc75929	add verification code to bulletproofs halo2 polynomial commitment scheme	2021-09-22 10:25:33 +02:00
narodnik	5a29389066	full halo2 polynomial opening proof	2021-09-21 14:25:17 +02:00
narodnik	251c2d89ee	add verification equation to bulletproofs	2021-09-20 20:06:35 +02:00
narodnik	7fbc9071fe	add explainer comment showing computation for G values	2021-09-20 15:55:57 +02:00
narodnik	46c7fe98af	bltprf: recompute final G value using a scalar binary counting structure	2021-09-20 15:39:27 +02:00
narodnik	fca033d9de	bulletproofs proof generator	2021-09-19 12:38:29 +02:00
narodnik	88047a5bed	mark bulletproofs todo as completed	2021-09-19 11:40:59 +02:00
narodnik	5902185def	singe round of bulletproofs compression proof algorithm	2021-09-19 11:30:52 +02:00
narodnik	c1e0127a86	bltprf/naive.sage: s/A_0/A	2021-09-17 12:48:08 +02:00
narodnik	2108f1f96b	bulletproofs compression trick (single round) for aggregated commitment	2021-09-17 12:31:23 +02:00
narodnik	74f919d3cb	reorganize research into script/research/	2021-09-16 12:07:51 +02:00