Jack Grigg
812a5ac710
Bug fixes
2019-01-25 01:47:25 +00:00
Daira Hopwood
be04f70d5b
Resolve a TODO.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-01-23 08:20:17 +00:00
Daira Hopwood
f825dfe042
Resolve an ambiguity concerning fees.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-01-23 08:19:54 +00:00
Daira Hopwood
b69910c141
Address review comments.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-01-23 00:20:51 +00:00
Jack Grigg
79e4f07586
Initial draft of the Split Founders' Reward ZIP
2019-01-05 01:47:34 +00:00
Daira Hopwood
232234ec86
Additional formatting improvements for ZIP 308.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2018-12-17 16:53:12 +00:00
Daira Hopwood
7a66cf8d4e
Formatting improvements for ZIP 308.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2018-12-17 16:48:16 +00:00
Daira Hopwood
5a6d585a9d
Completed draft (with open questions) of ZIP 308.
...
Co-authored-by: Eirik Ogilvie-Wigley <eirik@z.cash>
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2018-12-17 16:25:43 +00:00
Daira Hopwood
fb1d0e6f41
WIP: Sprout->Sapling migration ZIP.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2018-11-27 16:23:06 +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
c7d08a269c
ZIP 205 formatting fixes.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2018-10-30 20:43:30 +00:00
Daira Hopwood
e4a74b9d0e
Merge pull request #191 from daira/zip-0205
...
Add ZIP 205.
2018-10-29 01:13:22 +00:00
Daira Hopwood
ede1215566
Add ZIP 205.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2018-10-28 07:43:31 +00:00
Daira Hopwood
35478ad138
Merge pull request #189 from zcash/bitcartel-patch-1
...
Update ZIP 243 with test vector for transparent tx
2018-10-25 18:28:08 +01: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
bitcartel
9ed3c3d455
Update ZIP 243 with test vector for transparent tx
2018-10-15 21:14:25 -07:00
Daira Hopwood
f6f47a0ecd
Merge pull request #157 from str4d/zip-0032
...
[ZIP 32] Shielded Hierarchical Deterministic Wallets
2018-10-05 22:07:39 +01:00
Daira Hopwood
34c6a5c0d6
Regenerate PDFs.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2018-10-01 16:47:28 +01:00
Daira Hopwood
c04c0542e8
Cosmetics (pagination in Appendix A).
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2018-10-01 16:44:31 +01:00
Daira Hopwood
bb52ce246c
Clarify notation in the proof of A.3.3.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2018-10-01 15:44:11 +01:00
Daira Hopwood
223b8db3a7
Minor tweak to the statement of Theorem A.3.4 to make the contradiction clearer.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2018-10-01 11:22:49 +01:00
Daira Hopwood
da7c6fe190
Correct the statement and proof of Theorem A.3.2.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2018-10-01 11:21:02 +01:00
Daira Hopwood
25b64382e4
Clarify the notes concerning domain separation of prefixes for MerkleCRH^Sapling and NoteCommit^Sapling.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2018-10-01 11:00:45 +01:00
Daira Hopwood
2a7002a010
Add the QED-it report to the acknowledgements.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2018-10-01 10:45:19 +01:00
Daira Hopwood
bc48ebe898
Improved cross-referencing in Pedersen hash section.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2018-10-01 10:43:48 +01:00
Daira Hopwood
74c39f073d
Correct a use of \GroupJ that should have been \MontCurve.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2018-10-01 10:34:56 +01:00
Daira Hopwood
691922ebd1
Cosmetics.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2018-10-01 10:27:34 +01:00
Daira Hopwood
dc81e21c2b
Correct uses of LEOS2IP_l in RedDSAVerify and RedDSABatchVerify to ensure l is a multiple of 8.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2018-10-01 10:27:34 +01:00
Daira Hopwood
5524822ed5
Correct some uses of r_J that should have been r_S or q.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2018-10-01 10:27:34 +01:00
Daira Hopwood
dc41de37f3
Avoid clashing notation. Refer to the Montgomery form of Jubjub as \mathbb{M}.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2018-10-01 10:27:34 +01:00
Jack Grigg
975a2aaa64
Formatting
2018-09-20 11:05:25 +01:00
Ariel
cb1e663836
Improve explanation of diversifier sequence choice
2018-09-20 12:11:13 +03:00
Jack Grigg
888681c0b0
Update references to Sapling protocol spec
2018-09-18 11:42:29 +01:00
Jack Grigg
606abd14e2
Be explicit about supported range for the Sapling key path
2018-09-18 11:40:19 +01:00
Jack Grigg
44e9c03d45
dk_i -> dk in "Diversifier derivation" section
2018-09-18 11:39:52 +01:00
Jack Grigg
1f7b5120f1
Clarify that dk is not part of the standard Sapling derivation
2018-09-18 11:38:54 +01:00
Jack Grigg
a414e4e7d3
Pull in definition of hardened notation
2018-09-18 11:37:55 +01:00
Jack Grigg
55e3cd177e
Clarify wording about default payment addresses
2018-09-18 11:25:12 +01:00