Commit Graph

2883 Commits

Author SHA1 Message Date
Daira Hopwood 59a220d59e Change the types of cm_x, Uncommitted^Orchard, and ak in Orchard to { 0 .. q_P-1 },
avoiding type errors and reflecting the implementation in zcashd. This eliminates all uses of P_x
(except that ak in an Orchard full viewing key is still required to be a valid Pallas affine
x-coordinate). Also clarify the coordinate system whenever we refer to coordinates.

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2022-01-03 22:15:14 +00:00
Daira Hopwood b6e00e0d41 Refine the security argument in the note about partitioning oracle attacks.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2022-01-03 22:15:14 +00:00
Daira Hopwood 1571c1b345 ZIP 316: update Feistel diagrams to include border (needed for dark mode), and add source SVG files.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-12-31 16:24:58 +00:00
Daira Hopwood 75ae51c6b2 CSS: support dark mode.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-12-31 13:58:40 +00:00
Daira Hopwood ae78770474 CSS: fix heading bottom padding.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-12-30 10:14:23 +00:00
Daira Hopwood cfba8e4c59 CSS: tweak heading sizes and spacing.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-12-30 10:05:49 +00:00
Daira Hopwood abb898f484 ZIP 244: fix heading levels for Orchard digests.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-12-30 10:05:16 +00:00
Daira Hopwood dfd7a5a561 ZIP 244: add Jack Grigg to authors.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-12-30 10:03:12 +00:00
Daira Hopwood ee70cc53c3 ZIP 316: update Acknowledgements.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-12-28 15:30:44 +00:00
Daira Hopwood 1d75ed6548 ZIP 316: more changes to include UVKs and Metadata Items where applicable.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-12-28 15:30:15 +00:00
Daira Hopwood 200e243e14
Merge pull request #575 from daira/zip-316-key-structure-and-change
[ZIP 316] Change to item ordering; clarifications of metadata/experimental usage; and correction to rationale
2021-12-28 13:43:23 +00:00
Daira Hopwood fbad8acac0 ZIP 316: regenerate HTML.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-12-28 13:40:13 +00:00
Daira Hopwood 2d5159361e ZIP 316: add rationale for unlinkable address derivation, with a caveat about Metadata Items.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-12-28 13:39:01 +00:00
Daira Hopwood b7e69cc10a ZIP 316: add rationale for requiring ordering by Typecode.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-12-28 13:39:01 +00:00
Daira Hopwood e8df7fbb65 ZIP 316: unrecognized metadata items should be dropped when deriving UFVK -> UIVK and UIVK -> UA.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-12-28 13:14:17 +00:00
Daira Hopwood 06b945bfe7 ZIP 316: change ordering of items.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-12-22 19:08:13 +00:00
Daira Hopwood 22840e1fc5 ZIP 316: clarify usage of Metadata Items and experiments.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-12-22 19:07:46 +00:00
Daira Hopwood 1a59063e81 ZIP 316: correct the rationale for the minimum size of the Bech32m-decoded byte sequence.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-12-22 19:07:19 +00:00
Daira Hopwood 227db1e047
Merge pull request #564 from daira/zip-ivk-changes
ZIPs 32 and 316: Refine how IVK components are derived, and other cleanups
2021-12-08 23:49:47 +00:00
Daira Hopwood 12a1678681 ZIPs 32 and 316: Regenerate HTML.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-12-08 23:47:06 +00:00
Daira Hopwood 4a23875519 ZIP 316: Clarify derivation of P2PKH IVK from FVK.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-12-08 23:46:09 +00:00
Deirdre Connolly 96c5ad3f69 ZIP 316: Clarify position of Transparent IVKs in the key tree.
Co-authored-by: Kris Nuttycombe <kris.nuttycombe@gmail.com>
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-12-08 23:34:12 +00:00
Deirdre Connolly 110fe1a84e ZIP 316: Update wording for Transparent P2PKH Receiver derivation.
Co-authored-by: Deirdre Connolly <deirdre@zfnd.org>
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-12-08 23:32:02 +00:00
Deirdre Connolly 682308e33b ZIP 32: There will not be a zcashd 4.5.2, there will be 4.6.0. 2021-12-08 21:24:55 +00:00
Daira Hopwood 0db40ef927 ZIP 32: Note that legacy Sapling addresses use hardened derivation for `address_index`. 2021-12-08 21:24:51 +00:00
Daira Hopwood d325f0b3b4 ZIP 316: Fix link.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-12-08 00:29:03 +00:00
Daira Hopwood 0e83a55a05 ZIP 316: Clarify requirements for HD-derived items and remove redundancy.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-12-08 00:27:08 +00:00
Daira Hopwood 208d9b39c1 ZIP 316: Update Sapling and transparent viewing key encodings.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-12-08 00:27:08 +00:00
Jack Grigg 026977744c ZIP 316: Fix bug in transparent constraint on diversifier index
The largest valid integer for any BIP 32 path element with a defined
hardening state (in this case, non-hardened) is 2^32 - 1 (being the
31-bit integer with all bits set to 1). The range of valid diversifier
indices for transparent-including UAs is defined as end-inclusive in
the ZIP, but used the end-exclusive bound 2^32.
2021-12-08 00:27:08 +00:00
Jack Grigg 78b7d8489f ZIP 32: Revert all refinements
The hardened change path approach is being dropped. ZIP 316 will include
separate amendments (to be made later) that derive change addresses
within each protocol's key tree, instead of at the spend authorization
level.
2021-12-08 00:27:08 +00:00
Daira Hopwood dfdb4242f5 ZIP 32: Change the address index used to derive "legacy" Sapling addresses to 0x7FFFFFFF.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-12-08 00:27:08 +00:00
Daira Hopwood 9a4df93e97 Cosmetics.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-12-08 00:27:08 +00:00
Daira Hopwood 5c402793c3 Corrections for Orchard Viewing Keys.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-12-08 00:27:08 +00:00
Daira Hopwood 880bf02301 Don't use UFVK or UIVK when referring to Viewing Key components.
(A UFVK or UIVK is properly only the whole thing.)

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-12-08 00:27:08 +00:00
Daira Hopwood b85a249a59 ZIP 316: clarify how P2PKH addresses are derived.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-12-08 00:27:08 +00:00
Daira Hopwood 4d0477ce5f ZIPs 32 and 316: refine how UIVK components are derived for Orchard and Transparent P2PKH.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-12-08 00:27:08 +00:00
Daira Hopwood 4d536ff421 ZIP 32: Add a note saying how zcashd uses a non-hardened `address_index` path level for Sapling.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-12-08 00:27:08 +00:00
Daira Hopwood 9dbe0a50f7 ZIP 32: minor wording changes.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-12-08 00:27:08 +00:00
Daira Hopwood ea53ac9d6f links_and_dests.py: fix false positive "Missing link target" errors for links into rendered BIPs.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-12-03 14:54:22 +00:00
Daira Hopwood c3dac4e458 Regenerate PDFs. 2021-12-01 18:16:14 +00:00
Daira Hopwood 82c4e49155 Set Change History entry date.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-12-01 18:09:12 +00:00
Daira Hopwood d6a33fc056 Add note about resistance of note encryption to partitioning oracle attacks \cite{LGR2021}.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-12-01 18:09:12 +00:00
Daira Hopwood 67a4b35dcd Add acknowledgement to Sasha Meyer.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-12-01 18:09:12 +00:00
Daira Hopwood eab1ef1a1a Add acknowledgement to Mihir Bellare for contributions to the science of zero-knowledge proofs.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-12-01 18:09:12 +00:00
Daira Hopwood 36252cebf6 Add "note commitment scheme" as a term.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-12-01 18:09:12 +00:00
Daira Hopwood 089a9cb8be Make consistent use of "spending authority", and add this term to the index.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-12-01 18:09:12 +00:00
Daira Hopwood 4da403f470 Add notes in each Appendix B that z_j may be sampled from {0 .. 2^{128}-1} instead of {1 .. 2^{128}-1}.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-12-01 18:09:12 +00:00
Daira Hopwood e539eeb9a8 ZIP 416: Change title to be more general than RPC support.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-12-01 18:07:44 +00:00
Daira Hopwood 49df75d888 ZIP 221: fix broken links.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-10-02 01:06:21 +01:00
Daira Hopwood 2398e1e012 ZIP 252: fix a reference to ZIP 155.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-10-02 00:53:26 +01:00