Daira Hopwood
cad4baf2e1
Protocol spec: silence overfull/underfull hbox warnings from the theorem list.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-08-07 11:18:57 +01:00
Daira Hopwood
6dc1d7fff0
Protocol spec: silence a spurious warning from imakeidx.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-08-07 11:18:57 +01:00
Daira Hopwood
fa484ecbeb
Regenerate PDFs.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-07-23 15:07:29 +01:00
Daira Hopwood
8d14678190
Protocol spec: set date of Change History entry. Also fix a typo.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-07-23 15:04:31 +01:00
Daira Hopwood
7e8ff18f82
Protocol spec: more vertical spacing fixes.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-07-23 14:58:28 +01:00
Daira Hopwood
70e920e1c8
Protocol spec: minor wording changes, added cross-references, and better "changed" marking.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-07-23 14:14:01 +01:00
Daira Hopwood
b684ce88e2
Protocol spec: cosmetics.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-07-23 13:48:42 +01:00
Daira Hopwood
9ac2beeed8
Protocol spec: add some index macros.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-07-23 13:48:42 +01:00
Daira Hopwood
8e52e03761
Protocol spec: vertical spacing cosmetics.
...
(The new macro definitions for notes, consensus rules, etc. generally require fewer
and/or smaller spacing adjustments.)
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-07-22 22:34:46 +01:00
Daira Hopwood
4379eaf89c
Add support for showing labels, by clicking on any title.
...
This will not work in all PDF readers, but it works in enough readers to be useful.
Also add a list of theorems and lemmata.
This required switching to the ntheorem package rather than amsthm.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-07-22 22:19:23 +01:00
Daira Hopwood
8579893230
Protocol spec: cosmetics.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-07-11 17:57:39 +01:00
Daira Hopwood
4eed11f925
Changes needed to support TeXLive 2019.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-07-11 17:57:22 +01:00
Daira Hopwood
234e0faf0b
Regenerate PDFs.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-07-09 00:06:35 +01:00
Daira Hopwood
0ab4949653
Protocol spec: set date of Change History entry.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-07-08 22:59:16 +01:00
Daira Hopwood
8570f6f5a6
Protocol spec: use microtype package.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-07-08 22:58:17 +01:00
Daira Hopwood
7656d39204
Protocol spec: cosmetics.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-07-08 22:57:50 +01:00
Daira Hopwood
76bfab70a1
Protocol spec: correct an omission in the Change History.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-07-08 22:56:55 +01:00
Daira Hopwood
fe92918c87
Protocol spec: add labels to all sections (for external referencing).
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-07-08 22:56:19 +01:00
Daira Hopwood
77ebb8614a
Protocol spec: improvements to indexing.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-07-08 22:53:39 +01:00
Daira Hopwood
6e2b8f0ebf
Protocol spec: Initial index support.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-07-08 22:42:16 +01:00
Daira Hopwood
a5e5f3e307
Protocol spec: Makefile fixes for nolatexmk targets.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-07-08 22:14:28 +01:00
Daira Hopwood
8adfcb5ce0
Protocol spec: Experimental LuaLaTeX and XeLaTeX support. refs #249
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-07-08 22:12:54 +01:00
Daira Hopwood
fca48cf94f
Protocol spec: README corrections.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-07-08 21:44:00 +01:00
Daira Hopwood
3e027d2126
Fix typos in comments about the (no longer used) newtxmath package.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-07-05 13:46:26 +01:00
Daira Hopwood
7b7eb100b4
Regenerate PDFs.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-06-19 00:00:41 +01:00
Daira Hopwood
ecc92df195
Correct a misstatement in the security argument for balance / binding signatures.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-06-18 23:53:35 +01:00
Daira Hopwood
8fddbe438c
Protocol spec: specify which changes in this version are for Sapling, and LaTeX comment nits.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-06-18 23:52:43 +01:00
Daira Hopwood
847a002eff
Clarify that Theorem 5.4.2 depends on the parameters of the Jubjub curve.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-06-18 23:52:43 +01:00
Daira Hopwood
f4f4682d57
Give a definition for complete twisted Edwards elliptic curves.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-06-18 23:52:43 +01:00
Daira Hopwood
2379ba88d7
Protocol spec: cosmetics.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-06-18 23:52:43 +01:00
Daira Hopwood
2766855113
Protocol spec: silence useless warnings on first latex run.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-06-18 22:34:04 +01:00
Daira Hopwood
6e3ff4364e
Protocol spec: resolve bibliography warnings.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-06-18 22:33:10 +01:00
Daira Hopwood
a1cb36a19a
Protocol spec: fix optimization and links.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-06-18 22:32:14 +01:00
Daira Hopwood
af95317ce7
Protocol spec: fix incompatibility with recent TeXLive.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-06-18 22:29:50 +01:00
Daira Hopwood
d39ed004f6
Regenerate PDFs.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-05-20 11:12:00 +01:00
Daira Hopwood
7152d677c8
Use IsBlossomActivated in the definition of FounderAddressAdjustedHeight for consistency.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-05-20 11:09:19 +01:00
Daira Hopwood
c699bd4ba1
Minor fix to the list of integer constants in the Notation section.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-05-20 11:08:53 +01:00
Daira Hopwood
40e609444d
Regenerate PDFs.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-05-01 11:21:21 +01:00
Daira Hopwood
6e32abdfaa
Adjust revision date and version. (No longer beta! Wooo! :3 )
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-05-01 11:02:42 +01:00
Daira Hopwood
07334dad30
Correction to FounderAddressAdjustedHeight.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-05-01 10:59:21 +01:00
Daira Hopwood
1a00b68e7e
Cosmetics.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-05-01 10:59:21 +01:00
Daira Hopwood
ea346eaca8
Add type declarations for height in difficulty adjustment functions.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-05-01 10:59:21 +01:00
Daira Hopwood
65d43bfac4
Correct an error pointed out in NCC's Blossom audit affecting the first 10 blocks of the chain.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-05-01 10:59:07 +01:00
Daira Hopwood
1258385ab5
Add reference to [SVPBABW2012] for the idea of using multiplicative inverses for nonzero constraints.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-05-01 10:57:45 +01:00
Daira Hopwood
feae1e7e12
Fix a spec error in Founders' Reward calculation during slow start period.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-05-01 10:57:31 +01:00
Daira Hopwood
5e5413f536
Adjust Founders' Reward payment.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-05-01 10:43:05 +01:00
Daira Hopwood
b934946949
Revert "ZIP 207 changes"
...
This reverts commit d6ed011d5e
.
Co-authored-by: Jack Grigg <jack@z.cash>
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-05-01 10:43:05 +01:00
Daira Hopwood
7f17eaaab1
Regenerate PDFs.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-04-18 17:28:39 +01:00
Daira Hopwood
395af7f309
Cosmetics and Change History date.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-04-18 17:24:36 +01:00
Daira Hopwood
18184803f4
The block time is not 2.5 minutes after Blossom activation.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-04-18 17:24:16 +01:00
Daira Hopwood
6d714ee508
Add acknowledgement to Mary Maller for the observation that
...
diversified address unlinkability can be proven in the same
way as key privacy for ElGamal.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-04-18 17:23:54 +01:00
Daira Hopwood
81b9eaf515
Zerocoin Electric Coin Company -> Electric Coin Company.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-04-18 17:22:46 +01:00
Daira Hopwood
4faaf8d305
Use "ctEdwards" to refer to complete twisted Edwards curves.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-04-18 17:21:22 +01:00
Daira Hopwood
b4e384cb22
Regenerate PDFs.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-04-18 17:17:05 +01:00
Daira Hopwood
e47ed372d4
Add Change History entries for protocol spec README and Makefile.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-04-18 17:06:41 +01:00
Daira Hopwood
3c0fd3f56c
Update protocol/README.rst for Blossom changes.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-04-18 17:04:35 +01:00
Daira Hopwood
03e3e19a4f
Update git commits for sam2p and pdfsizeopt.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-04-18 17:03:40 +01:00
Daira Hopwood
cca702c505
Fix Makefile bugs.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-04-18 17:03:25 +01:00
str4d
9c65d64012
Merge pull request #209 from str4d/zips-207-208
...
Update protocol spec with ZIPs 207 and 208
2019-03-08 17:59:17 +13:00
Daira Hopwood
ce803ea0b4
Correct generators for BLS12-381.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-02-24 05:59:14 +00:00
Daira Hopwood
86319cfe89
Address Daira's review comments.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-02-24 02:06:23 +00:00
Daira Hopwood
5cf59663d9
Cosmetics.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-02-24 02:05:58 +00:00
Daira Hopwood
4284a49a20
Add bibliography entries for ZIPs 207 and 208.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-02-24 02:02:54 +00:00
Daira Hopwood
fa41eae110
Fix a Makefile bug.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-02-24 02:02:16 +00:00
Jack Grigg
d6ed011d5e
ZIP 207 changes
2019-02-23 19:21:19 +00:00
Jack Grigg
2fc1b8cc9c
ZIP 208 changes
...
Includes additional changes to constants in sections 7.7 and 7.8 which
are needed to compile, and not part of ZIP 208, but will be altered by
ZIP 207.
2019-02-23 19:21:17 +00:00
Daira Hopwood
1fa1a91f32
Regenerate PDFs (including the new blossom.pdf).
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-02-22 13:54:50 +00:00
Daira Hopwood
5097fc7c4e
Add macros and Makefile support for building the Blossom specification.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-02-22 13:49:08 +00:00
Daira Hopwood
7f435cd37d
Fix a typo in appendix B.2 and clarify the costs of Groth16 batch verification.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-02-22 13:49:08 +00:00
Daira Hopwood
f3c5ed99e2
Remove the rule that miners SHOULD NOT mine blocks that chain to other blocks with version number > 4.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-02-22 13:49:08 +00:00
Daira Hopwood
06725e94b9
Correct the rule about when a transaction is permitted to have no transparent inputs.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-02-22 13:34:25 +00:00
Daira Hopwood
95d95bc4c4
Clarify which transaction fields are added by Overwinter and Sapling.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-02-22 13:33:39 +00:00
Daira Hopwood
8e9171d512
Clarify that Equihash is based on a *variation* of the GBP, and cite [AR2017].
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-02-22 13:17:07 +00:00
Daira Hopwood
c57d51d7a0
More references and corrected description of Groth16.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-02-22 12:49:22 +00:00
Daira Hopwood
0b626b087a
Regenerate PDFs.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-02-10 03:30:26 +00:00
Daira Hopwood
ba949107ab
Correct isis agora lovecruft's name.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-02-10 03:20:47 +00:00
Daira Hopwood
2dc3a10bfe
Regenerate PDFs.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-02-09 01:02:01 +00:00
Daira Hopwood
64c268fdd7
Add Eirik Ogilvie-Wigley and Benjamin Winston to acknowledgements.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-02-09 01:00:03 +00:00
Daira Hopwood
fb9faa3835
Cosmetics.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-02-09 00:37:00 +00:00
Daira Hopwood
0988966fdc
Remaining fixes and clarifications for BCTV14 vulnerability.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-02-09 00:37:00 +00:00
Daira Hopwood
e17905a0a3
Specify the difficulty adjustment change on testnet.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-02-09 00:37:00 +00:00
Daira Hopwood
d4a9158323
Say when Sapling activated, and reference ZIP 205.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-02-09 00:37:00 +00:00
Daira Hopwood
d18edb4abc
Rename zk-SNARK Parameters sections according to the proving system.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-02-08 22:59:38 +00:00
Daira Hopwood
0d8430799c
Correct [SBB2019] to [SWB2019], and note that the BCTV14 vulnerability affected Soundness.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-02-05 19:29:31 +00:00
Daira Hopwood
36eeeba15e
Regenerate PDFs.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-02-05 16:55:42 +00:00
Daira Hopwood
9a7ebd326e
Disclose BCTV14 vulnerability.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-02-05 16:45:09 +00:00
Daira Hopwood
9515d73aac
Regenerate PDFs.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2018-11-14 02:05:26 +00:00
Daira Hopwood
680af418cf
Fill in another constraint cost.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2018-11-14 02:02:17 +00:00
Daira Hopwood
af17ba2485
Adjust the notation used for scalar multiplication in Appendix A to allow bit sequences as scalars.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2018-11-14 02:01:59 +00:00
Daira Hopwood
9aba6af281
Cosmetics.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2018-11-14 02:01:01 +00:00
Daira Hopwood
538d1f1eb0
Add a description of the Sapling output circuit.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2018-11-14 01:05:39 +00:00
Daira Hopwood
79b3d81e42
Complete the description of the Sapling spend circuit.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2018-11-13 23:15:54 +00:00
Daira Hopwood
5531006f08
Fix or complete various calculations of constraint costs.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2018-11-13 23:11:53 +00:00
Daira Hopwood
7419c0a366
Describe 2-bit window lookup with conditional negation.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2018-11-13 23:09:34 +00:00
Daira Hopwood
39b498fed9
Remove a todo.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2018-11-13 22:07:18 +00:00
Daira Hopwood
0835c3837e
Modify the description of fixed-base scalar multiplication to match sapling-crypto.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2018-11-13 22:06:36 +00:00
Daira Hopwood
2f868aca8d
Add LEBStoIP.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2018-11-13 22:00:41 +00:00
Daira Hopwood
43e83effb4
Regenerate PDFs.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2018-10-24 16:18:39 +01:00
Daira Hopwood
e24f7cede5
Clarify the description of the Merkle path check in Appendix A.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2018-10-24 16:14:28 +01:00
Daira Hopwood
066d424d3a
Correct the input to H⊛ used to derive the nonce r in RedDSA.Sign, from T || M to T || _vk_ || M.
...
This matches the sapling-crypto implementation; the spec was unintentionally changed in 2018.0-beta-20.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2018-10-24 16:14:28 +01:00