Commit Graph

  • 3eaa2c4703 point out active version master kilic 2024-11-30 15:50:29 +03:00
  • 631ea47c46 Add license to match other pse projects (#89) Jason Yellick 2024-09-18 12:17:02 -04:00
  • 1fe10a798e Upgrade halo2_proofs (#87) v2024_01_31 Han 2024-01-31 17:01:09 +08:00
  • 4e8e7047bf Fix nand and xor instructions (#86) David Nevado 2024-01-26 10:11:43 +01:00
  • e1e97f75ea fix xor nev@fix/logic-ops David Nevado 2024-01-25 17:26:36 +01:00
  • 6e505a9fdf fix nand David Nevado 2024-01-25 17:11:50 +01:00
  • e7bb34032c add: xor, nand tests David Nevado 2024-01-25 16:56:48 +01:00
  • 8260abcac3 Merge pull request #84 from privacy-scaling-explorations/nev@fix/sign David Nevado 2024-01-23 17:34:20 +01:00
  • 327f58b6a0 update toolchain nev@fix/sign David Nevado 2024-01-23 17:21:44 +01:00
  • ac70805dd1 Fix underconstrained sign function. David Nevado 2024-01-11 18:06:12 +01:00
  • 5a5cd0c19a fix: Use AssignedCondition type more accurately nevado@fix-assign-bit David Nevado 2023-10-25 19:33:24 +02:00
  • 52333256bf Merge pull request #80 from kitounliu/master kilic 2023-09-13 00:06:04 +03:00
  • d7f5a22e13 fix bug in assert zero Jia Liu 2023-09-01 10:47:31 +01:00
  • c383a1d452 fix bug in div_unsafe Jia Liu 2023-07-13 11:27:42 +01:00
  • 2367335deb Merge pull request #68 from BlakeMScurr/patch-1 kilic 2023-06-05 19:51:52 +03:00
  • 0bb75c3e2b Merge pull request #79 from enricobottazzi/master kilic 2023-06-05 19:51:30 +03:00
  • b382bcf0ce fix: main_gate_config is now pub Enrico Bottazzi 2023-06-05 15:58:41 +02:00
  • a0f02aeed2 fix: instance column in maingate is now public Enrico Bottazzi 2023-06-05 15:57:05 +02:00
  • d2f0585ed0 Merge pull request #78 from Ethan-000/xor_instruction kilic 2023-06-05 00:30:06 +03:00
  • a1fde53fce xor instruction ethan-000 2023-06-03 14:35:46 +01:00
  • b3c53719af fix: modify EcdsaConfig struct to make range config as public (#76) Enrico Bottazzi 2023-05-30 13:40:34 +02:00
  • 6d9bf90f96 Fix an error - 'attempt to shift left with overflow' in test_range_circuit (#72) xiaodino 2023-05-16 00:49:48 -07:00
  • f72db265aa Upgrade halo2_proofs version to v2023_04_20 (#69) v2023_04_20 Han 2023-04-26 21:14:06 +08:00
  • 8ef4cfc22a Fix typo BlakeMScurr 2023-04-10 16:20:05 +12:00
  • 7b8a6fe39f feat: add generalized ecc constraints v2 kilic 2023-03-10 12:28:32 +03:00
  • bc72942615 Optimize ECDSA verify David Nevado 2023-02-27 17:11:40 +01:00
  • 71b1906792 Optimize ecdsa verify David Nevado 2023-02-24 18:57:23 +01:00
  • 5905a20b62 Merge pull request #63 from privacy-scaling-explorations/halo2_2023_02_02 v2023_02_02 Carlos Pérez 2023-02-02 12:44:19 +01:00
  • e927fba5bd chore: Update halo2_proofs to v2023_02_02 CPerezz 2023-02-02 12:27:21 +01:00
  • aa1699b0ce Merge pull request #62 from privacy-scaling-explorations/halo2_2023_01_20 v2023_01_20 Carlos Pérez 2023-01-20 17:22:39 +01:00
  • ad5cdd6976 Update to latest release of halo2_proofs CPerezz 2023-01-20 17:17:24 +01:00
  • 93562019c2 Merge pull request #61 from privacy-scaling-explorations/feat/halo2_2023_10_17 v2023_01_18 Carlos Pérez 2023-01-18 12:20:29 +01:00
  • 35879e8f2d chore: Accomodate mock_prover_verify to not return CPerezz 2023-01-18 09:46:14 +01:00
  • 085a9c6374 chore: Update halo2_proofs to v2023_01_17 CPerezz 2023-01-18 09:39:28 +01:00
  • 3e77ef34df feat: add fixed base ecc mul kilic 2023-01-16 13:43:28 +03:00
  • a40d7509ec feat: add bucket method msm constraints kilic 2023-01-12 19:36:44 +03:00
  • 5bf79a81b6 Merge pull request #55 from vuvoth/export-hasher-chip kilic 2023-01-05 20:39:24 +03:00
  • 52d5f25b0e Merge pull request #57 from zhiqiangxu/fix_comment_of_add_and_add_with_constant kilic 2022-12-26 13:57:33 +03:00
  • 8ed1daf4ba fix comment zhiqiangxu 2022-12-25 10:14:32 +08:00
  • 66b4a905bb Merge pull request #56 from zhiqiangxu/fix_crt_modulus_comment kilic 2022-12-23 17:27:36 +03:00
  • 2728f6a642 fix comment zhiqiangxu 2022-12-23 21:34:19 +08:00
  • c9550ffb90 feat: implement complex eperations for smaller gate kilic 2022-12-23 14:24:56 +03:00
  • 52841ecf60 export poseidon hasher chip Vu Vo 2022-12-23 04:01:29 +07:00
  • fa0381295c refactor: organize assignments kilic 2022-12-20 19:41:28 +03:00
  • 74b583aa94 test with less number of lookup columns kilic 2022-12-16 20:21:14 +03:00
  • 793254982d add tmp read me kilic 2022-12-16 20:20:31 +03:00
  • 2d16346797 add base field ecc constraints kilic 2022-12-16 18:13:40 +03:00
  • e3052496e2 bump to version 0.2 kilic 2022-12-14 12:58:17 +03:00
  • 268ab10252 add big integer chip kilic 2022-12-14 12:57:46 +03:00
  • 0ccfc19c23 init with maingate implementation kilic 2022-12-13 16:43:22 +03:00
  • 63bde545d9 Merge pull request #51 from han0110/feature/upgrade-halo2 v2022_10_22 kilic 2022-10-23 18:59:49 -05:00
  • 20de1c9853 feat: also upgrade poseidon to v2022_10_22 and use stable channel rust han0110 2022-10-24 07:48:18 +08:00
  • 79af395e3a Merge pull request #50 from han0110/feature/upgrade-halo2 kilic 2022-10-23 16:04:27 -05:00
  • 214fd4f02d feat: upgrade halo2_proofs to v2022_10_22 han0110 2022-10-22 14:29:22 +08:00
  • 061e53d600 Introduce constant value registry assigned-constants kilic 2022-10-19 17:12:26 -05:00
  • eb20046050 Add tests for lower number of limbs lower-number-of-limbs kilic 2022-10-17 17:06:11 -05:00
  • ed953b054b Merge pull request #46 from privacy-scaling-explorations/latest_halo2_tag_dep_update Carlos Pérez 2022-09-09 11:50:24 +02:00
  • 2d708b4453 Fix challenge API issues v2022_09_09 CPerezz 2022-09-09 11:35:06 +02:00
  • 8e468a21a9 Update to latest halo2 released tag CPerezz 2022-09-09 11:16:02 +02:00
  • 4ddd5bafdf Merge pull request #45 from privacy-scaling-explorations/clippy_ci Carlos Pérez 2022-09-09 11:14:04 +02:00
  • e155f01679 Merge pull request #38 from han0110/feature/range-chip-with-tagged-table Carlos Pérez 2022-09-09 11:13:53 +02:00
  • 0ca396e35d fix: apply suggestion han0110 2022-09-09 16:55:33 +08:00
  • d00a978bfc Add clippy checks to the CI CPerezz 2022-09-09 10:54:31 +02:00
  • 4b5750a7ad feat: derive Debug for RegionCtx han0110 2022-09-04 22:02:16 +08:00
  • 4505bf1596 feat: use tagged table to reduce # of lookup han0110 2022-07-09 12:17:42 +08:00
  • 841d779e68 feat: export advice columns of MainGateConfig by function advices han0110 2022-07-23 13:25:37 +08:00
  • e07e8b1b98 feat: rename PointRepresentation::encode to encode_assigned and make encode to take plain value han0110 2022-08-17 17:52:17 +08:00
  • 56639b6152 Merge pull request #40 from privacy-scaling-explorations/han/faster_testing v2022_08_24 Carlos Pérez 2022-08-24 10:47:49 +02:00
  • 5b3c7ebd6a fix: Apply review comments agreed in #36 CPerezz 2022-08-24 10:06:05 +02:00
  • 7cd1227ccc feat: refactor RangeChip instructions han0110 2022-08-20 00:18:50 +08:00
  • f33f161296 refactor: make chips store chips if no specialized configuration (aka gadget) han0110 2022-08-18 21:49:32 +08:00
  • e938a7b227 feat: upgrade rust-toolchain to nightly-2022-07-26 han0110 2022-08-16 12:39:37 +08:00
  • f10d818755 feat: use varify_rows_at_par to speedup testing han0110 2022-08-16 11:54:47 +08:00
  • 5ad9c4db43 refactor: clone less stuff han0110 2022-07-05 22:21:24 +08:00
  • ffc510bbc0 feat: Update in regard to halo2's upgrade han0110 2022-07-07 15:11:14 +08:00
  • c1ea771b12 Merge pull request #34 from privacy-scaling-explorations/new-range kilic 2022-07-01 18:11:46 +03:00
  • fe0c0fff18 fix: use BTreeMap kilic 2022-07-01 15:02:29 +03:00
  • 7a0346d05f Refactor RangeInstructions for decomposition results kilic 2022-06-24 03:43:01 +03:00
  • e526385df4 Merge pull request #35 from han0110/feature/value-api kilic 2022-06-30 12:53:04 +03:00
  • b5c7086f0d Replace AssignedValue with AssignedCell kilic 2022-06-30 11:45:37 +03:00
  • 747cd51915 feat: use unwrap_or_else instead of manually match for invert han0110 2022-06-30 13:28:56 +08:00
  • 4521830254 fix: typo han0110 2022-06-30 13:28:20 +08:00
  • d12bc8f849 Relpace UnassignedValue with Value kilic 2022-06-30 06:05:23 +03:00
  • bd917d9246 feat: use Value API for all han0110 2022-06-28 19:11:53 +08:00
  • 2b64cb612c quick fix before full Value integration kilic 2022-06-29 16:19:15 +03:00
  • 585ba2fab9 cargo fmt kilic 2022-06-27 14:49:05 +03:00
  • bd592ca610 Merge pull request #32 from TraceBundy/master kilic 2022-06-20 12:48:40 +03:00
  • 0c159a7d5c fix compile failed yangzhou 2022-06-16 09:55:40 +00:00
  • 8fe5c726f5 Apply clippy kilic 2022-06-12 18:48:29 +03:00
  • d3ba6c015a Use OsRng everywhere kilic 2022-06-12 18:48:13 +03:00
  • b6c656b3df Implement incomplete division with single mul kilic 2022-06-12 16:35:48 +03:00
  • 9ac33d2d80 Implement simultaneous addition for 3 integers kilic 2022-06-12 16:34:38 +03:00
  • ecdb676228 Add sanity checks for running subtraction kilic 2022-06-12 16:31:21 +03:00
  • e3c321b5d1 Remove rebasing leftovers kilic 2022-06-10 10:33:57 +03:00
  • 5cdc164468 Remove kzg feature from workflow kilic 2022-06-09 16:21:47 +03:00
  • 8d331496f2 Integration to halo2curves kilic 2022-06-09 14:28:40 +03:00
  • 5e16908a2a Move ecc source to its parent dir kilic 2022-06-08 21:21:03 +03:00
  • ecf00d844c Add missing_debug_implementations and missing_docs flags kilic 2022-06-04 22:24:50 +03:00
  • eb2b11f590 Remove ecc/secp256k1 for planned halo2curves use kilic 2022-06-04 20:01:20 +03:00
  • 6356907b6a Port comments from #26 kilic 2022-06-04 19:58:28 +03:00