Struct CircuitForTest 

pub struct CircuitForTest<F: PrimeField> {
    pub x: F,
}

CircuitForTest implements a simple test circuit computing y = x^3 + x + 5 with 4 R1CS constraints.

It is used in unit tests to verify constraint extraction and witness generation.

Fields

x: F

CircuitForTest::x is the input variable x of the circuit.

Trait Implementations

impl<F: PrimeField> ConstraintSynthesizer<F> for CircuitForTest<F>

fn generate_constraints( self, cs: ConstraintSystemRef<F>, ) -> Result<(), SynthesisError>

Drives generation of new constraints inside cs.

impl<F: SonobeField> FCircuit for CircuitForTest<F>

type Field = F

FCircuit::Field is the field over which the circuit is defined.

type State = [F; 1]

FCircuit::State is the type of the state.

type StateVar = [FpVar<F>; 1]

FCircuit::StateVar is the in-circuit variable type for the state.

type ExternalInputs = ()

FCircuit::ExternalInputs is the type of external inputs provided to each step of the circuit.

type ExternalOutputs = ()

FCircuit::ExternalOutputs is the type of external outputs produced by each step of the circuit.

fn dummy_state(&self) -> Self::State

FCircuit::dummy_state returns a dummy state for the circuit.

fn same_state_shape(_a: &Self::State, _b: &Self::State) -> bool

FCircuit::same_state_shape returns whether two states a and b have the same shape/structure.

fn dummy_external_inputs(&self) -> Self::ExternalInputs

FCircuit::dummy_external_inputs returns dummy external inputs for the circuit.

fn generate_step_constraints( &self, _i: FpVar<Self::Field>, z_i: Self::StateVar, _external_inputs: Self::ExternalInputs, ) -> Result<(Self::StateVar, Self::ExternalOutputs), SynthesisError>

FCircuit::generate_step_constraints generates the constraints for the i-th step of invocation of the step circuit with the current state state and external inputs external_inputs, producing the next state and external outputs.