Module snapps_txn_reference_impl::pickles [−][src]
Expand description
Types associated with the pickles recursive proof system used by the Mina protocol.
For more detail on these types and the implementation of these functions, refer to existing documentation and specification for the Mina protocol.
Structs
Zero-knowledge proofs in the pickles recursive proof system.
Verification keys for proofs in the pickles recursive proof system.