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
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
Vu Vo
52841ecf60
export poseidon hasher chip
2022-12-23 04:08:19 +07: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
0ca396e35d
fix: apply suggestion
2022-09-09 16:55:33 +08:00
han0110
4505bf1596
feat: use tagged table to reduce # of lookup
2022-08-30 21:35:30 +08:00
han0110
e07e8b1b98
feat: rename PointRepresentation::encode to encode_assigned and make encode to take plain value
2022-08-30 20:10:14 +08:00
CPerezz
5b3c7ebd6a
fix: Apply review comments agreed in #36
2022-08-24 10:06:05 +02: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
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
8d331496f2
Integration to halo2curves
...
Remove dependency and conditional flags
2022-06-09 14:41:58 +03:00
kilic
eb2b11f590
Remove ecc/secp256k1 for planned halo2curves use
...
Temporarily comment out and
2022-06-09 14:40:09 +03:00
pinkiebell
ce03a49da8
fix links after github org rename
...
This also helps in fixing a Cargo related issue in https://github.com/privacy-scaling-explorations/zkevm-circuits/issues/549
2022-06-02 08:37:19 +00:00
kilic
513eafff1d
Add transcript circuit
2022-04-12 15:19:58 +02:00