33 Commits

Author	SHA1	Message	Date
aggstam	ba8085ac74	moved models to single files for reusability	2022-01-17 16:02:24 +02:00
aggstam	f3078e1c1b	section 3.3 added	2022-01-15 19:37:39 +02:00
aggstam	564e63dfaa	section 2 added	2022-01-15 15:06:06 +02:00
aggstam	4ba9bf4c3d	Missing comment added	2022-01-14 17:09:56 +02:00
aggstam	4f3dd6bd64	3.2 section added and garbage removed	2022-01-14 17:07:26 +02:00
aggstam	a3fe19f0d1	initial testing	2022-01-11 15:12:01 +02:00
lunar-mining	d001a140dc	moved src/bin/ to /example and fixed errors	2022-01-09 15:46:01 +01:00
narodnik	ca8a3378ad	script/run_network.sh	2021-12-22 10:04:29 +01:00
parazyd	5aeee9da42	Move VM helper scripts to script/	2021-12-19 17:01:56 +01:00
parazyd	6bed13eac2	script/research: plonk_kate copy constraints.	2021-11-25 12:38:24 +01:00
parazyd	1670b793ec	script/research: plonk_kate polynomial interpolation.	2021-11-25 10:08:08 +01:00
parazyd	a2c7114f01	script/research: Add PLONK trusted setup and circuit definition.	2021-11-24 19:47:08 +01:00
narodnik	b7f5dea18b	make sure first accumulator value is an actual generator of the group	2021-11-03 12:04:48 +01:00
narodnik	f179869946	rsa accumulator example	2021-11-03 12:04:48 +01:00
narodnik	aa877915aa	add calculate root function	2021-10-30 18:32:03 +02:00
narodnik	fa4476eda1	add merkle_path to compiler and the calculate_root function	2021-10-30 18:04:29 +02:00
narodnik	a19c438cd6	migrate over zkas	2021-10-30 17:59:31 +02:00
narodnik	6b690b9e2c	halo2 lookup argument	2021-09-24 20:26:12 +02:00
narodnik	587a99a257	fix bug in halo2 sage script	2021-09-24 13:11:53 +02:00
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
lunar-mining	e83853718f	made directory names singular	2021-09-13 09:38:21 +02:00