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 |
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
|
67868fd21c
|
Regenerate PDF.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2017-02-04 04:39:41 +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
|
739abb13f4
|
Regenerate PDF.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2017-01-20 04:33:24 +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
|
4dd33d9db6
|
Regenerate PDF.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2017-01-09 19:12:09 +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 |
Daira Hopwood
|
01a4f5141a
|
Update the hashes of proving and verifying keys for the final Sprout parameters. fixes #99
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2017-01-06 21:27:25 +00:00 |
Daira Hopwood
|
a90e3aefec
|
Regenerate PDF.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2016-12-19 21:18:09 +00:00 |
Daira Hopwood
|
b60fb345df
|
Cosmetics.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2016-12-19 21:14:17 +00:00 |
Daira Hopwood
|
31cc757c58
|
Note that due to an oversight, the Zcash genesis block does not follow BIP-34.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2016-12-19 21:14:17 +00:00 |
Daira Hopwood
|
60b787eed4
|
Specify a check on the order of pi_B in a zk-proof.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2016-12-19 21:14:17 +00:00 |
Daira Hopwood
|
939cce4562
|
Regenerate PDF.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2016-10-30 02:07:29 +00:00 |
Daira Hopwood
|
9970c98439
|
Update reference to the Equihash paper.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2016-10-30 02:06:42 +00:00 |
Daira Hopwood
|
0e65f7fc9c
|
Clarify the discussion of proof size.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2016-10-30 02:03:51 +00:00 |
Daira Hopwood
|
30d6ea7129
|
Regenerate PDF.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2016-10-28 04:41:49 +01:00 |
Daira Hopwood
|
2596dda01d
|
Add Founders' Reward addresses for the production network.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2016-10-28 04:40:46 +01:00 |
Daira Hopwood
|
a3aba45fa5
|
Protected -> shielded.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2016-10-28 04:39:04 +01:00 |
Daira Hopwood
|
11e373a33b
|
Regenerate PDF.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2016-10-04 22:07:31 +01:00 |
Daira Hopwood
|
6f6847ea84
|
Add Contents to PDF index.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2016-10-04 22:06:26 +01:00 |
Daira Hopwood
|
af4b9a0f53
|
Update address prefixes again. refs zcash/zcash#812
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2016-10-04 21:11:44 +01:00 |
Daira Hopwood
|
2ccd1ac58a
|
Add reference to Bitcoin protocol doc.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2016-10-03 07:15:19 +01:00 |
Daira Hopwood
|
83acc60074
|
OP_CODESEPARATOR has been disabled, and no longer affects signature hashes.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2016-10-03 07:12:56 +01:00 |
Daira Hopwood
|
488e8f443c
|
Correct the representation type of the block nVersion field to uint32_t.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2016-10-03 07:11:58 +01:00 |
Daira Hopwood
|
3dd475ea77
|
Specify lead bytes for P2SH and P2PKH addresses.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2016-10-03 07:11:04 +01:00 |
Daira Hopwood
|
891f21bac9
|
Add a section on which BIPs apply to Zcash. fixes #87
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2016-10-02 22:26:28 +01:00 |
Daira Hopwood
|
61aa04e01b
|
Change the representation type of vpubOld and vpubNew to be unsigned.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2016-10-02 18:27:30 +01:00 |
Daira Hopwood
|
63fb1c275c
|
Regenerate PDF.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2016-10-02 04:02:21 +01:00 |
Daira Hopwood
|
6e2d907191
|
Cosmetics.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2016-10-02 04:00:59 +01:00 |
Daira Hopwood
|
e66abc29e0
|
Clarify Founders' Reward consensus rule. fixes #63
refs https://github.com/zcash/zcash/issues/1460
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2016-10-02 04:00:59 +01:00 |
Daira Hopwood
|
ea1d2053ed
|
Regenerate PDF.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2016-09-26 21:33:30 +01:00 |
Daira Hopwood
|
6f2526bddf
|
Refine magenta highlighting.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2016-09-26 21:32:08 +01:00 |
Daira Hopwood
|
ccd8cdb5b1
|
Make the notation for sampling from randomized algorithms more explicit.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2016-09-26 21:31:38 +01:00 |
Daira Hopwood
|
dbfba45abf
|
Add a note about PRF^nf corresponding to PRF^sn in \Zerocash.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2016-09-26 17:26:16 +01:00 |
Daira Hopwood
|
c56507447c
|
Clarify a note about SU-CMA security for signatures.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2016-09-26 17:24:55 +01:00 |
Daira Hopwood
|
414610c5ac
|
Add acknowledgements for John Tromp, Paige Peterson, Maureen Walsh, Jay Graber, and Jack Gavigan.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2016-09-26 17:06:31 +01:00 |
Daira Hopwood
|
979d10a4c7
|
Clarify why BLAKE2b-l is different from truncated BLAKE2b-512.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2016-09-26 17:06:31 +01:00 |
Daira Hopwood
|
7e9e88b5e5
|
Fix an error in the definition of the sortedness condition for Equihash.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2016-09-26 17:06:31 +01:00 |
Daira Hopwood
|
5052394759
|
Correct the number of bytes in the encoding of solutionSize.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2016-09-26 17:06:31 +01:00 |
Daira Hopwood
|
7c126822bb
|
Update encoding of transparent addresses
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2016-09-26 17:06:31 +01:00 |
Daira Hopwood
|
f1e7a06818
|
Add note about the 256-bit key for AEAD_CHACHA20_POLY1305.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2016-09-24 04:09:31 +01:00 |
Daira Hopwood
|
1e69529de3
|
Regenerate PDF.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2016-09-22 17:08:15 +01:00 |
Daira Hopwood
|
549641cb0a
|
Clarifications partly addressing Eli's review.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2016-09-22 17:04:52 +01:00 |
Daira Hopwood
|
1a467ea267
|
Update testnet Founders' Reward addresses.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2016-09-22 16:10:05 +01:00 |
Daira Hopwood
|
70d38440be
|
Regenerate PDF.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2016-09-19 02:49:12 +01:00 |
Daira Hopwood
|
8cb0f10b25
|
Specify block subsidy, miner subsidy, and Founders' Reward.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2016-09-19 02:46:11 +01:00 |
Daira Hopwood
|
e192c35a0a
|
Minor wording fixes.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2016-09-19 02:44:18 +01:00 |
Daira Hopwood
|
c872968acf
|
Improvements to notation to remove ambiguity.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2016-09-19 01:57:28 +01:00 |
Daira Hopwood
|
8a0e10c520
|
Regenerate PDF.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2016-09-16 14:56:31 +01:00 |
Daira Hopwood
|
1edddf2d32
|
Update acknowledgements.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2016-09-16 14:53:25 +01:00 |
Daira Hopwood
|
11a2fe08c5
|
The JoinSplit proof is more precisely of type ZK_JoinSplit.Proof, not ZK.Proof.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2016-09-16 14:53:25 +01:00 |
Daira Hopwood
|
6dbda8500f
|
Correct the omission of solutionSize from the block header format, and
document that compactSize uintencodings must be canonical.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2016-09-16 14:53:25 +01:00 |
Daira Hopwood
|
14566c910d
|
Tweak to dates for RFCs in bibliography.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2016-09-16 14:48:07 +01:00 |
Daira Hopwood
|
ad36f17760
|
Add definition of conformance language.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2016-09-16 14:47:44 +01:00 |
Daira Hopwood
|
5a5a822016
|
Regenerate PDF.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2016-09-11 01:16:10 +01:00 |