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
where F: Ord + Field + FromUniformBytes<64>, C: Circuit<F>,
Expand description

Given a Plonk circuit, this function returns a ModelCircuit