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
Eran Tromer
42e05529a4
ZIP 307: clarify that epk is needed
...
The current phrasing implies the 580-byte memo ciphertext suffices for detection. Clarify that the 32-byte ephemeral public key is also needed.
Also added "public" to "ephemeral key" further down.
2021-08-25 19:29:49 -04:00
Daira Hopwood
93e5ec04fe
Merge pull request #543 from daira/zip-155
...
Add ZIP 155 (addrv2 message), and update ZIP 252 to reference it
2021-08-23 16:01:40 +01:00
Daira Hopwood
7dc6682326
Only say that valid, potentially routable addresses SHOULD be gossiped.
...
(It is up to the node implementation what addresses on each network are considered valid
and potentially routable.)
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-08-23 15:58:52 +01:00