pub fn new(
    params: NIFSVerifierCircuitParams,
    inputs: Option<NIFSVerifierCircuitInputs<G>>,
    step_circuit: SC,
    ro_consts: ROConstantsCircuit<G::Base>,
  ) -> Self {
    Self {
      params,
      inputs,
      step_circuit,
      ro_consts,
    }
  }
/// Create a new verification circuit for the input relaxed r1cs instances
Create a new verification circuit for the input relaxed r1cs instances
Create a new verification circuit for the input relaxed r1cs instances
pub fn new(
    params: NIFSVerifierCircuitParams,
    inputs: Option<NIFSVerifierCircuitInputs<G>>,
    step_circuit: SC,
    ro_consts: ROConstantsCircuit<G::Base>,
  ) -> Self {
    Self {
      params,
      inputs,
      step_circuit,
      ro_consts,
    }
  }
pub fn new ( params : NIFSVerifierCircuitParams , inputs : Option < NIFSVerifierCircuitInputs < G > > , step_circuit : SC , ro_consts : ROConstantsCircuit < G :: Base > , ) -> Self { Self { params , inputs , step_circuit , ro_consts , } }
Create a new verification circuit for the input relaxed r1cs instances
Create a new verification circuit for the input relaxed r1cs instances
params
NIFSVerifierCircuitParams
inputs
Option<NIFSVerifierCircuitInputs<G>>
step_circuit
SC
ro_consts
ROConstantsCircuit<G::Base>
params
NIFSVerifierCircuitParams
inputs
Option<NIFSVerifierCircuitInputs<G>>
step_circuit
SC
ro_consts
ROConstantsCircuit<G::Base>