390 Commits

Author	SHA1	Message	Date
exfinen	899eef0233	merge blog-post-2	2023-12-05 09:07:23 +09:00
exfinen	c76b5cd99c	make used generator explicit	2023-12-05 08:57:22 +09:00
exfinen	c168df6338	add generator to GT	2023-11-10 12:08:31 +09:00
gogoex	6153207b57	use GT for paring output	2023-11-10 07:27:51 +09:00
gogoex	e4b5362b15	remove unused file	2023-11-09 21:27:23 +09:00
exfinen	a2efdc68de	clean up directories	2023-11-09 18:57:58 +09:00
exfinen	4f3ec987af	compute ht/delta correctly in groth16	2023-11-09 18:46:30 +09:00
exfinen	49b8475517	add arith modules based on mcl. add mcl-based groth16	2023-11-09 18:32:16 +09:00
gogoex	b1485e8a27	add groth16 zk-SNARK	2023-11-09 17:56:35 +09:00
gogoex	a609ac3d3b	fix wrong calculation	2023-11-07 11:27:44 +09:00
gogoex	fccc41114f	wip	2023-11-07 09:47:57 +09:00
exfinen	f53cb79ab6	add groth16 crs and prover	2023-11-06 19:48:18 +09:00
exfinen	d41e6f4253	rename PinocchioX to X	2023-11-06 15:28:02 +09:00
exfinen	d1f7b0fe60	fix dependency issue in tests	2023-11-06 13:35:10 +09:00
exfinen	396209cf82	move structs to be shared to qap and field dirs	2023-11-06 13:06:22 +09:00
gogoex	c0ea1a12bd	add Add/MulAssign to clean up	2023-11-03 12:09:55 +09:00
gogoex	e4fb4e4b80	implement AddAssign to G1/G2Point	2023-11-03 11:52:16 +09:00
exfinen	06ec42f1d5	clean up	2023-11-01 17:26:51 +09:00
exfinen	71f1002b4d	clean up	2023-11-01 17:25:24 +09:00
exfinen	b06eb10b55	add comment	2023-11-01 17:21:39 +09:00
exfinen	eab6750a94	make v and y zero-knowledge	2023-11-01 16:21:33 +09:00
exfinen	a5059bbf5d	add kc for v, w, y	2023-11-01 15:34:25 +09:00
exfinen	eefac54238	wip	2023-11-01 14:49:13 +09:00
exfinen	dab0e5ec3c	clean upo	2023-11-01 12:40:27 +09:00
exfinen	7db0ea5864	clean up	2023-11-01 12:28:19 +09:00
exfinen	6240b71327	clean up	2023-11-01 12:15:25 +09:00
exfinen	c82bea64c0	migrate to protocol 2 with zk	2023-10-31 18:55:02 +09:00
exfinen	71cc804f59	fix broken test	2023-10-30 12:57:48 +09:00
exfinen	e3b1fa3dfc	remove unused use statement	2023-10-30 11:24:42 +09:00
exfinen	ea4437c6e9	remove special case handling in pairing	2023-10-30 11:23:21 +09:00
exfinen	7310c67a11	include constant to io	2023-10-30 11:06:08 +09:00
gogoex	e06149f9d4	update readme	2023-10-29 09:39:03 +09:00
gogoex	07254439f5	clean up	2023-10-29 09:23:17 +09:00
gogoex	8f862fe8df	clean up	2023-10-29 09:16:47 +09:00
gogoex	b23e967727	clean up	2023-10-29 09:05:49 +09:00
gogoex	8315d71a90	clean up	2023-10-29 08:54:46 +09:00
gogoex	3609d29892	clean up	2023-10-29 07:44:41 +09:00
gogoex	f70930b8de	clean up	2023-10-29 07:32:05 +09:00
gogoex	ca54f9b148	make y and v zero-knowledge	2023-10-28 20:16:17 +09:00
gogoex	8adf13b729	clean up	2023-10-27 03:25:30 +09:00
gogoex	9e03893d6f	add v_0 to v_mid	2023-10-27 03:19:33 +09:00
exfinen	d26fede535	wip	2023-10-27 02:36:32 +09:00
exfinen	2f725b9876	wip	2023-10-25 06:41:43 +09:00
exfinen	3aa102e0f1	update readme	2023-10-25 03:51:36 +09:00
exfinen	b4770665ce	clean up	2023-10-23 15:45:12 +09:00
exfinen	18c4ebe37f	use e(h, t) instead of e(ht, E(1))	2023-10-23 12:19:17 +09:00
exfinen	603fb35e37	fix crs mid index not ending with # of witness issue	2023-10-21 10:09:54 +09:00
exfinen	50a6451109	clean up and make explicit that prover/verifier has bugs	2023-10-20 18:33:51 +09:00
exfinen	4ff0d092d6	add working pinnochio verifiable computation	2023-10-20 16:40:22 +09:00
exfinen	b77abf5eea	wip	2023-10-19 19:10:08 +09:00