Sean Bowe
|
3b954cdd3b
|
Allow unknown clippy lints so that lints added in nightly don't break CI
|
2021-02-15 07:53:27 -07:00 |
Sean Bowe
|
175c1449d3
|
Disable clippy::upper_case_acronyms lint.
|
2021-02-14 09:39:05 -07:00 |
ebfull
|
55122e5161
|
Merge pull request #183 from zcash/fix-ci
Downgrade to funty 1.1.0 to fix CI
|
2021-02-14 09:37:10 -07:00 |
Sean Bowe
|
4b960a7c0c
|
cargo fmt
|
2021-02-14 09:28:51 -07:00 |
Sean Bowe
|
4747112118
|
Downgrade to funty 1.1.0 to fix CI.
|
2021-02-14 09:24:15 -07:00 |
ebfull
|
9fc45ad11e
|
Merge pull request #163 from zcash/region-helpers
Helpers for implementing regions
|
2021-02-12 10:03:39 -07:00 |
Jack Grigg
|
821bca0abe
|
Reduce FieldExt bound to Field for Neg and Sub impls on Expression<F>
|
2021-02-12 16:52:42 +00:00 |
ebfull
|
da2d4eb71b
|
Merge pull request #179 from zcash/common-scalar
Add common_scalar method to Transcript
|
2021-02-12 09:19:21 -07:00 |
str4d
|
c5e2a5e310
|
Merge pull request #177 from zcash/book-proving-system
[book] Fill out design section about proving system
|
2021-02-13 05:10:56 +13:00 |
str4d
|
13ac4e7573
|
Merge pull request #178 from zcash/simple-example-comments
Reflow simple-example.rs comments
|
2021-02-13 05:09:15 +13:00 |
Sean Bowe
|
d3cd39fc6d
|
Add common_scalar method to Transcript.
|
2021-02-12 09:08:56 -07:00 |
Jack Grigg
|
4739aaae5c
|
book: Clarify IPA inputs in tl;dr section
|
2021-02-12 16:05:44 +00:00 |
Jack Grigg
|
24eb3500cb
|
examples: Fix typo
|
2021-02-12 15:53:04 +00:00 |
Jack Grigg
|
b3f85d3e69
|
examples: Reflow simple-example.rs comments for easier reading in book
|
2021-02-12 15:53:04 +00:00 |
Jack Grigg
|
126abd151c
|
book: Clarify why fixed columns are shown separately in commitments
|
2021-02-12 15:30:48 +00:00 |
Jack Grigg
|
67b6d197aa
|
book: Tweak wording for proving system stage 1 commitments
|
2021-02-12 15:18:12 +00:00 |
Jack Grigg
|
576796037a
|
book: Move lookup argument design page to have consistent URI
|
2021-02-12 15:15:05 +00:00 |
Jack Grigg
|
7820083c0d
|
book: Reword paragraph about degree of relation polynomials
|
2021-02-12 15:13:16 +00:00 |
Jack Grigg
|
3181a21cba
|
book: Add beta and gamma requirements for lookup permutation product
Co-authored-by: Daira Hopwood <daira@jacaranda.org>
|
2021-02-12 15:08:00 +00:00 |
Jack Grigg
|
2c647009fc
|
book: Fix notation for committing to lookup permutation product columns
|
2021-02-12 15:06:33 +00:00 |
Jack Grigg
|
f30cbcbfc9
|
book: Fix notation in example constraint system
|
2021-02-12 14:48:05 +00:00 |
str4d
|
0a2fb4781d
|
book: Small changes from review
Co-authored-by: Daira Hopwood <daira@jacaranda.org>
|
2021-02-13 03:43:35 +13:00 |
Jack Grigg
|
59010c4674
|
book: Document commitments to lookup and equality constraint arguments
|
2021-02-11 21:22:18 +00:00 |
Jack Grigg
|
7b7346c462
|
book: Add a placeholder page for explaining the IPA
For now, it directs readers to the existing comparision page, which
describes Halo 2's IPA relative to another work.
|
2021-02-11 19:54:45 +00:00 |
Jack Grigg
|
6da0adb4e1
|
book: Refactor the multipoint opening argument section
|
2021-02-11 19:54:45 +00:00 |
Jack Grigg
|
91a90f1d9d
|
book: Renumber multipoint opening challenges to match implementation
|
2021-02-11 19:54:39 +00:00 |
Jack Grigg
|
ffa8dacaba
|
book: Add section about vanishing argument
|
2021-02-11 19:54:38 +00:00 |
Jack Grigg
|
9e9a92a912
|
book: Add section about circuit commitments
|
2021-02-11 19:54:20 +00:00 |
Jack Grigg
|
e666f8b966
|
book: Add summary and succinct description of the Halo 2 protocol
|
2021-02-11 19:16:08 +00:00 |
Jack Grigg
|
4aceada21a
|
book: Re-order "Proving system" sub-sections
|
2021-02-10 13:06:22 +00:00 |
str4d
|
7ac44e8d53
|
Merge pull request #168 from zcash/book-updates
Book updates
|
2021-02-10 12:01:53 +13:00 |
Jack Grigg
|
425c45d96b
|
book: Add a simple example showing how the API is used
|
2021-02-08 15:56:16 +00:00 |
Jack Grigg
|
5905230174
|
Fix stable clippy lints
|
2021-02-05 16:48:41 +00:00 |
Jack Grigg
|
bfbfa80900
|
book: Add a comparison to BCMS20
|
2021-02-04 16:04:37 +00:00 |
Jack Grigg
|
3fc245343e
|
Return results from assigned regions
This makes it easier to pass variables out of a region.
|
2021-02-01 21:42:57 +00:00 |
Jack Grigg
|
db0477a606
|
impl<F: FieldExt> {Neg, Sub} for Expression<F>
|
2021-02-01 21:42:57 +00:00 |
ebfull
|
f566bf7fe0
|
Merge pull request #145 from zcash/circuit-annotations
Circuit annotations and developer tooling
|
2021-02-01 12:57:39 -07:00 |
Jack Grigg
|
0a378c3d0f
|
Require Circuit::Config implement Clone instead of Copy
|
2021-02-01 19:05:19 +00:00 |
Jack Grigg
|
c95f0b7c0c
|
circuit_layout: Darken the cells of the region that have been assigned to
We record every instance of a cell assignment, so that cells which are
double-assigned (which is usually a mistake) will appear darker.
|
2021-02-01 18:38:22 +00:00 |
Jack Grigg
|
3c1132ec59
|
Add halo2::dev::circuit_layout behind dev-graph feature flag
This method renders circuits as tables, showing how the various regions
within them have been layed out.
|
2021-02-01 18:38:20 +00:00 |
Jack Grigg
|
7dd6e65a5f
|
Add halo2::dev::circuit_dot_graph behind dev-graph feature flag
This method renders circuits as dot graphs, to help circuit developers
understand their structure.
|
2021-02-01 18:38:16 +00:00 |
Jack Grigg
|
82da677add
|
Add name field to ConstraintSystem::create_gate
The name has type `&'static str`, as gates apply to every row and thus
do not require any runtime information to name.
|
2021-02-01 18:38:13 +00:00 |
Jack Grigg
|
bf771a7446
|
Add namespacing and gadget name collection to Layouter
|
2021-02-01 18:38:04 +00:00 |
Jack Grigg
|
60061f64fd
|
Add name field to Layouter::assign_region
|
2021-02-01 18:34:24 +00:00 |
Jack Grigg
|
4c3adf59d5
|
Add annotations to Region::{assign_advice, assign_fixed}
This enables circuits to annotate individual cells with variable names
or similar protocol-specific metadata.
|
2021-02-01 18:33:25 +00:00 |
ebfull
|
fb82730d85
|
Merge pull request #149 from zcash/transcript-blake2b
Replace DummyHash with BLAKE2b
|
2021-02-01 10:00:27 -07:00 |
therealyingtong
|
48bfea9782
|
Replace DummyHash with BLAKE2b
|
2021-02-02 00:53:53 +08:00 |
ebfull
|
a05f48be8f
|
Merge pull request #143 from zcash/multiproof
Multi-proof prover
|
2021-02-01 09:35:38 -07:00 |
therealyingtong
|
ea14d99a83
|
Renaming and cleanups from code review
Co-authored-by: Sean Bowe <ewillbefull@gmail.com>
|
2021-02-02 00:05:55 +08:00 |
str4d
|
a0282e7e15
|
Merge pull request #159 from daira/background-update2
Further clarify notation and make sure that the discussion is correct for non-cyclic groups
|
2021-02-02 00:33:02 +13:00 |