Struct AxiomCircuit 

pub struct AxiomCircuit<F: Field, P: JsonRpcClient, A: AxiomCircuitScaffold<P, F>> {
    pub builder: RefCell<RlcCircuitBuilder<F>>,
    pub inputs: Option<A::InputValue>,
    pub provider: Provider<P>,
    /* private fields */
}

Fields

builder: RefCell<RlcCircuitBuilder<F>>

inputs: Option<A::InputValue>

provider: Provider<P>

Implementations

impl<F: Field, P: JsonRpcClient + Clone, A: AxiomCircuitScaffold<P, F>> AxiomCircuit<F, P, A>

pub fn new(provider: Provider<P>, circuit_params: AxiomCircuitParams) -> Self

pub fn prover(provider: Provider<P>, pinning: AxiomCircuitPinning) -> Self

pub fn from_stage( provider: Provider<P>, circuit_params: AxiomCircuitParams, stage: CircuitBuilderStage, ) -> Self

pub fn set_max_user_outputs(&mut self, max_user_outputs: usize)

pub fn use_max_user_outputs(self, max_user_outputs: usize) -> Self

pub fn set_max_user_subqueries(&mut self, max_user_subqueries: usize)

pub fn use_max_user_subqueries(self, max_user_subqueries: usize) -> Self

pub fn set_inputs(&mut self, inputs: Option<A::InputValue>)

pub fn use_inputs(self, inputs: Option<A::InputValue>) -> Self

pub fn set_break_points(&mut self, break_points: RlcThreadBreakPoints)

pub fn use_break_points(self, break_points: RlcThreadBreakPoints) -> Self

pub fn set_params(&mut self, params: AxiomCircuitParams)

pub fn use_params(self, params: AxiomCircuitParams) -> Self

pub fn set_pinning(&mut self, pinning: AxiomCircuitPinning)

pub fn use_pinning(self, pinning: AxiomCircuitPinning) -> Self

pub fn set_provider(&mut self, provider: Provider<P>)

pub fn use_provider(self, provider: Provider<P>) -> Self

pub fn break_points(&self) -> RlcThreadBreakPoints

pub fn pinning(&self) -> AxiomCircuitPinning

pub fn k(&self) -> usize

pub fn output_num_instances(&self) -> usize

pub fn subquery_num_instances(&self) -> usize

pub fn calculate_params(&mut self)

pub fn instances(&self) -> Vec<Vec<F>>

pub fn scaffold_output(&self) -> AxiomV2DataAndResults

Trait Implementations

impl<F: Field, P: JsonRpcClient + Clone, A: AxiomCircuitScaffold<P, F>> Circuit<F> for AxiomCircuit<F, P, A>

type Config = AxiomCircuitConfig<F>

This is a configuration object that stores things like columns.

type Params = AxiomCircuitParams

Optional circuit configuration parameters. Requires the circuit-params feature.

type FloorPlanner = SimpleFloorPlanner

The floor planner used for this circuit. This is an associated type of the Circuit trait because its behaviour is circuit-critical.

fn without_witnesses(&self) -> Self

Returns a copy of this circuit with no witness values (i.e. all witnesses set to None). For most circuits, this will be equal to Self::default().

fn params(&self) -> Self::Params

Returns a reference to the parameters that should be used to configure the circuit. Requires the circuit-params feature.

fn configure_with_params( meta: &mut ConstraintSystem<F>, params: Self::Params, ) -> Self::Config

The circuit is given an opportunity to describe the exact gate arrangement, column arrangement, etc. Takes a runtime parameter. The default implementation calls configure ignoring the _params argument in order to easily support circuits that don’t use configuration parameters.

fn configure(_: &mut ConstraintSystem<F>) -> Self::Config

The circuit is given an opportunity to describe the exact gate arrangement, column arrangement, etc.

fn synthesize( &self, config: Self::Config, layouter: impl Layouter<F>, ) -> Result<(), Error>

Given the provided cs, synthesize the circuit. The concrete type of the caller will be different depending on the context, and they may or may not expect to have a witness present.

impl<F: Field, P: JsonRpcClient + Clone, A: AxiomCircuitScaffold<P, F> + Default> CircuitExt<F> for AxiomCircuit<F, P, A>

fn num_instance(&self) -> Vec<usize>

Return the number of instances of the circuit. This may depend on extra circuit parameters but NOT on private witnesses.

fn instances(&self) -> Vec<Vec<F>>

fn accumulator_indices() -> Option<Vec<(usize, usize)>>

fn selectors(_: &Self::Config) -> Vec<Selector>

Output the simple selector columns (before selector compression) of the circuit

impl<F: Clone + Field, P: Clone + JsonRpcClient, A: Clone + AxiomCircuitScaffold<P, F>> Clone for AxiomCircuit<F, P, A>

where A::InputValue: Clone, A::FirstPhasePayload: Clone,

fn clone(&self) -> AxiomCircuit<F, P, A>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<F: Debug + Field, P: Debug + JsonRpcClient, A: Debug + AxiomCircuitScaffold<P, F>> Debug for AxiomCircuit<F, P, A>

where A::InputValue: Debug, A::FirstPhasePayload: Debug,

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.