Struct BitcoinP2PKHExample 

pub struct BitcoinP2PKHExample { /* private fields */ }

Example circuit that proves knowledge of a Bitcoin private key corresponding to a P2PKH address.

This demonstrates a post-quantum secure Bitcoin signature scheme that maintains backwards compatibility with existing Bitcoin addresses. The circuit proves knowledge of a private key without revealing it, using the complete Bitcoin P2PKH address derivation:

Private Key → scalar_mul → Public Key → compress → Compressed PubKey → SHA256 → Digest → swap_bytes → LE Format → RIPEMD160 → Address

Trait Implementations

impl ExampleCircuit for BitcoinP2PKHExample

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: Params, builder: &mut CircuitBuilder) -> Result<Self>

Build the circuit with the given parameters.

fn populate_witness( &self, instance: Instance, w: &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.