Jack Grigg
7d81971079
CI: Warn with clippy on beta instead of nightly
...
We don't want the noise of changes to nightly clippy, but we _do_ want
advance warning of upcoming CI breakage. Running clippy on beta will
give us six weeks notice.
2021-02-15 15:41:35 +00:00
Jack Grigg
fb9eb3b483
CI: Run intra-doc checks on stable
2021-02-15 15:39:16 +00:00
ebfull
356ce36c71
Merge pull request #184 from zcash/fix-clippy
...
Disable clippy::upper_case_acronyms lint
2021-02-15 08:19:42 -07:00
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
