github/halo2wrong
1
1
Fork 0
mirror of https://github.com/privacy-scaling-explorations/halo2wrong.git synced 2026-01-12 22:08:09 -05:00
Code Issues Packages Projects Releases Wiki Activity
261 Commits 7 Branches 10 Tags
master
Commit Graph

42 Commits

Author SHA1 Message Date
Han
1fe10a798e Upgrade halo2_proofs (#87) 
* feat: upgrade `halo2_proofs` to `v0.3.0`

* fix: clippy and specify `resolver = "2"`

* feat: use upgraded `poseidon` tag
 2024-01-31 17:01:09 +08:00
David Nevado
ac70805dd1 Fix underconstrained sign function. 
- `sign` has been moved from `maingate` to `integer`
 - An extra range check on the auxiliary witness has been added.
 2024-01-11 18:06:12 +01:00
Jia Liu
d7f5a22e13 fix bug in assert zero 2023-09-01 10:47:31 +01:00
kilic
2367335deb Merge pull request #68 from BlakeMScurr/patch-1 
Fix typo
 2023-06-05 19:51:52 +03:00
Han
f72db265aa Upgrade halo2_proofs version to v2023_04_20 (#69) 
* feat: upgrade `halo2_proofs` version to `v2023_04_20`

* feat: support `circuit-params` feature flag
 2023-04-26 21:14:06 +08:00
BlakeMScurr
8ef4cfc22a Fix typo 2023-04-10 16:20:05 +12:00
CPerezz
35879e8f2d chore: Accomodate mock_prover_verify to not return 
Since the new release of halo2_2023_10_17, `VerifyFailure` now has a
reference to the prover itself.

That means that we can't return the failures if we are out of the prover
scope.
To adapt to the situation, the fn `mock_prover_verify` has been changed
so that does the assertion inside.

Resolves: #60
 2023-01-18 09:46:14 +01:00
zhiqiangxu
2728f6a642 fix comment 2022-12-23 21:34:19 +08:00
han0110
20de1c9853 feat: also upgrade poseidon to v2022_10_22 and use stable channel rust 2022-10-24 07:48:29 +08:00
han0110
4505bf1596 feat: use tagged table to reduce # of lookup 2022-08-30 21:35:30 +08:00
CPerezz
5b3c7ebd6a fix: Apply review comments agreed in #36 2022-08-24 10:06:05 +02:00
han0110
7cd1227ccc feat: refactor RangeChip instructions 2022-08-20 00:20:45 +08:00
han0110
f33f161296 refactor: make chips store chips if no specialized configuration (aka gadget) 2022-08-20 00:20:45 +08:00
han0110
f10d818755 feat: use varify_rows_at_par to speedup testing 2022-08-20 00:20:45 +08:00
han0110
5ad9c4db43 refactor: clone less stuff 2022-08-20 00:20:45 +08:00
kilic
7a0346d05f Refactor RangeInstructions for decomposition results 2022-07-01 15:00:19 +03:00
kilic
b5c7086f0d Replace AssignedValue with AssignedCell 2022-06-30 17:06:57 +08:00
han0110
747cd51915 feat: use unwrap_or_else instead of manually match for invert 
Co-authored-by: Chih Cheng Liang <chihchengliang@gmail.com>
 2022-06-30 13:28:56 +08:00
kilic
d12bc8f849 Relpace UnassignedValue with Value 2022-06-30 13:02:21 +08:00
han0110
bd917d9246 feat: use Value API for all 2022-06-30 13:02:05 +08:00
kilic
8fe5c726f5 Apply clippy 2022-06-12 18:48:29 +03:00
kilic
d3ba6c015a Use OsRng everywhere 2022-06-12 18:48:13 +03:00
kilic
b6c656b3df Implement incomplete division with single mul 
Closes #6
 2022-06-12 16:35:48 +03:00
kilic
9ac33d2d80 Implement simultaneous addition for 3 integers 2022-06-12 16:34:38 +03:00
kilic
ecdb676228 Add sanity checks for running subtraction 2022-06-12 16:31:21 +03:00
kilic
8d331496f2 Integration to halo2curves 
Remove  dependency and conditional flags
 2022-06-09 14:41:58 +03:00
kilic
ecf00d844c Add missing_debug_implementations and missing_docs flags 2022-06-09 14:40:17 +03:00
kilic
eb2b11f590 Remove ecc/secp256k1 for planned halo2curves use 
Temporarily comment out  and
 2022-06-09 14:40:09 +03:00
kilic
6356907b6a Port comments from #26 2022-06-09 14:39:07 +03:00
kilic
e92991c5ea Generelize IntegerChip against number of limbs 
Simplify `RNS` construction
 2022-06-09 14:39:07 +03:00
kilic
74113fc1ca Use constants for number of limbs and bit size of limbs 2022-04-12 15:19:58 +02:00
kilic
d075804322 Add combine function to main gate 
Move conversion utils to base crate

Rename main_gate::decompose function as to_bits

Move arithetic implementations to instructions trait
 2022-04-12 15:19:58 +02:00
David Nevado
47a1f7bcd0 Move secp256k1 as a dependency 2022-04-08 17:12:33 +02:00
David Nevado
3822dda3d6 Fix Integer features 2022-03-31 01:51:32 +02:00
kilic
24b56144cd apply clippy 2022-03-11 00:59:10 +03:00
kilic
96bd02e9f3 cargo fmt: use default max_width 2022-03-10 21:06:37 +03:00
kilic
bd1addedb1 Use shared rns instance everywhere 2022-03-10 21:04:08 +03:00
kilic
0a4ddeb425 Remove 4 width main gate 2022-03-09 19:25:18 +03:00
kilic
60085a1308 better structure for integer test 
test secp256k1 field constrains
 2022-03-08 16:12:36 +03:00
kilic
51780dec1e fix rns v0 underflow issue 2022-03-08 16:10:47 +03:00
kilic
1a3a66775d Bundle region and offset 
Remove no_lookup feature
 2022-03-06 13:45:54 +03:00
kilic
235fcb9be3 Into workspace 2022-02-11 21:29:14 +03:00