Commit Graph

476 Commits

Author SHA1 Message Date
Daira Hopwood f565d642b4 Cosmetics.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-12-16 23:40:34 +00:00
Daira Hopwood 497f295c72 Add an encoding format for viewing keys.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-12-16 23:40:34 +00:00
Daira Hopwood fb456b8a38 Separate viewing keys (a_pk, sk_enc) from receiving keys sk_enc.
Also fix a minor error in the specification of note decryption.

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-12-16 23:40:34 +00:00
Daira Hopwood 8a36de79df Regenerate PDFs.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-12-02 02:11:41 +00:00
Daira Hopwood f330c9e59b Work in progress for Sapling.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-12-02 02:04:39 +00:00
Daira Hopwood 44e989f741 Add NU0 to Sapling version of spec.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-12-02 02:03:23 +00:00
Daira Hopwood 1b394b58fa Add Groth16 proving system, and split Sprout and Sapling statements.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-12-02 02:00:10 +00:00
Daira Hopwood 50cda40f7b HTML generation.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-12-02 01:39:17 +00:00
Daira Hopwood 4a94c063c4 Generalization needed for Sapling: represented groups and pairings.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-12-02 01:03:17 +00:00
Daira Hopwood 2d80ec90d3 Support for subsubsubsections.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-08-03 16:07:05 +01:00
Daira Hopwood 6241003d1b Bibliography tweaks.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-08-03 16:05:29 +01:00
Daira Hopwood e73c7c04fd Refine macros for Sapling version of spec.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-08-03 15:58:28 +01:00
Daira Hopwood b1113c131c zcash.bib: use Unicode.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-08-03 15:58:12 +01:00
Daira Hopwood 83618bd71b Makefile changes to support latexmk and building sapling.pdf.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-07-26 11:38:26 +01:00
Daira Hopwood 2608958c59 Add Makefile/macro support for producing the Sapling version of the spec.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-07-11 07:58:57 +01:00
Daira Hopwood fc73e03c12 Regenerate PDF.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-07-10 05:38:35 +01:00
Daira Hopwood c4d9a90ea9 Fix an off-by-one error in the specification of the Equihash algorithm binding condition.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-07-10 05:36:52 +01:00
Daira Hopwood 215aca1c15 Correct the types and consensus rules for tx and block version numbers.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-07-10 05:35:56 +01:00
Daira Hopwood a197958131 Clarify the computation of h_i in a JoinSplit statement.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-07-09 22:13:20 +01:00
Daira Hopwood 93a8881f9b Regenerate PDF.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-05-11 07:46:23 +01:00
Daira Hopwood 0e6e7327f8 The error concerning nTime in the Bitcoin Developer Reference has been corrected.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-05-09 01:24:30 +01:00
Daira Hopwood eb7970142f Be more precise when talking about curve points and pairing groups.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-05-09 01:23:27 +01:00
Daira Hopwood b2f78a33cc Cosmetics.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-05-09 01:17:56 +01:00
Daira Hopwood f189fb122f Remove unneeded bold-extra package.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-03-08 01:14:37 +00:00
Daira Hopwood 26b3c254f1 Improved (AMS) blackboard math font.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-03-08 01:14:12 +00:00
Daira Hopwood 051044253e Regenerate PDF.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-03-07 21:00:19 +00:00
Daira Hopwood 1cb178753b Merge branch 'zips115.update-testnet-fr-addresses.1'
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-03-07 20:57:53 +00:00
Daira Hopwood bbae605075 Cosmetics (font in subscript of Sym.{Encrypt,Decrypt}).
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-03-07 20:54:12 +00:00
Daira Hopwood 248567fbcd Correct a statement about indistinguishability of JoinSplit descriptions.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-03-07 20:53:25 +00:00
Daira Hopwood d4bfecea9b Correct the order of arguments to COMM in its instantiation.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-03-07 20:52:53 +00:00
Daira Hopwood 91895ee7a7 Clarify what a note commitment opens to in 'Omission in Zerocash security proof' section.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-03-07 20:52:04 +00:00
Daira Hopwood 5fe9d6d525 Clarify the consensus rule preventing double-spends.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-03-04 23:25:28 +00:00
Daira Hopwood e81610adb4 Change the Founders' Reward addresses, for the test network only, to
reflect https://github.com/zcash/zcash/issues/2113 . fixes #115

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-02-27 20:48:47 +00:00
Daira Hopwood b34edb5e40 Regenerate PDF.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-02-25 06:27:07 +00:00
Daira Hopwood 6b89a6d618 Pagination.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-02-25 06:25:53 +00:00
Daira Hopwood 920186e24e Generalize the description of the InternalH attack to include finding collisions on (a_pk, rho).
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-02-25 06:25:38 +00:00
Daira Hopwood 95fa51d785 Explain a variation on the Faerie Gold attack and why it is prevented.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-02-25 06:24:47 +00:00
Daira Hopwood f6da7897d8 Rename enforce to enforceMerklePath.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-02-25 06:23:37 +00:00
Daira Hopwood d1adee3045 Unindent second paragraph of abstract. fixes #108
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-02-21 20:35:35 +00:00
Daira Hopwood ca59a53109 Regenerate PDF.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-02-12 05:55:33 +00:00
Daira Hopwood 6a3b4b1f8a Explain the use of interstitial treestates in chained JoinSplits. fixes #82
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-02-12 05:52:59 +00:00
Daira Hopwood 63e5bba91a Specify G_2 more precisely.
(We use the same notation as in [BGG2016], but explicitly give the
representation of xi as a polynomial modulo t^2 + 1, which is taken from
71883bc168/src/algebra/curves/alt_bn128/alt_bn128_init.cpp (L135) .)

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-02-12 05:51:31 +00:00
Daira Hopwood 6e63920461 Specify security requirements on SHA256Compress for COMM to be a secure commitment.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-02-12 05:44:15 +00:00
Daira Hopwood 9641a7a0a5 CryptoNote is a protocol so should be boldfaced, like Zcash, Zerocash and Bitcoin.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-02-12 00:02:23 +00:00
Daira Hopwood eb75858bc0 Regenerate PDF.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-02-11 23:55:08 +00:00
Daira Hopwood 693b3a7708 Reference the white paper on MPC parameter generation
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-02-11 23:54:35 +00:00
Daira Hopwood d6f015c1e5 Give a definition of statistical zero knowledge.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-02-11 23:53:38 +00:00
Daira Hopwood 8de5358871 Specify the maximum block size. fixes #91
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-02-06 06:30:25 +00:00
Daira Hopwood 0f87dae7a8 \ell_Merkle is a bit length, not a byte length.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-02-06 06:30:25 +00:00
Daira Hopwood 5b95343f4a Cosmetics: vertical spacing and pagination.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-02-06 03:37:01 +00:00