Module bridge_circuit

Modules

• constants
• groth16
• groth16_verifier
• lc_proof
• merkle_tree
• spv
• storage_proof
• structs
• transaction

Constants

• HEADER_CHAIN_METHOD_ID
  The method ID for the header chain circuit.

Functions

• bridge_circuit
  Executes the bridge circuit in a zkVM environment, verifying multiple cryptographic proofs related to watchtower work, SPV, and storage proofs.
• deposit_constant
  Computes a deposit constant hash using various transaction and cryptographic components.
• journal_hash
• parse_op_return_data
• taproot_encode_signing_data_to_with_annex_digest
  Encodes the BIP341 signing data for any flag type into a given object implementing the [io::Write] trait. This version takes a pre-computed annex hash and panics on error.
• total_work_and_watchtower_flags
  Computes the maximum verified total work and watchtower challenge flags from challenge transactions.
• verify_watchtower_challenges
  Verifies watchtower challenge transactions and collects their outputs.