Commit Graph

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