Module Tezos_sapling.Core_sigSource

Reference specification is version 2020.1.2 https://github.com/zcash/zips/blob/master/protocol/sapling.pdf

Each instance of the Sapling protocol should be identified by a unique string identifier which is used as anti-replay. It should typically contain a chain identifier and the identifier of a smart-contract. *

Sourcemodule type T_bytes = sig ... end
Sourcemodule type T_encoding = sig ... end
Sourcemodule type T_encoding_bytes = sig ... end
Sourcemodule type T_encoding_compare = sig ... end
Sourcemodule type Spending_key = sig ... end

Spending keys allow to spend and derive viewing keys. It contains key material and information to derive deterministically more spending keys using the zip-32 standard (equivalent of bip-32 for ZCash). See spec section 3.1 *

Sourcemodule type Viewing_key = sig ... end

Viewing keys allow to see incoming and outgoing transactions without giving the ability to spend. Stored in the zip-32 format. *

Sourcemodule type Wallet = sig ... end
Sourcemodule type Hash = sig ... end
Sourcemodule type UTXO = sig ... end
Sourcemodule type Validator = sig ... end

Regroups what needs to be exposed to a Validator *

Sourcemodule type DH_esk = sig ... end

A Diffie-Hellman key exchange is done between the payer and the recipient to encrypt the ciphertext. This can be done off or on chain. *

Sourcemodule type Commitment = sig ... end
Sourcemodule type CV = sig ... end
Sourcemodule type Nullifier = sig ... end

See spec section 3.8 *

Sourcemodule type Rcm = sig ... end
Sourcemodule type Client = sig ... end

Signatures for Client/Validator/Storage + some functions used in tests