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
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
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
e3c321b5d1
Remove rebasing leftovers
2022-06-10 10:33:57 +03:00
kilic
8d331496f2
Integration to halo2curves
...
Remove dependency and conditional flags
2022-06-09 14:41:58 +03:00
kilic
5e16908a2a
Move ecc source to its parent dir
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
958641daf8
Integrate applications into the base
...
cargo fmt
Cancel out until integration
2022-06-09 14:39:07 +03:00
Eduard S
1e9cce91d5
Add github action for KZG test; apply small fixes
...
- Fix bool to F
- Fix build error on ecdsa test with `zcash` feature enabled
- Bump `appliedzkp/halo2` dependency to match
`appliedzkp/zkevm-circuits` project.
2022-05-09 11:13:07 +02: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
7d8f9feac1
Comments ( #1 )
...
* Add `ecc` comments
These are some basic comments added quickly to make the understanding of
the library a bit easier.
There may be some mistakes as I have commented the purpose of some
functions even if I was uncertain with my best guess.
2022-03-18 12:19:38 +01: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
7d5291974a
apply clippy
2022-03-10 21:00:39 +03:00
kilic
4bc7207335
test ecc and ecdsa against secp256k1
2022-03-09 19:28:28 +03:00
kilic
34805ba318
normalize field element in read and write
2022-03-09 19:27:51 +03:00
kilic
0a4ddeb425
Remove 4 width main gate
2022-03-09 19:25:18 +03:00
kilic
5ac6b152da
impl coordinates constructor for kzg feature
2022-03-07 20:44:26 +03:00
David Nevado
03aeb08f6b
Move secp256k1 to ecc
2022-03-07 19:37:59 +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
