Commit Graph

  • 371ddb5906 fix: fix typo (#60) main Dimitris Apostolou 2024-02-26 10:03:01 +02:00
  • b3b073f6ae fix:cirucit->circuit (#58) yanziseeker 2024-02-08 14:46:42 +08:00
  • 946536fc01 upgrade dependency (#59) v2024_01_31 Ming 2024-02-01 15:57:25 +08:00
  • c400ffcd62 Merge pull request #57 from privacy-scaling-explorations/update-readme Chih Cheng Liang 2023-12-12 18:21:31 +08:00
  • ab8b79db4c highlight proof aggregation update-readme ChihChengLiang 2023-12-12 18:01:31 +08:00
  • d2cf14357b Update README.md Chih Cheng Liang 2023-12-12 17:48:42 +08:00
  • c9cb89c09e GPT editing ChihChengLiang 2023-12-08 18:25:43 +08:00
  • 4333fbe1c9 first draft ChihChengLiang 2023-12-08 18:19:18 +08:00
  • 9feead7d4d Make KzgDecidingKey fields public (#56) Ivan Oleynikov 2023-11-23 09:25:49 +01:00
  • fedd7a8ffa ci: add build task to check it builds for wasm (#54) Han 2023-11-09 07:38:18 +08:00
  • 6691f02b7e fix: compute system_challenge_offset correctly (#53) Han 2023-11-08 22:31:30 +08:00
  • 37759af74f bump revm to 3.5.0 and disable default features (#52) Haaai 2023-11-08 06:31:16 -08:00
  • 29dad32587 chore: fix typos (#51) shuoer86 2023-11-03 16:14:23 +08:00
  • bd61f8dc08 feat: make assembly block Solidity memory safe (#50) Jonathan Wang 2023-10-30 02:02:24 -07:00
  • 37b99a3187 modify compile_solidity (#49) Minhee Hong 2023-09-28 18:41:42 +09:00
  • 0e7ff92047 give AggregationCircuit a simple generic trait type (#43) smtmfft 2023-09-21 22:05:30 +08:00
  • a440ff913a feat: change yul code into Solidity assembly (#47) Jonathan Wang 2023-09-14 00:58:55 -07:00
  • 810ba0d3c3 ci: install svm-rs with its Cargo.lock (#48) Han 2023-09-13 15:45:47 +08:00
  • 27f8b205d6 Derive num_instance from instances in CircuitExt (#44) soham 2023-07-01 10:01:25 +00:00
  • 461bc247bd fix typo (#46) qy3u 2023-06-30 10:58:06 +08:00
  • 5ea36197d7 fix: modify evm_verify function signature (#42) enrico.eth 2023-06-11 16:32:52 +02:00
  • cc1f677949 feat: upgrade revm to support lastest hardfork (#40) Han 2023-06-02 14:41:37 +08:00
  • 7e5254cafa feat: add snark-verifier-sdk (#38) Jonathan Wang 2023-06-01 01:08:41 -05:00
  • 5a7693bf1a Pin svm-rs to 0.2.22 for CI (#39) Han 2023-05-30 16:18:16 +08:00
  • e5d5e4a6cc Upgrade halo2curves and halo2_proofs (#35) v2023_04_20 Han 2023-04-26 21:52:42 +08:00
  • 54452c71a5 fix: stick to num_chunk of quotient poly calculated by constraint system (#29) Han 2023-02-22 19:26:44 +08:00
  • f1265f503f fix: enable util::hash::poseidon only when feature = loader_halo2 (#27) Han 2023-02-14 21:15:36 +08:00
  • df03d898b8 chore: update halo2 and halo2wrong version (#25) v2023_02_02 Han 2023-02-03 15:30:34 +08:00
  • 2d5ef6b4cb chore: update dependencies (#24) dante 2023-02-01 04:39:14 +00:00
  • e4e0a4de66 Merge pull request #22 from han0110/feature/docs Carlos Pérez 2023-01-20 07:18:05 +01:00
  • 8cc0b1503b fix: rustdoc warnings han0110 2023-01-20 12:28:05 +08:00
  • 50232938fb feat: expand more things and fix typos han0110 2023-01-20 12:19:31 +08:00
  • 3f3da272f4 refactor: remove redudant check validate_ec_point (still doesn not support identity) han0110 2023-01-06 15:36:39 +08:00
  • 6a518c94ce docs: add #![deny(missing_docs)] and simple documents han0110 2023-01-06 14:35:47 +08:00
  • dda742375c Restructure for more kind of verifier (#21) v2022_12_23 Han 2022-12-23 15:31:23 +08:00
  • 50d69c18f6 fix: looser trait bound on impl CostEstimation for Plonk (#20) Han 2022-12-17 12:44:08 +08:00
  • 5e5de91c5d fix: pin all revm dependencies (#18) Han 2022-11-30 02:18:44 -08:00
  • c5645e705e Update EvmLoader to generate Yul code instead of bytecode (#15) DoHoon Kim 2022-11-18 00:50:24 +09:00
  • ba167b73ca ci: add svm-rs and install solc@0.8.17 in job test (#16) Han 2022-11-14 00:21:11 -08:00
  • 5c31088f85 feat: implement ipa pcs and accumulation (#14) Han 2022-11-08 19:58:00 -08:00
  • 25dbaf524e General refactor for further integration (#13) Han 2022-11-08 10:21:24 -08:00
  • 2cd8b9d1e5 Generalized Halo2Loader (#12) Han 2022-10-28 07:26:06 -07:00
  • 916b29fe89 Rollback to pse halo2 and halo2wrong for first release (#5) v2022_10_22 Han 2022-10-24 03:39:01 -07:00
  • a11b9c1748 fix: upgrade adn pin foundry_evm version and upgrade halo2_curve to 0.2.1 (#4) Han 2022-08-19 01:18:38 +08:00
  • 5c19b64657 refactor: use Itertools methods han0110 2022-07-23 16:57:33 +08:00
  • 6358c0ce0c feat: add main_gate_with_plookup_with_mock_kzg_accumulator and CostEstimation han0110 2022-07-23 15:46:42 +08:00
  • d2315546e5 feat: adopt evaluate_committed to simplify Shuffle and Plookup han0110 2022-07-19 01:18:44 +08:00
  • e32fd3faed feat: update for multi-phase ConstraintSystem and implement shuffle and plookup with extra challenges han0110 2022-07-18 01:13:56 +08:00
  • 64f358fb0e fix: correct testing naming convention han0110 2022-07-10 23:08:48 +08:00
  • 6bf26cc973 fix: update to insert_account_info han0110 2022-07-10 15:24:11 +08:00
  • 7e84b2c671 fix: resolve conflict han0110 2022-07-10 15:05:12 +08:00
  • 716400edd4 ci: add ci han0110 2022-07-10 14:45:45 +08:00
  • 3bab1f01a3 feat: adopt ascending power to eliminate 1 ec mul han0110 2022-07-10 13:48:15 +08:00
  • d4f4bf0d1c feat: implement halo2 with optional zk han0110 2022-07-10 00:42:20 +08:00
  • e5820267dc feat: upgrade halo2 and halo2wrong, prepare for optional zk han0110 2022-07-09 15:25:00 +08:00
  • f3a197fc4f refactor: cleanup han0110 2022-07-04 19:25:30 +08:00
  • 3cc13be7c8 feat: add Loader::{start,end}_cost_metering for easier cost metering han0110 2022-07-01 21:36:31 +08:00
  • 5d90fd663a refactor: only copy memory when necessary han0110 2022-07-01 13:57:30 +08:00
  • 534ebb9dc2 feat: add 2 layer accumulation and ignore Cargo.lock han0110 2022-06-29 23:17:23 +08:00
  • dc0634078d refactor: reorganize testing macros han0110 2022-06-29 23:14:39 +08:00
  • 0f9adc2611 chore: update dependency han0110 2022-06-28 20:17:11 +08:00
  • 82b11a40e9 feat: use range chip with tagged table to reduce # of lookup han0110 2022-06-28 13:33:51 +08:00
  • e267551581 fix: cleanup and fix halo2 and evm loader han0110 2022-06-28 01:29:07 +08:00
  • 6501fc3bb0 fix: cleanup and use seedable rng to generate srs with same tau han0110 2022-06-27 19:26:58 +08:00
  • 98e63e2a86 feat: implement extract_accumulator for all loaders han0110 2022-06-27 14:47:40 +08:00
  • f18cab9b34 feat: implement one layer aggregation circuit in halo2 han0110 2022-06-26 17:23:32 +08:00
  • e49c683c13 chore: rename Accumlator to AccumulationScheme han0110 2022-06-26 14:16:00 +08:00
  • e4c2a3e745 refactor: cleanup module loader::evm han0110 2022-06-25 09:21:40 +08:00
  • 0e9689aa03 chore: add licenses han0110 2022-06-21 02:35:49 +08:00
  • 51281ed850 chore: add rust-toolchain han0110 2022-06-21 02:35:33 +08:00
  • abb7baaf4b refactor: reorganize modules han0110 2022-06-21 02:25:37 +08:00
  • 30612c014c feat: implement EvmLoader and EvmDecider han0110 2022-06-20 22:13:42 +08:00
  • 45f92ea4ea feat: add batched kzg verifier described in paper GWC19 han0110 2022-06-18 00:20:42 +08:00
  • 4b87c23466 feat: add Fraction for easier adaption of batch_invert han0110 2022-06-12 18:05:22 +08:00
  • d6efd2db7e feat: add mod evm under mod loader with foundry_evm and simplified debugger han0110 2022-06-12 18:02:48 +08:00
  • 79c35f6467 feat: move mod loader under mod util han0110 2022-06-12 10:55:57 +08:00
  • 5ad46dc6e9 feat: implement protocol/halo2/verifier/shplonk han0110 2022-06-12 01:24:46 +08:00