github/halo2wrong
1
1
Fork 0
mirror of https://github.com/privacy-scaling-explorations/halo2wrong.git synced 2026-05-05 03:00:34 -04:00
Code Issues Packages Projects Releases Wiki Activity
212 Commits 7 Branches 10 Tags
d00a978bfc43a85a397a31b022b8c756d64c43b5
Commit Graph

212 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Carlos Pérez
56639b6152 Merge pull request #40 from privacy-scaling-explorations/han/faster_testing 
Han/faster testing
v2022_08_24 		2022-08-24 10:47:49 +02: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
e938a7b227 feat: upgrade rust-toolchain to nightly-2022-07-26 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
han0110
ffc510bbc0 feat: Update in regard to halo2's upgrade 2022-08-20 00:20:45 +08:00
kilic
c1ea771b12 Merge pull request #34 from privacy-scaling-explorations/new-range 
Refactor `RangeInstructions` for decomposition results
 2022-07-01 18:11:46 +03:00
kilic
fe0c0fff18 fix: use BTreeMap 2022-07-01 15:02:29 +03:00
kilic
7a0346d05f Refactor RangeInstructions for decomposition results 2022-07-01 15:00:19 +03:00
kilic
e526385df4 Merge pull request #35 from han0110/feature/value-api 
Update to use `Value` API for all
 2022-06-30 12:53:04 +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
han0110
4521830254 fix: typo 2022-06-30 13:28:20 +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
2b64cb612c quick fix before full Value integration 2022-06-29 16:19:15 +03:00
kilic
585ba2fab9 cargo fmt 2022-06-27 14:49:05 +03:00
kilic
bd592ca610 Merge pull request #32 from TraceBundy/master 
Use `Value` API
 2022-06-20 12:48:40 +03:00
yangzhou
0c159a7d5c fix compile failed 2022-06-16 09:55:40 +00: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
e3c321b5d1 Remove rebasing leftovers 2022-06-10 10:33:57 +03:00
kilic
5cdc164468 Remove kzg feature from workflow 2022-06-09 16:21:47 +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
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
958641daf8 Integrate applications into the base 
cargo fmt

Cancel out  until  integration
 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
de6fc82974 Add zero sum constraint 
Rename `combine` function as `apply`
 2022-06-09 14:39:07 +03:00
kilic
15bb5c9749 Merge pull request #31 from ed255/feature/bump-halo2 v2022_06_03 2022-06-03 14:28:44 +03:00
Eduard S
060f143933 Bump halo2 tag 2022-06-03 12:29:50 +02:00
kilic
a1a9a137a3 Merge pull request #29 from pinkiebell/fix-links 
fix links after github org rename
 2022-06-02 12:30:45 +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
92b96893b5 Merge pull request #25 from ed255/feature/test-kzg v2022_05_13 2022-05-13 20:36:21 +02:00
Eduard S
2159d0a2ef Bump halo2 tag 2022-05-13 19:02:30 +02: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
2c65ef15a6 add comments 2022-04-13 18:33:02 +02:00
kilic
5251f1b6b2 Apply copy constain to Self instead of cell 2022-04-13 18:31:02 +02:00
kilic
513eafff1d Add transcript circuit 2022-04-12 15:19:58 +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
kilic
3332c71915 Merge pull request #24 from davidnevadoc/fix-integer-feature 
Fix `Integer` features
 2022-04-12 15:07:44 +02:00