Daira Hopwood
|
7c3e4a765e
|
Regenerate PDFs.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2018-02-26 11:50:00 +00:00 |
Daira Hopwood
|
2b2238b0b5
|
Minor improvements.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2018-02-26 11:44:33 +00:00 |
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
|
c16011243b
|
Regenerate PDFs.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2018-02-26 09:45:44 +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
|
002983854a
|
Regenerate PDFs.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2018-02-10 11:32:08 +00:00 |
Daira Hopwood
|
04aa3a5350
|
Bibliography cosmetics.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2018-02-10 11:30:52 +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
|
258110f4e1
|
Regenerate PDFs.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2018-02-08 01:25:15 +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
|
a91c06aa7f
|
Regenerate PDFs, and the PNG of the Merkle tree.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2018-02-07 12:07:15 +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
|
3f8b1c31a7
|
libsnark has moved in-tree.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2018-02-07 11:56:47 +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
|
0a528207c6
|
Regenerate PDFs.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2018-01-31 01:00:14 +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
|
0f27fcb181
|
Regenerate PDFs.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2018-01-30 00:43:39 +00:00 |