ying tong
c944268671
Merge pull request #128 from zcash/book-patch-compression
...
[book] sha256: Simplify compression region to reuse message schedule …
2021-01-09 01:30:28 +08:00
therealyingtong
42988ce1d0
[book] sha256: Simplify compression region to reuse message schedule gates
2021-01-09 01:29:16 +08:00
str4d
9612656fd6
Merge pull request #126 from zcash/mockprover-lint-fix
...
Remove unnecessary trailing semicolon
2021-01-08 15:27:46 +13:00
Jack Grigg
d94e9b3daf
Remove unnecessary trailing semicolon
2021-01-08 02:22:16 +00:00
str4d
c968ea8091
Merge pull request #95 from zcash/mock-prover
...
Add MockProver for developing circuits
2021-01-08 11:40:18 +13:00
ying tong
2d81d762ad
Merge pull request #123 from zcash/book-patch-sha256-1
...
[book] sha-256: Remove superfluous fixed columns
2021-01-08 00:25:54 +08:00
therealyingtong
68166c27ac
Remove superfluous selector columns
2021-01-08 00:24:21 +08:00
Jack Grigg
08da49353e
Fix clippy lints in MockProver
2021-01-07 12:42:04 +00:00
Jack Grigg
8590211585
Remove unnecessary parts from MockProver per review comments
2021-01-06 21:52:56 +00:00
Jack Grigg
49f1598c0e
Add example to MockProver documentation
...
Also fixes a bug in MockProver::verify (which was exposing an internal
implementation detail as an incorrect row numbering).
2021-01-06 21:52:56 +00:00
Jack Grigg
64b06735bf
Expose MockProver in crate, and add documentation
2021-01-06 21:52:56 +00:00
therealyingtong
fb939f17a9
Add permutation check to MockProver
2021-01-06 21:52:56 +00:00
Jack Grigg
6eebf3994b
Add MockProver for developing circuits
2021-01-06 21:52:56 +00:00
str4d
fb37172ffa
Merge pull request #119 from zcash/fix-rust-breakage
...
Fix breakage of trait resolution in Rust 1.49.0
2021-01-07 04:15:00 +13:00
ying tong
0ed37a937f
Merge pull request #122 from zcash/book-patch-compression
...
[book] Fix compression table formatting
2021-01-06 20:41:42 +08:00
therealyingtong
1a3fccd71b
[book] Fix compression table formatting
2021-01-06 20:41:13 +08:00
ying tong
b0fc9a0b37
Merge pull request #121 from zcash/book-sha256-compression
...
[book] Add compression region to table16.md
2021-01-06 20:31:11 +08:00
therealyingtong
38c78b8c50
[book] Add compression region to table16.md
2021-01-06 20:30:28 +08:00
Jack Grigg
ac75aac455
CI: Set toolchain for book tests
2021-01-06 00:48:29 +00:00
Jack Grigg
f49e1e6177
Fix breakage of trait resolution in Rust 1.49.0
...
Previously, `ChallengeScalar` could use the operator traits defined on
the `F: Field` type it wrapped, due to its `impl Deref<Target = F>`.
This was technically ambiguous, and Rust 1.49.0 makes that ambiguity an
error.
We could fix this by adding operator impls with `ChallengeScalar` on the
RHS, but that would conflict with zcash/halo2#111 . Instead we manually
dereference every challenge scalar when used in an arithmetic operation.
2021-01-06 00:48:29 +00:00
ying tong
26346adb9b
Merge pull request #118 from zcash/book-patch-sha256-4
...
[book] table16.md: Add sb1 selector
2021-01-04 23:57:01 +08:00
therealyingtong
29738d4214
Add sb1 selector
2020-12-28 22:57:50 +08:00
ying tong
71c26f0497
Merge pull request #115 from zcash/book-patch-sha256-3
...
[book] sha-256: Standardise notation and add sb selector to check subpieces
2020-12-28 15:11:43 +08:00
therealyingtong
50e6920ed7
Standardise notation and add sb column to check subpieces
2020-12-28 14:57:33 +08:00
Daira Hopwood
a4c874ed24
Merge pull request #114 from daira/book-concepts
...
[book] Write Concepts section
2020-12-26 15:46:20 +00:00
Daira Hopwood
e932352390
Rename 'Background' to 'Proof systems' and add a note about intermediate values.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2020-12-26 15:45:15 +00:00
Daira Hopwood
fcb176aeb1
Apply suggestions from code review
...
Minor fixes.
2020-12-26 15:33:59 +00:00
Daira Hopwood
f23677cea9
[book] Write Concepts section.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2020-12-26 15:33:59 +00:00
Daira Hopwood
591ab49266
Add book/Makefile for local HTML generation.
...
This is mainly useful for syntax checking rather than to produce good-quality output.
It assumes that pandoc is installed.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2020-12-26 15:33:59 +00:00
ying tong
659655a4de
Merge pull request #112 from zcash/book-patch-sha256-2
...
(cont.) Patch message scheduling table
2020-12-24 20:37:40 +08:00
therealyingtong
2c3cda4b01
(cont.) Patch message scheduling table
2020-12-24 20:36:03 +08:00
str4d
d47c83febf
Merge pull request #109 from zcash/fix-book-tests
...
book: Fix book tests by adding missing definitions to SHA-256 page
2020-12-23 17:41:08 +00:00
ebfull
d34e82f31c
Merge pull request #106 from zcash/refactor-permutation-argument
...
Refactor permutation proofs to reflect the separate permutations
2020-12-23 09:41:24 -07:00
Jack Grigg
a4029222fd
book: Fix book tests by adding missing definitions to SHA-256 page
2020-12-23 16:13:44 +00:00
ying tong
2fe7daa6f4
Merge pull request #108 from zcash/book-patch-sha256
...
[book] Patch message scheduling table
2020-12-23 21:21:13 +08:00
therealyingtong
a14c538b55
Update message scheduling table
2020-12-23 21:19:42 +08:00
ying tong
d7abe3ca00
Merge pull request #98 from zcash/book-sha256
...
[book] Add sha256 spec
2020-12-23 13:35:37 +08:00
therealyingtong
00cb254141
Inline sigma_0 v1 in message scheduling region
2020-12-23 13:33:33 +08:00
str4d
935e806821
Merge pull request #107 from zcash/book-reorg
...
book: Move multipoint argument into design section
2020-12-23 03:32:44 +00:00
Jack Grigg
8f8a8e0772
book: Move multipoint argument into design section
2020-12-23 03:26:45 +00:00
Jack Grigg
d5bae060f3
book: Zero-index message schedule in the giant table
2020-12-23 03:09:26 +00:00
Jack Grigg
7fabdc1fe4
book: Mark diagram as plaintext so it doesn't get tested
2020-12-23 02:54:35 +00:00
Jack Grigg
0a9c130276
book: Fix table formatting
2020-12-23 02:51:43 +00:00
Jack Grigg
7d37ff370b
book: Fix internal links in Table16 chip
2020-12-23 02:46:28 +00:00
Jack Grigg
8cf0cdeda3
book: Update TOC entry for SHA-256 chip
2020-12-23 02:44:33 +00:00
Jack Grigg
00b33bd48e
book: Rework documentation of modular addition for SHA-256 chip
2020-12-23 02:42:53 +00:00
Jack Grigg
151adc83dd
book: Document SHA-256 chip instructions and gadget interface
2020-12-23 02:42:27 +00:00
Jack Grigg
90c50fdd11
Refactor permutation proofs to reflect the separate permutations
2020-12-22 23:51:32 +00:00
Jack Grigg
d2c0c8b623
book: Remove trailing whitespace
2020-12-22 21:35:20 +00:00
therealyingtong
e4d5ddecb2
book: Use 0-indexing for message scheduling table16.md
2020-12-22 21:31:13 +00:00