pub fn circuit_xmss_multisig_chip(
builder: &CircuitBuilder,
wires: &MultiSigWires,
)Expand description
circuit_xmss_multisig with each signer’s verification dispatched to a chip.
The main circuit is left holding no hash gates at all: it declares the statement, witnesses the signatures, and passes both to one chip call per signer. Every signer’s verification is the same relation over different words, which is what a chip is for — the constraints are stated once and the trace pays for them once per instance.
The wires are MultiSigWires unchanged, so MultiSigWires::populate fills this circuit as
it does the inline one. The built circuit carries chips, though, so it builds with
CircuitBuilder::build_m4 rather than CircuitBuilder::build.