Commit Graph

2529 Commits

Author SHA1 Message Date
Daira Hopwood 814ad87b40 Regenerate PDFs. 2021-06-08 12:39:25 +01:00
Daira Hopwood cc71722eca Set Change History entry date.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-06-08 12:33:29 +01:00
Daira Hopwood ebd54d5ad6 Add an explicit consensus rule in \crossref{txnencodingandconsensus} that the reserved bits of
the flagsOrchard field MUST be zero.

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-06-08 12:33:08 +01:00
Daira Hopwood d25f3c1f47 Correct a cut-and-paste error algorithm for \crossref{orcharddummynotes},
which should refer to the Action statement rather than the Spend statement.

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-06-08 10:00:44 +01:00
Daira Hopwood 7d2480648a Regenerate PDFs. 2021-06-06 03:45:32 +01:00
Daira Hopwood 0a985b9c13 Set date for Change History entry.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-06-06 03:39:06 +01:00
Daira Hopwood 106e73e461 Make the NU5 specification the default.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-06-06 03:39:06 +01:00
Daira Hopwood e3667dc30d Add ZIP 239 to the list of ZIPs included in NU5.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-06-06 03:39:06 +01:00
Daira Hopwood 577bb20832 Use "Bech32[m]" when saying that there is no dedicated string encoding for Orchard payment addresses
and viewing keys.

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-06-06 03:24:47 +01:00
Daira Hopwood 8f3f36fef5 Specify that Orchard spending keys are encoded using Bech32m.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-06-06 03:02:44 +01:00
Daira Hopwood ccaa100141 Reference [SVPBABW2012]: link to the ePrint summary page rather than the PDF.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-06-05 16:55:05 +01:00
Daira Hopwood 99e5d92843 Clarify that epk encoded in an Action description cannot be the zero point.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-06-05 16:55:05 +01:00
Daira Hopwood c4b65c39cc Cosmetics.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-06-05 16:55:05 +01:00
Daira Hopwood 9bc46070f3 Say that the round constants as well as the MDS matrices are generated according to Version 1.1
of the Poseidon reference implementation.

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-06-05 16:55:05 +01:00
Daira Hopwood 5fa8a60b08 Specify (as a note in \crossref{actionstatement}) the encoding of primary inputs to the action circuit.
This uses new helper functions $\Selectx$ and $\Selecty$ defined in \crossref{concreteextractorpallas}.
The specification of Extract_P has also been refactored to use $\Selectx$ (this does not change the Orchard protocol).

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-06-05 16:55:05 +01:00
Daira Hopwood 6a0c15df29 Move the section on abstraction to the Abstract Protocol section, and split section 5.2 to avoid renumbering.
fixes #512

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-06-05 16:55:05 +01:00
Daira Hopwood f4a0a1284e Delete a misleading sentence about Ed25519 encodings being specified in \cite{BDLSY2012}.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-06-05 16:55:05 +01:00
Daira Hopwood 9e2938b555 Correct an error in the specification of height-in-coinbase for block heights 1..16.
Also clarify requirements on the range of block heights that should be supported.
fixes #517

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-06-05 16:55:05 +01:00
Daira Hopwood 530f00e150 Update title of ZIP 316.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-06-05 16:55:05 +01:00
Daira Hopwood 5a925a44fe ZIP 224: update for unified addresses and viewing keys.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-06-05 16:54:41 +01:00
Daira Hopwood cbf2878cbe ZIP 224: describe rivk.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-06-05 16:53:59 +01:00
Daira Hopwood ce13aeb945 ZIP 316: change title to "Unified Addresses and Unified Viewing Keys".
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-06-05 16:52:41 +01:00
Daira Hopwood 15457d4198 ZIP 224: cosmetics.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-06-05 15:59:56 +01:00
Daira Hopwood 35f42b8a49 ZIP 225: document that all fields are little-endian.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-06-05 15:49:13 +01:00
Daira Hopwood c63b6c9c42 ZIP 224: cosmetics.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-06-05 15:32:57 +01:00
Daira Hopwood 2f7954abc3 ZIP 239: backward compatibility for MSG_WTX.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-06-05 15:10:20 +01:00
Daira Hopwood 5b5dd20516 ZIP 252: add reference to ZIP 32.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-06-05 15:05:38 +01:00
Daira Hopwood 72d37b803c ZIP 239: resolve open issue.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-06-04 21:12:48 +01:00
Daira Hopwood e81037731b Rename reserved ZIP 204.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-06-03 23:17:21 +01:00
Daira Hopwood 43b03a7a98
Merge pull request #516 from daira/zip-239
Add ZIP 239: Relay of Version 5 Transactions
2021-06-03 22:56:35 +01:00
Daira Hopwood 4ff6ec345f
Merge pull request #518 from zcash/zip-216-fix
ZIP 216: Fix description of non-canonical identity encoding
2021-06-02 12:54:32 +01:00
Daira Hopwood 6ec85a6014 ZIP 216: regenerate HTML.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-06-02 12:53:44 +01:00
str4d 587e8f7e70
ZIP 216: Fix description of non-canonical identity encoding 2021-06-02 03:36:21 +01:00
Daira Hopwood f15f263023 Add definitions; terminology changes; and rename `MSG_TXV5` to `MSG_WTX`.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-06-01 17:01:02 +01:00
Daira Hopwood 1b5786ea38 Leave it unspecified whether MSG_TXV5 is used for v6 and later transactions.
The previous wording could have been misinterpreted to require not using MSG_TXV5 for these,
and was partly redundant. Also mention in Motivation that the format of serialized
v5 transactions is not consensus-critical.

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-05-30 10:51:16 +01:00
Daira Hopwood 864e1eaa8d ZIP 252: add references to ZIP 239.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-05-29 18:25:13 +01:00
Daira Hopwood 50e4914b01 ZIP 239: message type -> inv type.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-05-29 18:01:01 +01:00
Daira Hopwood a756260c05 ZIP 239: mention `getdata` in Motivation.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-05-29 17:58:08 +01:00
Daira Hopwood 16f48e70d2 Add ZIP 239.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-05-29 17:50:53 +01:00
Daira Hopwood b4386f93b8 Minor updates to ZIP titles. Also add a reference to ZIP 316 from ZIP 252.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-05-29 17:30:29 +01:00
Daira Hopwood 44ad348ce6 Regenerate PDFs. 2021-05-20 22:27:53 +01:00
Daira Hopwood c3f48359e6 Clarify that v4 transactions continue to use the ZIP 243 SIGHASH algorithm after NU5 activation.
fixes #510

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-05-20 22:23:19 +01:00
Daira Hopwood 572a0d6e4f Regenerate PDFs. 2021-05-20 22:02:23 +01:00
Daira Hopwood 0ab0bcb7cb Set Change History entry date.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-05-20 21:57:49 +01:00
Daira Hopwood eb5a018396 Note that [JT2020] proves a tight reduction from finding a nontrivial discrete log relation to DLP.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-05-20 21:57:03 +01:00
Daira Hopwood b6e50f8252 Clarify the distinction between Orchard incoming viewing keys and KA^Orchard private keys.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-05-20 21:47:34 +01:00
Daira Hopwood e7ec658413 Cosmetics and indexing.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-05-20 21:45:59 +01:00
Daira Hopwood c90528fa5c Change the notation \mathcal{I}^D_i for a Sapling Pedersen generator to \mathcal{I}(D, i).
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-05-18 21:11:09 +01:00
Daira Hopwood 9f948307cf Change the type of Orchard Merkle hashes to \mathbb{P}_x, with a corresponding change to the
signature of MerkleCRH^Orchard. Add a note to \crossref{merklepath} clarifying that non-canonical
encodings are allowed as input to MerkleCRH^Orchard.

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-05-18 21:07:10 +01:00
Daira Hopwood 67cea8589a Add a note to \crossref{merklepath} clarifying the encoding of rt^Sapling as a primary input to
the Sapling spend circuit, and that non-canonical encodings are allowed as input to MerkleCRH^Sapling.

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-05-18 20:39:42 +01:00