List of all items

Structs

• Risc0TaprootOps
• verify::join::JoinInput
• verify::join::JoinOutput
• verify::join::ReceiptClaimInput
• verify::proof::AssetClaimInput
• verify::proof::AssetClaimOutput
• verify::proof::GenesisRevealInput
• verify::proof::StxoClaimInput
• verify::proof::StxoClaimOutput
• verify::proof::TaprootClaimInput
• verify::proof::TaprootClaimOutput
• verify::proof_chain::ProofChainClaimInput
• verify::proof_chain::ProofChainClaimOutput
• verify::proof_chain::ProofChainEntryInput
• verify::tx::Risc0MerkleHasher
• verify::zk_proof_file::ZkProofFile
• verify::zk_proof_file::ZkProofFileEntry

Enums

• verify::proof_chain::Error
• verify::zk_proof_file::ValidationError

Functions

• verify::proof::verify_asset_claim
• verify::proof::verify_genesis_reveal
• verify::proof::verify_genesis_reveal_input
• verify::proof::verify_stxo_claim
• verify::proof::verify_taproot_claim
• verify::proof_chain::verify_proof_chain_claim
• verify::tx::verify_anchor_claim
• verify::tx::verify_tx_merkle_proof

Type Aliases

• verify::tx::AnchorClaimInput
• verify::tx::AnchorClaimOutput
• verify::tx::VerifyMerkleProofInput

Constants

• verify::zk_proof_file::ZK_PROOF_FILE_MAGIC
• verify::zk_proof_file::ZK_PROOF_FILE_VERSION