Function halo2_frontend::dev::cost_model::from_circuit_to_model_circuit
source ยท pub fn from_circuit_to_model_circuit<F: Ord + Field + FromUniformBytes<64>, C: Circuit<F>, 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