Daira Hopwood
|
8d9b9a00b8
|
Fix range of ivk.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2018-02-26 11:44:01 +00:00 |
Daira Hopwood
|
9f67a5d977
|
Cosmetics and trivial fixes.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2018-02-26 11:42:52 +00:00 |
Daira Hopwood
|
625d35fce7
|
Add sections on Spend and Output descriptions.
Swap order of cv and rt in a Spend description for consistency.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2018-02-26 11:41:15 +00:00 |
Daira Hopwood
|
977d881064
|
Work in progress.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2018-02-26 09:44:19 +00:00 |
Daira Hopwood
|
a626f28117
|
Cosmetics.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2018-02-24 03:15:09 +00:00 |
Daira Hopwood
|
59331fca67
|
SHA fixup
|
2018-02-24 02:08:14 +00:00 |
Daira Hopwood
|
bf9bd313a2
|
Add BLAKE2 section.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2018-02-24 02:05:09 +00:00 |
Daira Hopwood
|
9ee098adda
|
Add SHA-256 section; clarify the definition of SHA256Compress.
Rename SHA-256 and hash-box macros.
fixes #100
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2018-02-24 01:56:32 +00:00 |
Daira Hopwood
|
e1ac22992d
|
Add fact[s] macros.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2018-02-14 08:04:45 +00:00 |
Daira Hopwood
|
518c7da42d
|
Add a macro for cross-referencing theorems.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2018-02-14 08:02:10 +00:00 |
Daira Hopwood
|
efd8551ddf
|
Fill in Appendix A description of Pedersen hashes.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2018-02-12 13:21:21 +00:00 |
Daira Hopwood
|
ce5b24f72f
|
WIP for commitments in Appendix A.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2018-02-12 13:21:21 +00:00 |
Daira Hopwood
|
99ad9689e9
|
Generalize Pedersen hash spec to make chunks per segment variable.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2018-02-12 13:21:21 +00:00 |
Daira Hopwood
|
0325aa2fd6
|
Generalize the distinct-x proof to allow negative indices.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2018-02-12 13:21:21 +00:00 |
Daira Hopwood
|
25fd603a7e
|
Notation.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2018-02-12 13:16:36 +00:00 |
Daira Hopwood
|
eefd9052d6
|
Nicer notation for selection of u and v.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2018-02-12 13:16:36 +00:00 |
Daira Hopwood
|
50720eadb6
|
Change hex integers to mathtt font (to enable length comparison).
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2018-02-12 13:16:36 +00:00 |
Daira Hopwood
|
d1ead6560d
|
Correct an error in the Pedersen hash specification.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2018-02-12 13:16:36 +00:00 |
Daira Hopwood
|
a5759a0c04
|
PRF^nr must be collision-resistant.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2018-02-12 13:16:36 +00:00 |
Daira Hopwood
|
28c67daf9a
|
Specify GroupHash and Pedersen hashes.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2018-02-10 11:30:37 +00:00 |
Daira Hopwood
|
a871fc52d3
|
Specify coinbase constraints. fixes #81
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2018-02-08 22:24:14 +00:00 |
Daira Hopwood
|
ce66c0e31b
|
Lifting the 100000-byte transaction size limit is likely to be delayed to Sapling.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2018-02-08 22:23:02 +00:00 |
Daira Hopwood
|
1a230efc6a
|
Stub for instantiation of group hash for Jubjub.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2018-02-08 01:23:26 +00:00 |
Daira Hopwood
|
02482b695a
|
Add note about endianness of repr_J.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2018-02-08 01:23:26 +00:00 |
Daira Hopwood
|
39bb59e4d0
|
Add instantiation of hash extractor for Jubjub.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2018-02-08 01:23:18 +00:00 |
Daira Hopwood
|
0dcb3d5bc8
|
Make the background lighter and the Sapling green darker.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2018-02-08 01:22:02 +00:00 |
Daira Hopwood
|
b9654c2823
|
Cosmetics.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2018-02-07 15:47:05 +00:00 |
Daira Hopwood
|
8f647e0f08
|
Add instantiation of CRHivk.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2018-02-07 15:45:58 +00:00 |
Daira Hopwood
|
4d245b4c4c
|
Remove stray Sprouts in the pre-Sprout spec.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2018-02-07 12:04:10 +00:00 |
Daira Hopwood
|
d82c9cf44c
|
Sapling work-in-progress.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2018-02-07 11:56:47 +00:00 |
Daira Hopwood
|
d3eeb28deb
|
Add PRG section and reference security definitions for PRFs and PRGs.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2018-02-07 11:56:47 +00:00 |
Daira Hopwood
|
de60c26bb9
|
Specify that 0xF6 followed by zeros encodes an empty memo.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2018-02-07 11:56:47 +00:00 |
Daira Hopwood
|
a11f8a5fe0
|
Specify the 100000-byte transaction size limit (pre-Overwinter).
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2018-02-07 11:56:47 +00:00 |
Daira Hopwood
|
137121cf30
|
Terminology and notation changes.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2018-02-07 11:56:47 +00:00 |
Daira Hopwood
|
d4cf9d501e
|
Cosmetics.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2018-02-07 11:56:47 +00:00 |
Daira Hopwood
|
d214aee5f3
|
More macros!
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2018-02-07 10:21:25 +00:00 |
Daira Hopwood
|
1f64dcd31e
|
LaTeX cosmetics.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2018-02-07 10:02:05 +00:00 |
Daira Hopwood
|
ef68ba8681
|
Sapling WIP.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2018-01-31 00:58:58 +00:00 |
Daira Hopwood
|
f3d210742e
|
Cosmetics.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2018-01-31 00:52:59 +00:00 |
Daira Hopwood
|
f361159dfe
|
Make $v$ more distinguishable from $u$.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2018-01-31 00:48:43 +00:00 |
Daira Hopwood
|
8356e7b3b0
|
Specify more precisely the requirements on Ed25519 public keys and signatures.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2018-01-30 00:42:35 +00:00 |
Daira Hopwood
|
488195b804
|
Sapling work in progress.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2018-01-29 23:08:08 +00:00 |
Daira Hopwood
|
b7f565ce9e
|
Add history entry.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2018-01-25 20:20:53 +00:00 |
Daira Hopwood
|
44b370013f
|
Add details about Sapling payment addresses and keys.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2018-01-25 11:16:21 +00:00 |
Daira Hopwood
|
91056b0736
|
Sapling WIP.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2018-01-22 18:24:16 +00:00 |
Daira Hopwood
|
fad74d8574
|
Refer to NU0 as Overwinter.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2017-12-17 00:40:39 +00:00 |
Daira Hopwood
|
a04949caf3
|
Put zk-SNARK statements in a subsection to prepare for Sapling.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2017-12-17 00:40:38 +00:00 |
Daira Hopwood
|
8f3da545ea
|
Cosmetics.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2017-12-17 00:40:38 +00:00 |
Daira Hopwood
|
179752ae57
|
Update viewing key encoding.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2017-12-17 00:10:09 +00:00 |
Daira Hopwood
|
2b883b7182
|
Terminology change: incoming viewing keys.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2017-12-17 00:08:57 +00:00 |