Daira Hopwood
52abb0c609
ZIP 225: add links to zcashd and librustzcash PRs.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-10-02 00:46:17 +01:00
Daira Hopwood
5ced374bf1
Update references to protocol spec from process and consensus ZIPs (0 to 252 inclusive, and 1014).
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-10-02 00:46:17 +01:00
Daira Hopwood
1ac6d917b8
Regenerate PDFs.
2021-09-30 17:03:08 +01:00
Daira Hopwood
feb864b672
protocol/Makefile: fix `release` target to use `main` branch rather than `master`.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-09-30 16:56:40 +01:00
Daira Hopwood
b1a707e963
Set Change History entry date.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-09-30 16:56:40 +01:00
Daira Hopwood
bab61e8ecf
Cosmetics.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-09-30 16:56:40 +01:00
Daira Hopwood
97fa264611
* Witness g_d^new and pk_d^new in Orchard as non-identity Pallas points, rather than witnessing
...
their representations as bit sequences.
* Note that ak^P in Orchard cannot be the identity.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-09-30 16:56:40 +01:00
Daira Hopwood
7bf094e827
* Use complete addition in SinsemillaCommit.
...
* Correct the proof of Theorem 5.4.6.
* Change the type of cm_old in Orchard to P rather than P*, i.e. allow the identity point.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-09-30 16:56:40 +01:00
Daira Hopwood
06706937d5
Change the type of rt^Orchard from P_x to {0..q_P-1}. This reflects the zcashd implementation;
...
also checking rt^Orchard \in P_x would require a square root and is unnecessary.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-09-30 16:56:40 +01:00
Daira Hopwood
b8f83aac4b
Correct the consensus rule about the maximum value of outputs in a coinbase transaction:
...
it should reference the block subsidy rather than the miner subsidy.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-09-30 16:56:40 +01:00
Daira Hopwood
5688e5cbbd
Fix some cross-references.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-09-30 16:56:40 +01:00
Daira Hopwood
d4cddc0615
ZIP 316: correct wording that assumed zero padding (i.e. had not been updated for inclusion of HRP).
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-09-21 11:16:13 +01:00
Daira Hopwood
a31336c9c6
Merge pull request #551 from daira/zip-316-large-ua
...
ZIP 316: support larger Unified Addresses and Unified Viewing Keys
2021-09-18 21:49:41 +01:00
Daira Hopwood
f8529b3186
ZIP 316: Regenerate HTML.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-09-17 15:35:50 +01:00
Daira Hopwood
96277a1a14
ZIP 316: Expand "Message Authentication Code", and a wording improvement.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-09-17 15:30:56 +01:00
Daira Hopwood
39998c226c
ZIP 316: Clarify wording for UFVK or UIVK Encoding, and the reason why P2SH UFVK/UIVKs are not supported.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-09-17 14:41:27 +01:00
Daira Hopwood
0e057c3c8c
ZIP 316: Clarify that the experimental Typecodes are for use before proposing a ZIP.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-09-17 14:33:50 +01:00
Daira Hopwood
17229163f9
ZIP 316: Define a named constant \ell^MAX_M to replace the magic number 4194368.
...
Also define \ell_H = 64.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-09-17 14:26:58 +01:00
Daira Hopwood
067befbb08
ZIP 316: The P2PKH extended public key format can be used in place of a P2PKH-only UFVK/UIVK.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-09-17 14:21:18 +01:00
Daira Hopwood
a00006d7bd
ZIP 316: Clarify conformance levels.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-09-17 14:03:43 +01:00
Daira Hopwood
ed4ba8d38b
ZIP 316: Update references to the protocol spec and add reference to spec notation.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-09-17 13:59:53 +01:00
Daira Hopwood
2d20028ecf
ZIP 316: Remove an incorrect parenthetical about the memory usage of streamed unjumbling.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-09-17 13:59:53 +01:00
Daira Hopwood
460c5b2ccc
ZIP 316: Require that `typecode` and `length` are <= 0x2000000.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-09-17 13:59:53 +01:00
Daira Hopwood
d6a32d4757
ZIP 316: Resolve a TODO by punting to ZIP 315.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-09-17 13:59:53 +01:00
Daira Hopwood
986b9dedfe
ZIP 316: Improve definitions, requirements, and specification for viewing keys.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-09-17 13:59:53 +01:00
Daira Hopwood
0c14637429
ZIP 316: Cosmetics.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-09-17 13:55:19 +01:00
Daira Hopwood
cf0219cd67
ZIP 316: Clarify a security requirement for streamed calculation of F4Jumble^-1.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-09-17 13:51:16 +01:00
Daira Hopwood
6611f7a245
ZIP 316: Updates for longer UAs/UVKs and experimental types.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-09-17 13:51:04 +01:00
Daira Hopwood
043672cc07
ZIP 401: revert change to use wtxid.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-09-17 13:10:02 +01:00
Daira Hopwood
e309225495
ZIP 316: Update terminology to better account for viewing keys.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-09-15 21:07:11 +01:00
Daira Hopwood
49faaafe4d
README: update planned NU5 activation date and add ZIP 401 (clarified) to the set of relevant ZIPs.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-09-13 20:26:54 +01:00
Marek
9c47cbe6ec
Fix typo. closes #557
...
Co-authored-by: Marek <mail@marek.onl>
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-09-13 15:09:53 +01:00
Daira Hopwood
763a9cdd4f
Merge pull request #556 from daira/fix-dockerfile
...
Update Dockerfile to use an updated package that should work in more recent Debian
2021-09-10 08:45:06 +01:00
Daira Hopwood
f4cb2806a7
ZIP 202: fix link.
...
This should also republish GitHub Pages after renaming the `master` branch to `main`.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-09-09 15:29:09 +01:00
Daira Hopwood
2630966bc4
Merge pull request #558 from daira/better-link-checking
...
Better link checking
2021-09-09 15:06:01 +01:00
Daira Hopwood
db418a5dd5
Fix all links in ZIPs (and almost eliminate plain http links).
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-09-09 15:02:46 +01:00
Daira Hopwood
195b8147eb
Update links_and_dests.py to support HTML files and rate limiting (part 2).
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-09-09 14:58:42 +01:00
Daira Hopwood
4af8a9684d
Update links_and_dests.py to support HTML files and rate limiting (part 1).
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-09-09 14:57:51 +01:00
Daira Hopwood
e4c68a0e7a
Update Dockerfile to use an updated package that should work in more recent Debian.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-09-07 15:16:17 +01:00
Daira Hopwood
d12f31bbb9
Merge pull request #547 from tromer/patch-1
...
ZIP 307: clarify that epk is needed
2021-09-07 14:47:19 +01:00
Daira Hopwood
14326d0f9a
ZIP 307: regenerate HTML.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-09-07 14:46:47 +01:00
Daira Hopwood
dcb4c4e89a
Regenerate PDFs.
2021-09-01 13:43:18 +01:00
Daira Hopwood
c871d448ce
Set Change History entry date.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-09-01 13:26:34 +01:00
Daira Hopwood
21f384dcda
Fix URL links to \cite{BBDP2001} and \cite{BDJR2000}.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-09-01 13:26:34 +01:00
Daira Hopwood
a5c4f139c9
protocol/links_and_dests.py: Some DOI links (i.e. to https://doi.org/ ) redirect to link.springer.com
...
in a way that requires cookies (booo!). We allow this for DOI links, but for all other links we
simulate a client that never sets cookies.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-09-01 13:19:33 +01:00
Daira Hopwood
a918bbc6d7
protocol/Makefile: add `discard` target, and make the `linkcheck` target depend on `all-specs`.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-09-01 13:17:06 +01:00
Daira Hopwood
0d2b01e602
Cosmetics (captialization of ZKProof).
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-09-01 11:44:16 +01:00
Daira Hopwood
b7f0a0bd0d
Correct a minor error in the proof of \theoremref{thmsinsemillacr}:
...
the condition SinsemillaHashToPoint(D, M) ≠ ⊥ is required in the proof.
(The case SinsemillaHashToPoint(D, M) = ⊥ is covered by \theoremref{thmsinsemillaex}.)
The proof had not been updated correctly when the statement was revised in v2021.2.0.
Also add a missing D argument to SinsemillaHashToPoint in that proof.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-09-01 11:44:16 +01:00
Daira Hopwood
324c9ae7b9
Add \zcashdref for referencing zcashd versions (also \zebraref which is currently unused).
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-09-01 11:44:16 +01:00
Daira Hopwood
7e5272e70b
Add \historyref for referencing Change History versions.
...
Also fix an incorrect reference to v2019.0-beta-40 that should be v2019.0.0.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-09-01 11:44:16 +01:00