github/semacaulk
1
1
Fork 0
mirror of https://github.com/geometryxyz/semacaulk.git synced 2026-04-15 03:00:02 -04:00
Code Issues Packages Projects Releases Wiki Activity
103 Commits 8 Branches 0 Tags
docs
Commit Graph

103 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Andrija
79f2987137 test challenge after digest 2022-12-08 14:52:50 +01:00
Andrija
0bb369d77f implement transcript on solidity and rust side 2022-12-08 14:23:01 +01:00
Andrija Novakovic
b8afafcc93 Merge pull request #2 from geometryresearch/feature/pairing 
Feature/pairing
 2022-12-06 13:47:58 +01:00
Andrija
34cb8ed759 fix g2 coords ordering 2022-12-06 13:47:13 +01:00
Andrija
23ef5e979c initial semacaulk pairing call 2022-12-06 12:28:45 +01:00
Andrija Novakovic
15a3732c05 Merge pull request #1 from geometryresearch/feature/contracts 
Solidity contract which supports insertions
 2022-12-05 11:31:17 +01:00
Koh Wei Jie
e5834071ac fixed C minus newC to C plus newC 2022-12-05 14:52:07 +08:00
Koh Wei Jie
3c228ae3f0 compute tree height dynamically; updated comments 2022-12-05 14:45:38 +08:00
Koh Wei Jie
c254ee5a9a renamed SNARK_SCALAR_FIELD to PRIME_R and fixed precompile invalid() issue 2022-12-05 14:31:14 +08:00
Koh Wei Jie
35807379ee merged with dev and resolved most warnings 2022-12-05 14:18:36 +08:00
Koh Wei Jie
62f63d8d57 insertIdentity() done; off-chain Accumulator trait matches on-chain insertions 2022-12-05 14:06:26 +08:00
Koh Wei Jie
22e5dffb6f completed insertIdentity(); print gas used; drop anvil instance after each test 2022-12-04 11:28:22 +08:00
Koh Wei Jie
706828d0b2 insertIndentity() now takes the X and Y point coordinates instead of the leaf hash 2022-12-03 21:53:39 +08:00
Koh Wei Jie
146343e512 lagrange tree generation and on-chain leaf verification 2022-12-03 19:30:43 +08:00
Koh Wei Jie
1e7f3d1b4d compute_empty_accumulator() 2022-12-03 16:33:55 +08:00
Koh Wei Jie
490d318037 Semacaulk contract - WIP 2022-12-01 11:16:58 +08:00
Koh Wei Jie
c0873bcc43 updated readme; fixed tests 2022-12-01 10:43:54 +08:00
Koh Wei Jie
04ef9ebecb use semaphore-rs merkle tree impl 2022-12-01 00:58:50 +08:00
Koh Wei Jie
ffbb7897eb implemented genRootFromPath with simple tests 2022-11-30 16:47:45 +08:00
Koh Wei Jie
597220a03a foundry boilerplate with contract function test 2022-11-30 13:01:50 +08:00
Andrija
474281aa88 enable transcript to use keccak 2022-11-28 16:40:32 +01:00
Andrija
572272a25f remove unused information 2022-11-28 15:28:06 +01:00
Andrija
a37e0891ca Merge branch 'dev' of github.com:geometryresearch/semacaulk into dev 
git pull
 2022-11-28 15:21:32 +01:00
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