		Search-engine friendly clone of the ACL2 documentation.

Zcash

Constants

Constants used in Zcash.

This is for the constants listed in [ZPS:5.3]. Those are not all the constants, as such, used in Zcash; however, those have a dedicated section explicitly titled `Constants'.

For now we only capture some of them. More will be added as needed.

Subtopics

*uncommitted-sapling*: The constant \mathsf{Uncommitted}^\mathsf{Sapling} [ZPS:5.3].
*l-merkle-sapling*: The constant \ell_\mathsf{Merkle}^\mathsf{Sapling}} in [ZPS:5.3].