Commit Graph

387 Commits

Author SHA1 Message Date
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 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 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 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 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 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 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 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
Daira Hopwood 335cf44064 Clarify wording of consensus rule for transparent value pool.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-02-06 03:37:01 +00:00
Daira Hopwood b123d3bd67 Add [0]^\ell to the Notation section.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-02-06 01:23:09 +00:00
Daira Hopwood 2307cc9d4d Delete redundant "The notation ..." in Notation section.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-02-06 01:22:20 +00:00
Daira Hopwood 3133bbb04d Delete commented-out bit/byte order examples.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-02-06 01:20:34 +00:00
Daira Hopwood e5e4054ddb Cosmetics and minor wording changes.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-02-04 04:36:12 +00:00
Daira Hopwood b6ae95bd2c Define how nodes select a best chain. fixes #97
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-02-04 04:36:12 +00:00
Daira Hopwood 91c5ec922d Split "The Block Chain" and "Transactions and Treestates" sections.
Remove the concept of 'block chain views'.

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-02-04 04:36:12 +00:00
Daira Hopwood b96212bb6e Fix a typo in the definition of nullifier integrity.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-02-04 04:04:59 +00:00
Daira Hopwood ed38112661 Add abstract and keywords.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-02-04 04:04:13 +00:00
Daira Hopwood 96b298f111 Add reference for DigiShield. (There doesn't appear to be any better reference than the source.)
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-01-20 04:31:45 +00:00
Daira Hopwood 43e6eb74d9 Call Nat, PosInt and Rat types rather than sets, for consistency.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-01-20 02:39:07 +00:00
Daira Hopwood f6b351de4c Zcash has been launched, so more care needs to be taken in reporting security bugs.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-01-20 02:38:12 +00:00
Daira Hopwood da7c5d9352 Specify difficulty adjustment.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-01-20 02:36:58 +00:00
Daira Hopwood b1186b35a3 Fixes to consensus rules and block header field descriptions.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-01-20 02:35:11 +00:00
Daira Hopwood c15a2f20af Cosmetics.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-01-20 02:26:22 +00:00
Daira Hopwood 963f042eb9 Improve pagination.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-01-20 02:24:49 +00:00
Daira Hopwood 1982700426 Improve macros for list comprehensions, case expressions, and formula blocks.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-01-19 22:46:40 +00:00
Daira Hopwood 90563ab376 Define PRF^addr in section 4.2.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-01-09 19:53:02 +00:00
Daira Hopwood 6500e7be27 Add cross references from payment address and spending key encoding sections
to where the key components are specified.

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-01-09 19:10:53 +00:00