Commit Graph

21 Commits

Author SHA1 Message Date
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