Commit Graph

2740 Commits

Author SHA1 Message Date
Daira Hopwood dcb4c4e89a Regenerate PDFs. 2021-09-01 13:43:18 +01:00
Daira Hopwood c871d448ce Set Change History entry date.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-09-01 13:26:34 +01:00
Daira Hopwood 21f384dcda Fix URL links to \cite{BBDP2001} and \cite{BDJR2000}.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-09-01 13:26:34 +01:00
Daira Hopwood a5c4f139c9 protocol/links_and_dests.py: Some DOI links (i.e. to https://doi.org/) redirect to link.springer.com
in a way that requires cookies (booo!). We allow this for DOI links, but for all other links we
simulate a client that never sets cookies.

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-09-01 13:19:33 +01:00
Daira Hopwood a918bbc6d7 protocol/Makefile: add `discard` target, and make the `linkcheck` target depend on `all-specs`.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-09-01 13:17:06 +01:00
Daira Hopwood 0d2b01e602 Cosmetics (captialization of ZKProof).
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-09-01 11:44:16 +01:00
Daira Hopwood b7f0a0bd0d Correct a minor error in the proof of \theoremref{thmsinsemillacr}:
the condition SinsemillaHashToPoint(D, M) ≠ ⊥ is required in the proof.
(The case SinsemillaHashToPoint(D, M) = ⊥ is covered by \theoremref{thmsinsemillaex}.)
The proof had not been updated correctly when the statement was revised in v2021.2.0.
Also add a missing D argument to SinsemillaHashToPoint in that proof.

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-09-01 11:44:16 +01:00
Daira Hopwood 324c9ae7b9 Add \zcashdref for referencing zcashd versions (also \zebraref which is currently unused).
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-09-01 11:44:16 +01:00
Daira Hopwood 7e5272e70b Add \historyref for referencing Change History versions.
Also fix an incorrect reference to v2019.0-beta-40 that should be v2019.0.0.

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-09-01 11:44:16 +01:00
Eran Tromer 42e05529a4
ZIP 307: clarify that epk is needed
The current phrasing implies the 580-byte memo ciphertext suffices for detection. Clarify that the 32-byte ephemeral public key is also needed.

Also added "public" to "ephemeral key" further down.
2021-08-25 19:29:49 -04:00
Daira Hopwood 93e5ec04fe
Merge pull request #543 from daira/zip-155
Add ZIP 155 (addrv2 message), and update ZIP 252 to reference it
2021-08-23 16:01:40 +01:00
Daira Hopwood 7dc6682326 Only say that valid, potentially routable addresses SHOULD be gossiped.
(It is up to the node implementation what addresses on each network are considered valid
and potentially routable.)

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-08-23 15:58:52 +01:00
Daira Hopwood e179eb88c7 ZIP 401: update for wtxid.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-08-23 15:49:09 +01:00
Daira Hopwood fc6e752b05 ZIP 155: regenerate HTML.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-08-17 15:50:43 +01:00
Daira Hopwood a9fa1f4d18
Apply suggestions from code review 2021-08-17 15:49:56 +01:00
Daira Hopwood 955a81e9bd
Apply changes from ZIP sync review
Co-authored-by: Deirdre Connolly <deirdre@zfnd.org>
2021-08-17 15:47:42 +01:00
Daira Hopwood 40bf218f1b
Merge pull request #544 from zancas/patch-3
Typo Fix:  Update zip-0201.rst
2021-08-16 21:41:50 +01:00
Daira Hopwood acf3d949eb ZIP 201: regenerate HTML.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-08-16 21:41:05 +01:00
Za Wilcox df6aff4313
Update zip-0201.rst 2021-08-16 13:44:00 -06:00
Daira Hopwood 11b8688a1d Correct references to the title of ZIP 200.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-08-15 23:47:48 +01:00
Daira Hopwood 784c889d00 Change planned activation date of NU5 on mainnet to mid-to-late November 2021.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-08-15 23:45:29 +01:00
Daira Hopwood 57e0f6035d ZIP 155: clarify handling of `addr` messages.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-08-13 19:43:31 +01:00
Daira Hopwood 9d61bec954 ZIP 155: add Pull-Request field.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-08-13 17:43:48 +01:00
Daira Hopwood e77ba6bbf0 Add ZIP 155 (addrv2 message), and update ZIP 252 to reference it.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-08-13 17:41:49 +01:00
Daira Hopwood 473306e4d0 ZIP 252: Support for NU5 on testnet will be implemented in zcashd version 4.5.0, not 4.4.0.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-08-13 13:49:03 +01:00
Daira Hopwood b5e5276c4a Regenerate PDFs. 2021-08-12 21:48:43 +01:00
Daira Hopwood 3ebba2652a Set Change History entry date.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-08-12 21:44:17 +01:00
Daira Hopwood 8f8ef49618 Add Change History entry for fixing [ZIP-239] in the References.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-08-12 21:43:39 +01:00
Marek 01dbecefea Fix a typo in bibliography. 2021-08-12 21:40:29 +01:00
Daira Hopwood 219a4ef253 Clarify wording in the Change History entry for v2021.2.13.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-08-12 21:38:20 +01:00
Daira Hopwood 8718157af0 Reword the reference to a Sapling full viewing key in \crossref{saplingdummynotes}
(the full viewing key would include ovk, although it is not used in that section).

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-08-12 21:37:35 +01:00
Daira Hopwood b2e0184fe5 ZIP 211: wording improvement suggested by Canopy audit.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-08-04 15:35:46 +01:00
Daira Hopwood cdb30d10ca ZIP 215: add a citation for reference to https://zips.z.cash/protocol/protocol.pdf#concreteed25519
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-08-04 15:22:46 +01:00
str4d 88bc08b6e3
Merge pull request #538 from daira/zip-316-update
ZIP 316: Define HRPs for Unified Viewing Keys, and include the HRP in the padding
2021-07-30 14:53:05 +01:00
Daira Hopwood 0ae051226e Regenerate PDFs. 2021-07-29 17:35:14 +01:00
Daira Hopwood 045a3a9e54 Cosmetics.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-07-29 17:30:21 +01:00
Daira Hopwood a6fd0153d2 Add a consensus rule in \crossref{merkletree} that a block MUST NOT add note commitments that
exceed the capacity of each of the Sprout, Sapling, and Orchard note commitment trees.

Also add a cross-reference for constants used in \crossref{merkletree}.

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-07-29 17:30:21 +01:00
Daira Hopwood 8b8761b302 Regenerate PDFs. 2021-07-29 15:48:31 +01:00
Daira Hopwood 1aefc848bf Change the number of partial rounds, R_P, for Poseidon from 58 to 56.
This matches the number calculated by `calc_round_numbers.py` (for 128-bit security "with margin")
in Version 1.1 of the Poseidon reference implementation.

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-07-29 15:43:24 +01:00
Daira Hopwood cecfb9b0e4 Regenerate PDFs. 2021-07-20 06:05:58 +01:00
Daira Hopwood 411f39e231 Change the definition of inputs to the action circuit to split enableSpends and enableOutputs
into two field elements.

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-07-20 06:00:31 +01:00
Daira Hopwood 5e0769d295 Include the Human-Readable Part in the padding used to check for malleation.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-07-13 23:51:02 +01:00
Daira Hopwood 5d98ec714a Add Human-Readable Parts for UVKs.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-07-13 23:50:01 +01:00
Daira Hopwood 8c510a1415 Regenerate PDFs. 2021-07-13 15:55:15 +01:00
Daira Hopwood 36e2059de0 Set Change History entry date.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-07-13 15:50:46 +01:00
Daira Hopwood ffd97926a8 Clarify in \crossref{transactions} that the remaining value in a transparent transaction value pool
is only available to miners as a fee in the case of non-coinbase transactions, and that the remaining
value in the transparent transaction value pool of a coinbase transaction is destroyed.

Co-authored-by: Teor <teor@riseup.net>
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-07-13 15:50:46 +01:00
teor e628134536 Make heightBytes encoding match NU5 coinbase nExpiryHeight
Since nExpiryHeight is limited to `2^32 - 1`, heightBytes is limited to 5 bytes.

Co-authored-by: Teor <teor@riseup.net>
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-07-13 15:50:46 +01:00
Daira Hopwood 819761ef67 Cosmetics.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-07-13 15:50:46 +01:00
Daira Hopwood 8c7b2f2a95 Add cross-references for CanopyActivationHeight, ZIP212GracePeriod, and BlockHeight.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-07-13 15:50:46 +01:00
Daira Hopwood 0ad0d3d57a Clarify that decomposition of scalars for scalar multiplication in the action circuit MUST be canonical,
unless a non-canonical decomposition can be proven to result in an equivalent statement -- and clarify
for which multiplications the latter case applies.

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-07-13 15:50:46 +01:00