Commit Graph

Select branches

Hide Pull Requests

feat/client_prover

feat/divide_verifier

feat/eml_parser_test

feat/expose_more

feat/gen_test_email

feat/main_gate_base_sha2

feat/recursion

feat/recursion_and_evm

feat/regex_multi_path

feat/reuse_axiom

feat/separated

main

#1

#2

Mono Color

• adc7eb3586 Change the default max_line_size_per_file value. main SoraSuegami 2024-07-03 22:40:23 +09:00
• f9a080df6b Add custom gas limit to setup_eth_backend. SoraSuegami 2024-06-05 20:30:47 +09:00
• 288facf689 Fix dependencies issues for wasm SoraSuegami 2024-05-29 19:58:34 +09:00
• bb9a410ab4 Fix dependencies issues SoraSuegami 2024-05-29 17:23:17 +09:00
• cabfa2d9b7 Add demo.eml. SoraSuegami 2024-03-05 00:55:35 +09:00
• f2f0793c3c Fix readme SoraSuegami 2024-03-03 16:01:37 +09:00
• 9d4fc667ab Remove std::os::unix. SoraSuegami 2024-03-02 16:11:21 +09:00
• 67b548715f Test multiple os on ci. SoraSuegami 2024-03-02 15:59:52 +09:00
• 0ded603e29 Fix curve25519 to 4.1.1. SoraSuegami 2024-03-02 15:48:13 +09:00
• e297dbafbd Fix readme. SoraSuegami 2024-03-02 15:34:30 +09:00
• 58d47bc7d8 use different os in ci. SoraSuegami 2024-03-02 15:32:52 +09:00
• 20f24b9bae Add ci. SoraSuegami 2024-03-02 15:21:37 +09:00
• 1a1ba32de8 Fix compile error. SoraSuegami 2024-03-02 15:19:23 +09:00
• 5b383648df update rust toolchain to 1.73.0 Divide-By-0 2024-02-28 16:18:28 -07:00
• abc0bc2599 Fix cfdkim compile error Yush G 2024-02-28 16:16:08 -07:00
• 9ca7a62fc7 Update README.md Yush G 2024-02-28 15:59:31 -07:00
• 09a2b9bca0 Add documents. feat/client_prover SoraSuegami 2023-12-17 16:00:04 +09:00
• 45e66c7664 Add client tests. SoraSuegami 2023-12-17 09:54:14 +09:00
• 30e547953e The proof generated in wasm passed verification. SoraSuegami 2023-12-16 11:03:52 +09:00
• c15c0f5699 Proof generation in browser suceeded SoraSuegami 2023-12-13 22:06:31 +09:00
• 2046a3c303 Read proving key in the browser. SoraSuegami 2023-12-12 17:22:45 +09:00
• 64f990415a Fix config_params for wasm. SoraSuegami 2023-12-12 11:20:24 +09:00
• 431913543a Add web-client. SoraSuegami 2023-12-11 15:05:13 +09:00
• b107e28760 Impl wasm prover in wasm.rs. SoraSuegami 2023-12-10 18:19:06 +09:00
• 3ce89fe88f Add wasm.rs. SoraSuegami 2023-12-10 08:23:34 +09:00
• b7fe0a7552 Fix all tests. SoraSuegami 2023-12-09 14:19:15 +09:00
• 80b7266b76 Update cfdkim. feat/recursion SoraSuegami 2023-09-28 07:11:16 +09:00
• aed0e431d9 Fix failed solidity feat/divide_verifier SoraSuegami 2023-09-02 08:15:41 +09:00
• 9169e49c6b Use Han's new halo2 verifier SoraSuegami 2023-09-02 08:06:09 +09:00
• a53572a099 Add recursion module. SoraSuegami 2023-09-02 05:19:25 +09:00
• c2d87455fe Merge branch 'feat/divide_verifier' SoraSuegami 2023-09-01 05:52:44 +09:00
• 9b65a2daa6 FIx bench. SoraSuegami 2023-09-01 05:42:49 +09:00
• 6821c75677 Update README SoraSuegami 2023-09-01 05:27:54 +09:00
• 1ff9908611 Use a new base64 chip. SoraSuegami 2023-08-29 06:46:13 +09:00
• 34c7126d6c Fix Cargo.toml and regex texts. SoraSuegami 2023-08-29 04:45:38 +09:00
• abde0e7b2c Refactor and add doc comments. SoraSuegami 2023-08-28 22:48:32 +09:00
• 763a87378f Fix gitignore and helper.rs. SoraSuegami 2023-08-28 20:24:36 +09:00
• 013cc7c2c7 Add regex texts in test_data. SoraSuegami 2023-08-28 20:23:56 +09:00
• d7c4c5d447 Add Cargo.lock. SoraSuegami 2023-08-28 17:02:08 +09:00
• 3a53a1d090 Change parameters in default_app.config. SoraSuegami 2023-08-28 16:49:23 +09:00
• b1127a291d On-chain verification passed. SoraSuegami 2023-08-28 16:37:04 +09:00
• 488e80b4ee Add build_failed. SoraSuegami 2023-08-28 08:28:04 +09:00
• 6fffa92e27 Update default circuit and clis. SoraSuegami 2023-08-28 05:45:19 +09:00
• 40969774e5 Add gitignore feat/separated SoraSuegami 2023-08-26 22:06:20 +09:00
• 6aedd49a4a Add files in build_failed SoraSuegami 2023-08-26 22:04:16 +09:00
• 97e263958e Updated failed contracts SoraSuegami 2023-08-26 21:00:55 +09:00
• 087f50d8d7 Enable the equal constraints. SoraSuegami 2023-08-25 16:54:59 +09:00
• df47e50e95 Add failed examples. SoraSuegami 2023-08-25 16:07:18 +09:00
• e1dc8be45e Add examples of solidity contracts. SoraSuegami 2023-08-24 15:05:19 +09:00
• 92489f2407 Trying to fix the on-chain verification error. SoraSuegami 2023-08-24 13:39:57 +09:00
• b849cd5381 Fix the compile error in EmailVerifier.sol. SoraSuegami 2023-08-24 05:18:07 +09:00
• 3687acec98 Add sum_gas for the deployment gas. SoraSuegami 2023-08-22 05:19:11 +09:00
• 7218d6d586 On-chain verification passed. SoraSuegami 2023-08-22 03:44:01 +09:00
• be188e27f0 Update all commands. SoraSuegami 2023-08-21 22:41:15 +09:00
• 020ec8edeb Add instance json and more. SoraSuegami 2023-08-21 05:44:52 +09:00
• e8c43b6483 Merge branch divide_verifier into separated SoraSuegami 2023-08-19 10:27:44 +09:00
• 866cf6ffce Add functions to EmailVerifyCircuits. SoraSuegami 2023-08-18 01:42:13 +09:00
• 4883ed6c8e Existing tests passed. SoraSuegami 2023-08-17 22:01:07 +09:00
• b43e625630 Add instances and check_constraints functions. SoraSuegami 2023-08-17 21:10:43 +09:00
• fc546943a9 Fix gitignore. SoraSuegami 2023-08-17 15:55:30 +09:00
• f392085376 Divide verifiers. SoraSuegami 2023-08-17 03:12:32 +09:00
• d485a002e8 Simplify the circuit. SoraSuegami 2023-08-17 00:34:22 +09:00
• 7c661e861a Update separated circuits. SoraSuegami 2023-08-16 23:28:00 +09:00
• 3780a0cd15 Add separated circuits. SoraSuegami 2023-08-16 06:18:39 +09:00
• eabed5e64e Remove vrm. SoraSuegami 2023-08-15 17:20:39 +09:00
• 65237f495a Add more benches. SoraSuegami 2023-07-16 02:31:08 +09:00
• debc8b1a9e Publish internal configs. SoraSuegami 2023-07-06 21:28:20 +09:00
• e073494d0c Impl skip prefix. SoraSuegami 2023-07-03 10:20:36 +09:00
• 2f8dde7396 Update the example. SoraSuegami 2023-06-29 21:57:21 +09:00
• f2ba94e94a Fix comments. SoraSuegami 2023-06-29 20:49:07 +09:00
• dee84c2c0a Add example. SoraSuegami 2023-06-29 20:34:27 +09:00
• 98b3358b2e Fix recursion.rs. SoraSuegami 2023-06-29 06:42:38 +09:00
• ffde2624a5 Use the main branch of halo2-regex. SoraSuegami 2023-06-29 06:06:17 +09:00
• 7ac944e731 Update README. SoraSuegami 2023-06-29 05:57:15 +09:00
• a6452a05af Modify Cargo.toml. SoraSuegami 2023-06-29 02:50:22 +09:00
• 0aa802779d Add recursion test. SoraSuegami 2023-06-29 00:30:34 +09:00
• 2b5b81988c Add docs and tests. SoraSuegami 2023-06-27 10:44:36 +09:00
• fe83efb96a Add docs. SoraSuegami 2023-06-25 22:14:21 +09:00
• 7523d92d24 Add docs. SoraSuegami 2023-06-25 19:46:30 +09:00
• 19f0f2f5a0 Add docs and tests. SoraSuegami 2023-06-24 04:05:41 +09:00
• ad42e9fb93 Add docs of regex_sha2. SoraSuegami 2023-06-23 16:21:30 +09:00
• 7b6b734d13 Add public key length check. SoraSuegami 2023-06-23 16:03:55 +09:00
• abb0f7a38e Fix recursion bench. SoraSuegami 2023-06-17 11:33:24 +09:00
• 99ecd902b5 Generalize the helper functions. SoraSuegami 2023-06-15 01:42:47 +09:00
• b37e70378f Merge branch 'feat/regex_multi_path' SoraSuegami 2023-06-14 14:34:51 +09:00
• 6724c0b965 compilation error, disabled contract code size check Divide-By-0 2023-06-14 00:25:22 -04:00
• d9d9285f4a Fix evm-verifier to avoid the contract size limit. feat/regex_multi_path SoraSuegami 2023-06-14 04:14:38 +09:00
• 5ad606f28f Update README. SoraSuegami 2023-06-12 09:50:20 +09:00
• eaaa7d36af Fix bench params. SoraSuegami 2023-06-11 23:40:05 +09:00
• 61dc93d2d9 Refactor. SoraSuegami 2023-06-11 21:02:25 +09:00
• 7005480af3 Update sha2. SoraSuegami 2023-06-10 02:37:28 +09:00
• 39d046f9dd added notes to readme for build new circuit and evm verifier w cli Divide-By-0 2023-06-07 04:21:13 -04:00
• 55a299b401 removed trailing comma from default app config Divide-By-0 2023-06-04 20:17:30 -04:00
• 743a0ccf47 added gitkeep in build so build passes Divide-By-0 2023-06-04 19:09:47 -04:00
• 7bf5fce438 Fix the bench code. SoraSuegami 2023-06-04 23:05:23 +09:00
• de8562fccd Remove original snark_verifier_sdk. SoraSuegami 2023-05-23 17:57:17 +09:00
• 86d119b4a3 Add invalid case tests. SoraSuegami 2023-05-23 16:47:37 +09:00
• a2695d4087 Describe test regexes by json. SoraSuegami 2023-05-23 16:36:20 +09:00
• 7367d77373 Add vrm and update halo2-regex. feat/reuse_axiom SoraSuegami 2023-05-18 19:05:41 +09:00
• f9e2979e6d Fix recursion bench. SoraSuegami 2023-05-04 12:04:24 +04:00