zec
/
halo2
mirror of https://github.com/zcash/halo2.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
2,478 Commits 40 Branches 6 Tags 58 MiB
Commit Graph

2478 Commits

Author SHA1 Message Date
therealyingtong 0bf73c5d08
Minor fixes to srs.rs 2020-09-02 23:18:43 +08:00
ebfull 2b547558ad
Merge pull request #5 from rex4539/typos 
Fix typos
 2020-09-02 08:32:13 -06:00
Dimitris Apostolou c0444f8c31
Fix typos 2020-09-01 20:45:20 +03:00
Sean Bowe a2fca8a02d
Add comments to clarify implementation of permutation argument in SRS generator. 2020-08-31 10:18:55 -06:00
Sean Bowe c427795bf5
Reverse endianness of delta constants 2020-08-31 10:10:05 -06:00
Sean Bowe dc5df10832
Update structured reference string and API for permutation argument. 2020-08-31 10:01:09 -06:00
therealyingtong 85fd924b15
WIP implement copy() on Variables 2020-08-31 21:51:49 +08:00
therealyingtong 4f8570db95
Add DELTA generator of t-order multiplicative subgroup to Fp, Fq 2020-08-29 13:51:42 +08:00
ebfull 4c9a05ba74
Merge pull request #2 from zcash/universal-circuits 
Implementation of generalized PLONK
 2020-08-27 15:21:44 -06:00
Sean Bowe b453b845b8
Clean up prover implementation 2020-08-27 14:03:43 -06:00
Sean Bowe 154568c387
Clean up verification implementation 2020-08-27 13:52:55 -06:00
Sean Bowe 35c4bd4dd9
Improve naming of offsets/indexes and mappings. 2020-08-27 13:27:24 -06:00
Sean Bowe 378c56b952
Sample of abstraction for writing PLONK circuits 2020-08-27 11:43:08 -06:00
Sean Bowe 9852913a32
Add some comments and documentation. 2020-08-27 10:46:54 -06:00
Sean Bowe 1b6c0e9a8b
Remove _x suffix from variable names 2020-08-27 10:25:36 -06:00
Sean Bowe 9099e9d9ba
Properly invert when computing expected opening. 2020-08-27 10:16:42 -06:00
Sean Bowe ad106f1119
(WIP) broken implementation of generalized PLONK 2020-08-27 10:10:55 -06:00
Sean Bowe 6051814c4b
Split coset step up so that we can query wires at multiple spots. 2020-08-24 13:50:52 -06:00
Sean Bowe c59513eb28
Minor adjustments for CI 2020-08-24 13:35:12 -06:00
ebfull 44613ebd33
Merge pull request #1 from zcash/actions 
Actions workflow for CI
 2020-08-24 13:26:08 -06:00
Sean Bowe 24b7e6cc7c
Run SRS synthesis on an empty circuit in test. 2020-08-24 08:36:41 -06:00
Sean Bowe 36f9e87056
Implementation of gate/query API 2020-08-24 08:28:42 -06:00
Sean Bowe c20f3fdf1a
Give fixed and advice wires separate types 2020-08-23 13:26:04 -06:00
Sean Bowe 7edffe0197
Allow commitments to generic advice wire polynomials 2020-08-22 16:10:27 -06:00
Sean Bowe c16141be9a
Introduce `Variable` type 2020-08-22 15:15:39 -06:00
Sean Bowe 9dfc6ac379
Add first pieces of the API. 2020-08-22 15:09:47 -06:00
Sean Bowe 68ef6fdc09
Draft of github actions workflow for CI 2020-08-22 14:32:28 -06:00
Sean Bowe dd1ad9f114
Initial commit 2020-08-22 14:15:39 -06:00