Struct BitcoinHeaderChainExample 

pub struct BitcoinHeaderChainExample { /* private fields */ }

Check some basic things about a Bitcoin header chain.

IMPORTANT: This does NOT prove full validity of the header chain. In particular it’s not checked at all that the target difficulty is calculated correctly. One could easily satisfy this circuit by quickly self-mining many blocks with low difficulty.

Trait Implementations

impl ExampleCircuit for BitcoinHeaderChainExample

type Params = Params

Circuit parameters that affect the structure of the circuit. These are typically compile-time constants or bounds.

type Instance = Instance

Instance data used to populate the witness. This represents the actual input values for a specific proof.

fn build(params: Self::Params, builder: &mut CircuitBuilder) -> Result<Self>

Build the circuit with the given parameters.

fn populate_witness( &self, instance: Self::Instance, filler: &mut WitnessFiller<'_>, ) -> Result<()>

Populate witness values for a specific instance.

fn param_summary(params: &Self::Params) -> Option<String>

Generate a concise parameter summary for perfetto trace filenames.