github/semacaulk
1
1
Fork 0
mirror of https://github.com/geometryxyz/semacaulk.git synced 2026-01-15 00:08:17 -05:00
Code Issues Packages Projects Releases Wiki Activity
76 Commits 8 Branches 0 Tags
refactor_transcript
Commit Graph

76 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Koh Wei Jie
8f14e9255e fixed cargo fmt error 2023-03-27 17:23:21 -07:00
Koh Wei Jie
78255313e4 fixed src/prover/prover.rs 2023-03-27 17:05:15 -07:00
Koh Wei Jie
a29e5a0028 Merge branch 'main' into refactor_transcript 2023-03-27 16:53:05 -07:00
Koh Wei Jie
a4e981eaf5 fixed semaphore-rs rev in Cargo.toml 2023-03-27 16:51:26 -07:00
Flying Nobita
25a749ea69 Update instructions for setup executable (#26) 2023-03-27 15:46:28 -07:00
Koh Wei Jie
135fc307df separated the public inputs transcript round from round 1 2023-02-07 00:24:25 +08:00
Koh Wei Jie
612729481d Demo (#17) 
Co-authored-by: Kobi Gurkan <kobigurk@gmail.com>
 2023-01-29 21:26:40 +08:00
Kobi Gurkan
0828fe6cb3 feat: adds basic CI (#14) 
Co-authored-by: Koh Wei Jie <contact@kohweijie.com>
 2023-01-27 10:37:28 +02:00
Koh Wei Jie
9f2676456d Full broadcastSignal flow (#16) 2023-01-27 12:17:16 +08:00
Koh Wei Jie
943807d761 Full Solidity verifier (#12) 2023-01-24 16:08:52 +01:00
Andrija Novakovic
ed41c76e2e Feature/fast ri (#10) 2023-01-17 23:23:04 +08:00
Koh Wei Jie
394b4ed371 InsertIdentity contract event (#8) 2022-12-29 15:26:13 +01:00
Andrija Novakovic
cc078a3ea6 Feature/fast ri (#7) 2022-12-29 10:43:19 +02:00
Koh Wei Jie
4a9ca8aeb4 Tweaks and tests for the layouter (#5) 2022-12-22 12:45:44 +02:00
Andrija
1217cb8e18 implementation of custom gates with modified caulk+ prover 2022-12-09 20:16:30 +01:00
Andrija
f51b74194f fix checking srs size in commit 2022-12-09 17:08:15 +01:00
Andrija
fbf936b428 add prover and layouter 2022-12-09 16:49:56 +01:00
Andrija Novakovic
47e303076c Merge pull request #4 from geometryresearch/refactor 
Quick refactor
 2022-12-09 12:33:25 +01:00
Koh Wei Jie
e76dd3733b refactored commonly used operations in contract tests to setup_eth_backend and deploy_semacaulk 2022-12-09 18:19:44 +08:00
Koh Wei Jie
af4414421f renamed Transcript.sol and changed Solidity variables to camelCase 2022-12-09 17:48:00 +08:00
Koh Wei Jie
088bb52791 moved mimc7 to crate root 2022-12-09 17:38:15 +08:00
Koh Wei Jie
4f8f88faff refactored G1Point and G2Point structs into of Types.sol and out of BN254.sol 2022-12-09 17:22:32 +08:00
Andrija Novakovic
e4198e0493 Merge pull request #3 from geometryresearch/feature/transcript 
Feature/transcript
 2022-12-08 14:58:33 +01:00
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