therealyingtong
|
c3d0a172a7
|
Create multiopen abstraction
|
2020-10-14 00:35:25 +08:00 |
Sean Bowe
|
7a3caaad59
|
Fix comments
|
2020-09-29 08:28:00 -06:00 |
Sean Bowe
|
c97da352ee
|
Remove SRS and replace with ProvingKey/VerifyingKey abstractions
Co-authored-by: therealyingtong <yingtong@electriccoin.co>
|
2020-09-29 08:25:04 -06:00 |
Sean Bowe
|
6d41693af5
|
Use Blind::default().
|
2020-09-25 10:21:15 -06:00 |
Sean Bowe
|
56b6d8bd03
|
Auxilary wires in PLONK are foux blinded just like fixed wires.
|
2020-09-25 10:21:15 -06:00 |
Sean Bowe
|
2d1f69328f
|
Rename `OpeningProof` to just `Proof`.
|
2020-09-25 09:39:32 -06:00 |
Sean Bowe
|
a37c926a89
|
Address clippy lints
|
2020-09-20 13:09:03 -06:00 |
Sean Bowe
|
73d494a72d
|
Various changes, including restoring permutation argument to advice wires only for now.
|
2020-09-19 13:31:56 -06:00 |
therealyingtong
|
24fe3fae29
|
Remove aux_commitments computation from Prover; remove blinding factor when accumulator aux_evals
|
2020-09-19 12:39:04 -06:00 |
therealyingtong
|
c772801f8f
|
Pass aux_lagrange_polys to prover as a slice
|
2020-09-19 12:39:04 -06:00 |
therealyingtong
|
fd094fccd8
|
Add aux_commitments and aux_evals to test_proving() example
|
2020-09-19 12:39:04 -06:00 |
therealyingtong
|
9482202a98
|
Update PLONK test_proving() example
|
2020-09-19 12:39:04 -06:00 |
therealyingtong
|
a257308ba2
|
Add aux wires to ConstraintSystem
|
2020-09-19 12:39:04 -06:00 |
therealyingtong
|
0caf1d2087
|
Provide aux_commitments to verifier and aux_lagrange_polys to prover
|
2020-09-19 12:39:04 -06:00 |
Sean Bowe
|
a886663e05
|
Incorporate MSM/Guard into PLONK verifier API and arithmetic.
|
2020-09-15 17:32:39 -06:00 |
Sean Bowe
|
643077b150
|
Rename `ConstraintSystem` to `Assignment`, and `MetaCircuit` to `ConstraintSystem`.
|
2020-09-13 10:30:02 -06:00 |
therealyingtong
|
1eb2a36086
|
Return MSM from PLONK verifier
|
2020-09-13 23:10:06 +08:00 |
therealyingtong
|
c264208a03
|
Rename params.msm() to params.empty_msm()
|
2020-09-13 23:07:05 +08:00 |
therealyingtong
|
1a52d8f6b8
|
Add MSM to PLONK verifier signature
|
2020-09-13 12:32:32 +08:00 |
Sean Bowe
|
116659c1ba
|
Refactor module tree.
|
2020-09-07 13:07:51 -06:00 |
Sean Bowe
|
21f02a73c2
|
Don't mutate the witness during permutation argument. Also, adds parallelism and reduces state/multiplications.
|
2020-09-07 09:43:02 -06:00 |
Sean Bowe
|
eff149e734
|
Fix incorrect indexing into advice_cosets during proving.
|
2020-09-06 14:10:25 -06:00 |
therealyingtong
|
503939db05
|
Minor cleanups
|
2020-09-06 06:34:29 +08:00 |
Sean Bowe
|
965362c1f5
|
Don't precompute deltaomega; inline its computation.
|
2020-09-05 14:44:13 -06:00 |
Sean Bowe
|
937861c0b8
|
Add implementation of daira's algorithm for copy constraint enforcement.
|
2020-09-05 12:56:45 -06:00 |
Sean Bowe
|
869aba389a
|
Cleanups
|
2020-09-05 11:40:25 -06:00 |
Sean Bowe
|
0651359cb8
|
[WIP] Finish prover
|
2020-09-03 17:21:44 -06:00 |
Sean Bowe
|
6b9ea1dbeb
|
Precompute deltaomega vector.
|
2020-09-03 14:31:57 -06:00 |
Sean Bowe
|
4a88d52457
|
Use the correct permutation values from the SRS.
|
2020-09-03 14:21:13 -06:00 |
therealyingtong
|
c44a020de7
|
Permutation checks in verifier
|
2020-09-03 00:45:03 +08:00 |
therealyingtong
|
bdd48f6037
|
Add advice_shifted_evals to Proof struct
|
2020-09-02 23:19:06 +08:00 |
therealyingtong
|
2472ec3291
|
WIP permutation checks in verifier
|
2020-09-02 23:19:06 +08: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 |
Sean Bowe
|
378c56b952
|
Sample of abstraction for writing PLONK circuits
|
2020-08-27 11:43:08 -06:00 |
Sean Bowe
|
1b6c0e9a8b
|
Remove _x suffix from variable names
|
2020-08-27 10:25:36 -06:00 |
Sean Bowe
|
ad106f1119
|
(WIP) broken implementation of generalized PLONK
|
2020-08-27 10:10:55 -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
|
9dfc6ac379
|
Add first pieces of the API.
|
2020-08-22 15:09:47 -06:00 |
Sean Bowe
|
dd1ad9f114
|
Initial commit
|
2020-08-22 14:15:39 -06:00 |