79 Commits

Author	SHA1	Message	Date
Andrija	4314dfc7ac	modify caulk+ as proposed in the spec	2022-11-28 15:11:09 +01:00
Koh Wei Jie	7dd2f4bab2	offset 1 in L evals by n	2022-11-28 17:34:30 +08:00
Andrija	c15eac70f0	compute final batching	2022-11-28 02:47:36 +01:00
Andrija	9fbc6278ef	add srs size err msg	2022-11-28 02:30:43 +01:00
Andrija	8ba0700d62	fix srs degree in test	2022-11-28 02:27:56 +01:00
Andrija	200701c2aa	add tmp p2 sanity checks	2022-11-28 02:23:08 +01:00
Andrija	5f042c79aa	add additional pairing checks	2022-11-28 01:44:04 +01:00
Andrija	3762641f70	verifier & precomputed tests	2022-11-28 00:52:00 +01:00
Koh Wei Jie	c2536e28cb	renamed gates with more meaningful names	2022-11-26 11:06:36 +08:00
Koh Wei Jie	e2b19da3a2	cleaned up gate tests	2022-11-26 10:25:08 +08:00
Koh Wei Jie	f28a259f02	finished module merge	2022-11-26 10:05:22 +08:00
Koh Wei Jie	38a31dc9eb	fixed conflicts	2022-11-26 10:01:36 +08:00
Koh Wei Jie	17eed542e4	prep for merge	2022-11-26 09:59:55 +08:00
Koh Wei Jie	fd4ff0ffd1	gate 10 test	2022-11-25 23:01:04 +08:00
Koh Wei Jie	0212bdd1f4	gate 9 test	2022-11-25 22:55:34 +08:00
Koh Wei Jie	d51c593bac	gate 8 test	2022-11-25 21:34:55 +08:00
Koh Wei Jie	b1f50d543f	gate 6 test	2022-11-25 21:05:14 +08:00
Koh Wei Jie	905e8e5b4c	gate 5 test	2022-11-25 20:52:35 +08:00
Koh Wei Jie	091061d9c6	gate 4 and gate 7 tests	2022-11-25 18:04:20 +08:00
Koh Wei Jie	79e274e43d	fixed bug in mimc gate check	2022-11-25 11:02:41 +08:00
Andrija	b342d55b61	add verifier structure	2022-11-25 02:42:49 +01:00
Andrija	5f76afaa2b	complete last round sanity checks	2022-11-25 02:35:39 +01:00
Andrija	468eb97170	commit in each round and return proof	2022-11-25 01:54:12 +01:00
Koh Wei Jie	38bc966885	fixed typo in comment	2022-11-25 08:45:21 +08:00
Andrija	3942257b4d	caulk plus prover	2022-11-25 01:18:32 +01:00
Koh Wei Jie	661f19f735	gate 3 sanity check	2022-11-24 20:51:56 +08:00
Koh Wei Jie	7c52a67e2f	add expected val test for multi_hash([1, 2])	2022-11-24 20:28:38 +08:00
Koh Wei Jie	c7424a0d8a	gate 2 sanity check	2022-11-24 20:19:19 +08:00
Koh Wei Jie	7374659154	gate 1 sanity check done; gate 2 sanity check WIP	2022-11-24 14:06:03 +08:00