* More Orchard WIP;

* The definition of a represented group abstraction function incorrectly required canonicity;
* Note about non-canonical encodings in the Jubjub gave incorrect values for encodings of the point of order 2;
* Change the spec of decryption with ovk to match zcashd (by adding \bot and subgroup checks);
* Add a note saying that a node impl that checkpoints on Sapling can omit verifying BCTV14 proofs.

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
This commit is contained in:
Daira Hopwood 2021-03-15 16:16:01 +00:00
parent 68cb4c6d5f
commit 6453611314
2 changed files with 658 additions and 344 deletions

File diff suppressed because it is too large Load Diff

View File

@ -1159,6 +1159,15 @@ Last revised February~5, 2018.}
urldate={2020-05-27} urldate={2020-05-27}
} }
@misc{ZIP-216,
presort={ZIP-0216},
author={Jack Grigg and Daira Hopwood},
title={Require Canonical Point Encodings},
howpublished={Zcash Improvement Proposal 216. Created February~11, 2021.},
url={https://zips.z.cash/zip-0216},
urldate={2021-02-25}
}
@misc{ZIP-221, @misc{ZIP-221,
presort={ZIP-0221}, presort={ZIP-0221},
author={Jack Grigg}, author={Jack Grigg},