kilic
3eaa2c4703
point out active version
2024-11-30 15:50:29 +03:00
Jason Yellick
631ea47c46
Add license to match other pse projects ( #89 )
...
This repository is currently missing any licensing information. Given
that this is a privacy-scaling-explorations project and the others seem
to have adopted a dual Apache/MIT licensing approach, I've copied those
pieces here.
Please advise if the licensing was intentionally left blank for some
reason, but it seems like a simple oversight to me.
2024-09-18 19:17:02 +03:00
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
4e8e7047bf
Fix nand and xor instructions ( #86 )
...
* add: xor, nand tests
* fix nand
* fix xor
2024-01-26 10:11:43 +01:00
David Nevado
8260abcac3
Merge pull request #84 from privacy-scaling-explorations/nev@fix/sign
...
Fix underconstrained `sign` function.
2024-01-23 17:34:20 +01:00
David Nevado
327f58b6a0
update toolchain
2024-01-23 17:21:44 +01: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
kilic
52333256bf
Merge pull request #80 from kitounliu/master
...
fix bug in div_unsafe
2023-09-13 00:06:04 +03:00
Jia Liu
d7f5a22e13
fix bug in assert zero
2023-09-01 10:47:31 +01:00
Jia Liu
c383a1d452
fix bug in div_unsafe
2023-07-13 11:37:30 +01:00
kilic
2367335deb
Merge pull request #68 from BlakeMScurr/patch-1
...
Fix typo
2023-06-05 19:51:52 +03:00
kilic
0bb75c3e2b
Merge pull request #79 from enricobottazzi/master
...
Modify instance column in `main_gate` to public
2023-06-05 19:51:30 +03:00
Enrico Bottazzi
b382bcf0ce
fix: main_gate_config is now pub
2023-06-05 15:58:41 +02:00
Enrico Bottazzi
a0f02aeed2
fix: instance column in maingate is now public
2023-06-05 15:57:05 +02:00
kilic
d2f0585ed0
Merge pull request #78 from Ethan-000/xor_instruction
...
xor instruction
2023-06-05 00:30:06 +03:00
ethan-000
a1fde53fce
xor instruction
2023-06-03 14:35:46 +01:00
Enrico Bottazzi
b3c53719af
fix: modify EcdsaConfig struct to make range config as public ( #76 )
2023-05-30 19:40:34 +08:00
xiaodino
6d9bf90f96
Fix an error - 'attempt to shift left with overflow' in test_range_circuit ( #72 )
...
* Fix an error - 'attempt to shift left with overflow' in test_range_circuit
* Update
2023-05-16 15:49:48 +08: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
David Nevado
bc72942615
Optimize ECDSA verify
2023-02-27 17:11:40 +01:00
David Nevado
71b1906792
Optimize ecdsa verify
...
- changed window size to 4
- Use batch mul instead of 2 individual muls
From 135k to 103k constraints
2023-02-24 18:57:23 +01:00
Carlos Pérez
5905a20b62
Merge pull request #63 from privacy-scaling-explorations/halo2_2023_02_02
...
chore: Update halo2_proofs to `v2023_02_02`
2023-02-02 12:44:19 +01:00
CPerezz
e927fba5bd
chore: Update halo2_proofs to v2023_02_02
2023-02-02 12:27:21 +01:00
Carlos Pérez
aa1699b0ce
Merge pull request #62 from privacy-scaling-explorations/halo2_2023_01_20
...
Update to latest release of halo2_proofs
2023-01-20 17:22:39 +01:00
CPerezz
ad5cdd6976
Update to latest release of halo2_proofs
2023-01-20 17:17:24 +01:00
Carlos Pérez
93562019c2
Merge pull request #61 from privacy-scaling-explorations/feat/halo2_2023_10_17
...
Update halo2_proofs to v2023_01_17
2023-01-18 12:20:29 +01: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
CPerezz
085a9c6374
chore: Update halo2_proofs to v2023_01_17
2023-01-18 09:39:28 +01:00
kilic
5bf79a81b6
Merge pull request #55 from vuvoth/export-hasher-chip
...
Public a poseidon hasher chip
2023-01-05 20:39:24 +03:00
kilic
52d5f25b0e
Merge pull request #57 from zhiqiangxu/fix_comment_of_add_and_add_with_constant
...
fix comment of add/add_with_constant
2022-12-26 13:57:33 +03:00
zhiqiangxu
8ed1daf4ba
fix comment
2022-12-25 10:14:32 +08:00
kilic
66b4a905bb
Merge pull request #56 from zhiqiangxu/fix_crt_modulus_comment
...
fix comment of crt_modulus
2022-12-23 17:27:36 +03:00
zhiqiangxu
2728f6a642
fix comment
2022-12-23 21:34:19 +08:00
Vu Vo
52841ecf60
export poseidon hasher chip
2022-12-23 04:08:19 +07:00
kilic
63bde545d9
Merge pull request #51 from han0110/feature/upgrade-halo2
...
Also upgrade `poseidon` to `v2022_10_22` and use stable channel rust
2022-10-23 18:59:49 -05:00
han0110
20de1c9853
feat: also upgrade poseidon to v2022_10_22 and use stable channel rust
2022-10-24 07:48:29 +08:00
kilic
79af395e3a
Merge pull request #50 from han0110/feature/upgrade-halo2
...
Upgrade `halo2_proofs` to `v2022_10_22`
2022-10-23 16:04:27 -05:00
han0110
214fd4f02d
feat: upgrade halo2_proofs to v2022_10_22
2022-10-22 14:29:22 +08:00
Carlos Pérez
ed953b054b
Merge pull request #46 from privacy-scaling-explorations/latest_halo2_tag_dep_update
...
Update to latest halo2 released tag
2022-09-09 11:50:24 +02:00
CPerezz
2d708b4453
Fix challenge API issues
2022-09-09 11:35:06 +02:00
CPerezz
8e468a21a9
Update to latest halo2 released tag
...
Resolves : #42
2022-09-09 11:16:02 +02:00
Carlos Pérez
4ddd5bafdf
Merge pull request #45 from privacy-scaling-explorations/clippy_ci
...
Add clippy checks to the CI
2022-09-09 11:14:04 +02:00
Carlos Pérez
e155f01679
Merge pull request #38 from han0110/feature/range-chip-with-tagged-table
...
Improve `RangeChip` with tagged table
2022-09-09 11:13:53 +02:00
han0110
0ca396e35d
fix: apply suggestion
2022-09-09 16:55:33 +08:00
CPerezz
d00a978bfc
Add clippy checks to the CI
...
Resolves : #41 and also polishes a little bit more the CI lints file with
some extra customizations that we already have in `zkevm-circuits` for
example.
2022-09-09 10:54:31 +02:00
han0110
4b5750a7ad
feat: derive Debug for RegionCtx
2022-09-04 22:02:16 +08:00
han0110
4505bf1596
feat: use tagged table to reduce # of lookup
2022-08-30 21:35:30 +08:00
han0110
841d779e68
feat: export advice columns of MainGateConfig by function advices
2022-08-30 20:10:18 +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
