Module header_chain

Modules

• mmr_guest
• mmr_native

Structs

• BlockHeaderCircuitOutput
  The output of the header chain circuit.
• ChainState
• CircuitBlockHeader
  Bitcoin block header.
• HeaderChainCircuitInput
  The input of the header chain circuit.
• NetworkConstants
  Network configuration holder for Bitcoin-specific constants

Enums

• HeaderChainPrevProofType
  The input proof of the header chain circuit. The proof can be either None (implying the beginning) or a Succinct Risc0 proof.

Constants

• NETWORK_CONSTANTS
• NETWORK_TYPE

Functions

• bits_to_target
• header_chain_circuit
  The main entry point of the header chain circuit.