//! Verification helpers that mirror `taproot-assets-core::verify`.
/// Receipt composition helpers for join proofs.
/// Proof verification helpers with RISC0 hashing.
/// Proof-file checksum/continuity claim helpers.
/// Anchor transaction verification helpers with RISC0 hashing.
/// ZK proof-file format and digest helpers.