Crate qp_wormhole_circuit_builder 

Wormhole circuit artifact generation (leaf / private-batch / public-batch).

Trust boundary

This crate is intended to run on a trusted CI build host. The checkout, toolchain, and output parent during generation are not modeled as adversarial. Local filesystem races against the publisher (symlink TOCTOU, planted FIFOs, concurrent staging replacement, etc.) are out of scope; see wormhole/THREAT_MODEL.md. Remaining in-scope obligations when these artifacts are later loaded: no prover.bin, canonical verifier pinning, and dummy-template validation.

Structs

CircuitBinsConfig

Configuration stored alongside circuit binaries (config.json). This struct is used by both circuit-builder (to save config) and aggregator (to load config when aggregating proofs).

Functions

generate_all_circuit_binaries

Generate all circuit binaries (both regular and aggregated)

generate_circuit_binaries

Generate only the leaf wormhole circuit binaries.