tezos-protocol-demo-counter.environment
Sapling.Verification
tezos-protocol-demo-counter
tezos-protocol-demo-counter.lifted
tezos-protocol-demo-counter.raw
type t = Tezos_sapling__Core.Validator.Verification.t
val with_verification_ctx : (t -> 'a) -> 'a
val check_spend : t -> UTXO.input -> Hash.t -> string -> bool
val check_output : t -> UTXO.output -> bool
val final_check : t -> UTXO.transaction -> string -> bool