75 Commits

Author	SHA1	Message	Date
narodnik	5ddcdbc69e	working json rpc module	2020-12-27 18:01:07 +01:00
narodnik	e875ee3e77	4.8 example computation	2020-11-14 23:45:53 +01:00
narodnik	dcbcb27ec0	multi-variable operand polynomial	2020-11-14 22:26:24 +01:00
narodnik	726ae89ee9	working 4.5.2 basic algorithm	2020-11-08 22:23:57 +01:00
narodnik	dc293969b3	4.5.2 multi op polynomials	2020-11-07 23:43:46 +01:00
narodnik	3f0abbd808	remove some things from zk scripts	2020-11-04 13:49:06 +01:00
narodnik	bb93400165	lagrange interpolation	2020-10-28 21:16:58 +01:00
narodnik	8d3b1e8254	4.4 - proof of operation	2020-10-28 20:48:06 +01:00
narodnik	c56b2ffe6a	mv to 3.3	2020-10-28 17:43:40 +01:00
narodnik	effe1e31bd	add some minor documentation	2020-10-28 17:37:19 +01:00
narodnik	0c173a0438	forgot to add polynomial restriction check	2020-10-28 17:35:57 +01:00
narodnik	a300de3aba	correct section numbers	2020-10-28 17:33:02 +01:00
narodnik	7f63fbe98c	more zk scripts	2020-10-28 17:30:54 +01:00
narodnik	0bf213e949	mark s as toxic waste in encrypted poly script	2020-10-27 20:35:41 +01:00
narodnik	716209a335	mark trusted setup section in 3-encrypted-polynomial.py	2020-10-27 20:34:22 +01:00
narodnik	573d38b7ba	move qap.py to scripts/zk/ subdir	2020-10-27 20:33:21 +01:00
narodnik	250c67b168	add comment	2020-10-27 20:32:55 +01:00
narodnik	7d949bac88	proof of encrypted polynomial	2020-10-27 20:26:58 +01:00
narodnik	7a419fdf0a	fix broken import: s/vm/compile/	2020-10-17 17:29:44 +02:00
narodnik	15dffe950d	rename lcX_add_one_coeff to lcX_add_constant, and add mimc example	2020-10-12 22:27:12 +02:00
narodnik	f55ba1569f	improve compiler output	2020-10-12 22:12:08 +02:00
narodnik	403760bb13	show lines in compiler output	2020-10-12 21:36:28 +02:00
narodnik	2f4983f97a	migrate to new API	2020-10-11 14:28:28 +02:00
narodnik	d1384e2b7d	fix typo s/public/parameter/	2020-10-11 13:10:57 +02:00
narodnik	c7bece1788	working set_param function in visor	2020-10-11 07:42:11 +02:00
narodnik	d3909756ee	clean up old scripts	2020-10-11 06:42:31 +02:00
narodnik	d0a30306e5	added the Supervisor which gives us VM serialization, and added a plugin to the compiler to export binary data for the supervisor	2020-10-10 23:49:53 +02:00
narodnik	dd0ae8616e	working jj mul	2020-10-09 10:22:22 +02:00
narodnik	d16f68b9f0	half working jj mul	2020-10-08 23:57:14 +02:00
narodnik	7f11f30021	jj conditional select working	2020-10-08 22:27:29 +02:00
narodnik	945789c182	not small order	2020-10-08 21:15:22 +02:00
narodnik	bfd48c077f	improve bits proof program	2020-10-08 10:05:36 +02:00
narodnik	7158df6a29	show binary repr of -1 mod q	2020-10-07 00:54:28 +02:00
narodnik	ae181b1da3	add mimc hash function	2020-10-07 00:04:53 +02:00
narodnik	cb8851df17	bit decomposition	2020-10-06 14:44:52 +02:00
narodnik	90c255aa0b	working point addition	2020-10-04 14:25:21 +02:00
narodnik	051d87fb18	create local variables in crypto ops section	2020-10-04 05:03:22 +02:00
narodnik	6e07c8c3fd	improve help text	2020-10-04 02:23:42 +02:00
narodnik	8c66b8b148	vm intermediate language generating rust file for testing. serialization required.	2020-10-04 02:19:45 +02:00
narodnik	12863ecbc2	completed vm.py	2020-10-04 01:18:15 +02:00
narodnik	77b7552d5a	make fake zk jubjub add	2020-10-03 23:42:39 +02:00
narodnik	9d9d30815a	add jubjub identity stuff	2020-10-03 23:25:41 +02:00
narodnik	164d4bc453	add jubjub.rs	2020-10-03 23:21:59 +02:00
narodnik	e2c77a2329	add jubjub.py	2020-10-03 23:11:06 +02:00
narodnik	af98124390	clean up the example modp	2020-10-01 13:03:35 +02:00
narodnik	dfe076627b	bls scalar field	2020-10-01 12:58:30 +02:00
narodnik	89eb6e8c27	add vm.pism file	2020-10-01 02:15:41 +02:00
narodnik	147d099596	fix missing type checking for compiler	2020-09-25 13:01:59 +02:00
narodnik	b4f7590b26	QAP sample	2020-09-24 23:13:20 +02:00
narodnik	4ae0f30feb	tohtml script	2020-09-23 17:00:11 +02:00