Daira Hopwood
0c060a7a4e
Add Change History date.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-08-23 15:25:48 +01:00
Daira Hopwood
6a92b3459e
Make the Blossom spec the default.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-08-23 15:25:37 +01:00
Daira Hopwood
c62ebaa504
Note that zcashd uses ZIP 32 extended spending keys instead of sk.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-08-23 15:24:57 +01:00
Daira Hopwood
ae16d11150
Cosmetics.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-08-23 15:14:48 +01:00
Daira Hopwood
f21cd8eb1b
Generalize the definition of c for the Pedersen hash so that people can apply it to other curves (if they're careful!)
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-08-22 19:16:27 +01:00
Daira Hopwood
1c7a9abee6
Correct the packing of nf^old into input elements in the Sapling Spend circuit. fixes #264
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-08-22 18:20:08 +01:00
Daira Hopwood
1cea0d7786
Remove unneeded \textbnx macro.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-08-22 18:17:20 +01:00
Daira Hopwood
8253c352b2
Add epigraph from Hunting of the Snark.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-08-22 18:16:33 +01:00
Daira Hopwood
8e21be9a73
Suppress insignificant "Overfull vbox" warnings.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-08-08 16:38:48 +01:00
Daira Hopwood
1147fe4eff
Make the label boxes link to the correct URL.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-08-08 16:37:46 +01:00
Daira Hopwood
588bc39a77
Protocol spec: note the change to the minimum-difficulty threshold time on the test network for Blossom.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-08-07 11:18:57 +01:00
Daira Hopwood
ccac68b60f
Protocol spec: cosmetics.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-08-07 11:18:57 +01:00
Daira Hopwood
7ea6510a05
Protocol spec: index improvements.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-08-07 11:18:57 +01:00
Daira Hopwood
fbacfdc358
Protocol spec: remove HTML Makefile targets.
...
The original intent was to allow external linking into the spec, but that never worked for
HTML, and is now possible with PDF. Also, the HTML output was very large, and typographically
unsatisfactory.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-08-07 11:18:57 +01:00
Daira Hopwood
7985249119
Protocol spec: remove "optimized" Makefile targets (which actually produced a larger PDF, with TeXLive 2019).
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-08-07 11:18:57 +01:00
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