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

Commit Graph

  • bbf40751d3 switched docs publish workflow branch from docs to main fix/docs_publish_branch Koh Wei Jie 2023-03-28 16:23:34 -07:00
  • 273ae8402c client CLI binary (#29) main Koh Wei Jie 2023-03-28 01:01:20 -07:00
  • 8f14e9255e fixed cargo fmt error refactor_transcript Koh Wei Jie 2023-03-27 17:23:21 -07:00
  • 78255313e4 fixed src/prover/prover.rs Koh Wei Jie 2023-03-27 17:05:15 -07:00
  • f526f7b035 fix semaphore-rs rev; removed typo in readme docs Koh Wei Jie 2023-03-27 17:00:27 -07:00
  • a29e5a0028 Merge branch 'main' into refactor_transcript Koh Wei Jie 2023-03-27 16:53:05 -07:00
  • a4e981eaf5 fixed semaphore-rs rev in Cargo.toml Koh Wei Jie 2023-03-27 16:51:26 -07:00
  • e3b3becc50 Merge branch 'main' into docs Koh Wei Jie 2023-03-27 16:20:13 -07:00
  • 25a749ea69 Update instructions for setup executable (#26) Flying Nobita 2023-03-28 06:46:28 +08:00
  • c3b719f8bc check in Semacaulk and Verifier ABI files feature/update_precomputed Koh Wei Jie 2023-03-09 16:53:23 -08:00
  • 2fb9e6bc3e update precomputed data for one user in a test Koh Wei Jie 2023-03-04 21:44:51 -08:00
  • cab61bc3a9 attempt to fix rustfmt step in CI feature/read_ptau Koh Wei Jie 2023-03-01 15:51:58 -08:00
  • 6dd9211d83 fixed semaphore-rs version Koh Wei Jie 2023-03-01 15:36:06 -08:00
  • e7786ec544 fixed ppot-rs version Koh Wei Jie 2023-03-01 15:33:38 -08:00
  • 158377e75f updated readme Koh Wei Jie 2023-03-01 15:19:42 -08:00
  • 2f8fac0b56 use ppot-rs instead of reading the SRS from a hex file Koh Wei Jie 2023-03-01 15:17:03 -08:00
  • c44136272c revert magicgh/mdbook-katex-action Koh Wei Jie 2023-02-14 16:12:13 +08:00
  • e8772cde03 try magicgh/mdbook-katex-action Koh Wei Jie 2023-02-14 16:06:49 +08:00
  • d49498e004 try peaceiris/actions-mdbook Koh Wei Jie 2023-02-14 16:05:02 +08:00
  • cb3efe4d31 deploy: 859c638cb1 gh-pages weijiekoh 2023-02-13 17:00:56 +00:00
  • 859c638cb1 attempt to fix gh-pages deployment Koh Wei Jie 2023-02-14 00:54:01 +08:00
  • 1eca14f169 attempt to fix gh-pages deployment Koh Wei Jie 2023-02-14 00:42:26 +08:00
  • 79b1cd1564 updated credits Koh Wei Jie 2023-02-13 23:49:00 +08:00
  • d4e8c14580 deploy: 8db6c3502f4ed14da2b614faeea5477f84326ad8 weijiekoh 2023-02-13 16:40:39 +00:00
  • 166f38b689 deploy: 5dc23bf881 weijiekoh 2023-02-13 16:05:05 +00:00
  • 858938924e deploy: effb0a6448 weijiekoh 2023-02-12 13:06:33 +00:00
  • effb0a6448 fixed typos Koh Wei Jie 2023-02-12 20:57:33 +08:00
  • f0ef2c1b39 added docs/src/lagrange_basis_polynomial_commitment_tree.md Koh Wei Jie 2023-02-12 20:44:50 +08:00
  • a5ae787b82 wip test to update precomputed data; cargo fmt Koh Wei Jie 2023-02-12 20:37:59 +08:00
  • 1b5839aeb7 added more comments to the prover and veriifer Koh Wei Jie 2023-02-12 20:36:01 +08:00
  • a7864b44b0 mdbook-katex Koh Wei Jie 2023-02-12 20:34:57 +08:00
  • fdc0db5934 prevent users from inserting the same identity more than once or inserting the zero value; range check the identity commitment; update Constants.sol to remove repeition Koh Wei Jie 2023-02-12 20:33:29 +08:00
  • 4745e56dac renamed some variables in the multiopen prover for clarity Koh Wei Jie 2023-02-10 21:02:49 +08:00
  • 5cc1e326c2 renamed v to u_prime_opening for clarity Koh Wei Jie 2023-02-10 15:58:00 +08:00
  • 9449ced395 wip - added more docs; added credits to Jon and Andy Koh Wei Jie 2023-02-09 16:52:34 +08:00
  • 46a74814fa added more system invariants from Semaphore Koh Wei Jie 2023-02-09 16:49:48 +08:00
  • 7e166d581d wip - more work on docs, including the transcript, precomputation, and prover sections Koh Wei Jie 2023-02-08 21:35:49 +08:00
  • 3f2326fcd8 re-enabled transcript contract tests Koh Wei Jie 2023-02-08 21:29:40 +08:00
  • 60fcb54492 renamed updateWithU256 to updateWithF and add a mod operation to keep the input within the field Koh Wei Jie 2023-02-08 21:10:24 +08:00
  • 7393f0471d add publish.yml Koh Wei Jie 2023-02-08 17:40:24 +08:00
  • 092dc27f5c wip - precomputation docs Koh Wei Jie 2023-02-07 19:40:37 +08:00
  • ca55d15de1 renamed openings.c and commitments.c to mimc_cts Koh Wei Jie 2023-02-07 19:17:39 +08:00
  • 5a3f14457c [ci skip] circuit_and_gates.md done Koh Wei Jie 2023-02-07 00:12:57 +08:00
  • b79a24473a updated docs; variable name tweaks to gates; added multi_hash_two function for clarify; slight refactor to mimc7 to have a round function Koh Wei Jie 2023-02-06 21:51:13 +08:00
  • 0e94a200ef added circuit and gate docs; WIP Koh Wei Jie 2023-02-03 19:08:57 +08:00
  • 5a98bbc42a [ci skip] finished crypto spec section of the docs Koh Wei Jie 2023-02-01 21:32:08 +08:00
  • fdf65c3848 more crypto specs in docs Koh Wei Jie 2023-01-31 17:18:51 +08:00
  • 1ff5bfdb8f added info about the NUMS value and mimc7 to the docs Koh Wei Jie 2023-01-31 15:34:42 +08:00
  • a9b61b2fc7 added some system invariants to the docs Koh Wei Jie 2023-01-31 14:49:50 +08:00
  • d4a893f062 [ci skip] created mdbook skeleton for documentation Koh Wei Jie 2023-01-30 12:29:15 +08:00
  • 327ad920b2 deploy: 8220a13ecc5730f5e1d74724f084d7cc9cbf8570 weijiekoh 2023-02-12 12:51:29 +00:00
  • 0231343f0c deploy: c5862fdb1f2a8f5bd8344b5da70d0feb4d983ad9 weijiekoh 2023-02-12 12:46:29 +00:00
  • 8ed42792ff deploy: 5630cd68a3b26d415c98fc1abe00ef94a9a5f81d weijiekoh 2023-02-10 14:30:56 +00:00
  • 9073f97012 deploy: f47a2d51da5be0e9125b00401a2566055da1239c weijiekoh 2023-02-10 13:18:09 +00:00
  • cb89ce76d3 deploy: 1a13917eb1f48495a5cb7345535f911584d9c9bc weijiekoh 2023-02-09 08:56:33 +00:00
  • ed783cee04 deploy: a10dd03705f1a06343a9324c42671ae1c447e71b weijiekoh 2023-02-08 13:39:45 +00:00
  • 733065b6e3 deploy: dac860cb3db3753dce1cfd4420a0231f506c4f71 weijiekoh 2023-02-08 09:44:18 +00:00
  • 135fc307df separated the public inputs transcript round from round 1 Koh Wei Jie 2023-02-07 00:24:25 +08:00
  • 612729481d Demo (#17) Koh Wei Jie 2023-01-29 21:26:40 +08:00
  • 0828fe6cb3 feat: adds basic CI (#14) Kobi Gurkan 2023-01-27 10:37:28 +02:00
  • d07996b575 resolved conflicts feature/setup Koh Wei Jie 2023-01-27 12:22:40 +08:00
  • 9f2676456d Full broadcastSignal flow (#16) Koh Wei Jie 2023-01-27 12:17:16 +08:00
  • ece22b5f08 setup command to read the SRS hex file and write the lagrange comms; checked in lagrangeComms_11 Koh Wei Jie 2023-01-27 12:15:33 +08:00
  • f3af34d622 load_srs_from_hex function and hermez phase1 srs for up to 2048 insertions Koh Wei Jie 2023-01-26 22:31:44 +08:00
  • 62cfb2f4ca wip - load out.hex containing hex reprs of g1 and g2 points Koh Wei Jie 2023-01-26 18:30:57 +08:00
  • 8ffff16f27 Completed broadcastSignal; refactored transcript Koh Wei Jie 2023-01-25 21:57:36 +08:00
  • 4c51f304b3 add all public inputs, including the signal hash, to the transcript Koh Wei Jie 2023-01-25 00:41:45 +08:00
  • 943807d761 Full Solidity verifier (#12) Koh Wei Jie 2023-01-24 23:08:52 +08:00
  • ed41c76e2e Feature/fast ri (#10) Andrija Novakovic 2023-01-17 16:23:04 +01:00
  • 394b4ed371 InsertIdentity contract event (#8) Koh Wei Jie 2022-12-29 23:26:13 +09:00
  • cc078a3ea6 Feature/fast ri (#7) Andrija Novakovic 2022-12-29 09:43:19 +01:00
  • 4a9ca8aeb4 Tweaks and tests for the layouter (#5) Koh Wei Jie 2022-12-22 19:45:44 +09:00
  • 1217cb8e18 implementation of custom gates with modified caulk+ prover Andrija 2022-12-09 20:16:30 +01:00
  • f51b74194f fix checking srs size in commit Andrija 2022-12-09 17:08:15 +01:00
  • fbf936b428 add prover and layouter Andrija 2022-12-09 16:49:56 +01:00
  • 47e303076c Merge pull request #4 from geometryresearch/refactor Andrija Novakovic 2022-12-09 12:33:25 +01:00
  • e76dd3733b refactored commonly used operations in contract tests to setup_eth_backend and deploy_semacaulk Koh Wei Jie 2022-12-09 18:19:44 +08:00
  • af4414421f renamed Transcript.sol and changed Solidity variables to camelCase Koh Wei Jie 2022-12-09 17:48:00 +08:00
  • 088bb52791 moved mimc7 to crate root Koh Wei Jie 2022-12-09 17:38:15 +08:00
  • 4f8f88faff refactored G1Point and G2Point structs into of Types.sol and out of BN254.sol Koh Wei Jie 2022-12-09 17:22:32 +08:00
  • e4198e0493 Merge pull request #3 from geometryresearch/feature/transcript Andrija Novakovic 2022-12-08 14:58:33 +01:00
  • 79f2987137 test challenge after digest Andrija 2022-12-08 14:52:50 +01:00
  • 0bb369d77f implement transcript on solidity and rust side Andrija 2022-12-08 14:23:01 +01:00
  • b8afafcc93 Merge pull request #2 from geometryresearch/feature/pairing Andrija Novakovic 2022-12-06 13:47:58 +01:00
  • 34cb8ed759 fix g2 coords ordering Andrija 2022-12-06 13:47:13 +01:00
  • 23ef5e979c initial semacaulk pairing call Andrija 2022-12-06 12:28:45 +01:00
  • 15a3732c05 Merge pull request #1 from geometryresearch/feature/contracts Andrija Novakovic 2022-12-05 11:31:17 +01:00
  • e5834071ac fixed C minus newC to C plus newC Koh Wei Jie 2022-12-05 14:52:07 +08:00
  • 3c228ae3f0 compute tree height dynamically; updated comments Koh Wei Jie 2022-12-05 14:45:38 +08:00
  • c254ee5a9a renamed SNARK_SCALAR_FIELD to PRIME_R and fixed precompile invalid() issue Koh Wei Jie 2022-12-05 14:31:14 +08:00
  • 35807379ee merged with dev and resolved most warnings Koh Wei Jie 2022-12-05 14:18:36 +08:00
  • 62f63d8d57 insertIdentity() done; off-chain Accumulator trait matches on-chain insertions Koh Wei Jie 2022-12-05 14:06:26 +08:00
  • 22e5dffb6f completed insertIdentity(); print gas used; drop anvil instance after each test Koh Wei Jie 2022-12-04 11:28:22 +08:00
  • 706828d0b2 insertIndentity() now takes the X and Y point coordinates instead of the leaf hash Koh Wei Jie 2022-12-03 21:53:39 +08:00
  • 146343e512 lagrange tree generation and on-chain leaf verification Koh Wei Jie 2022-12-03 19:30:43 +08:00
  • 1e7f3d1b4d compute_empty_accumulator() Koh Wei Jie 2022-12-03 16:33:55 +08:00
  • 490d318037 Semacaulk contract - WIP Koh Wei Jie 2022-12-01 11:16:58 +08:00
  • c0873bcc43 updated readme; fixed tests Koh Wei Jie 2022-12-01 10:43:54 +08:00
  • 04ef9ebecb use semaphore-rs merkle tree impl Koh Wei Jie 2022-12-01 00:58:50 +08:00
  • ffbb7897eb implemented genRootFromPath with simple tests Koh Wei Jie 2022-11-30 16:47:45 +08:00