Function halo2_proofs::dev::cost_model::from_circuit_to_model_circuit
source ยท pub fn from_circuit_to_model_circuit<F, C, const COMM: usize, const SCALAR: usize>(
k: u32,
circuit: &C,
instances: Vec<Vec<F>>,
comm_scheme: CommitmentScheme
) -> ModelCircuit
Expand description
Given a Plonk circuit, this function returns a ModelCircuit