Struct kimchi::circuits::constraints::Builder

pub struct Builder<F: PrimeField> { /* private fields */ }

Implementations

impl<F: PrimeField + SquareRootField> Builder<F>

pub fn public(self, public: usize) -> Self

Set up the number of public inputs. If not invoked, it equals 0 by default.

pub fn prev_challenges(self, prev_challenges: usize) -> Self

Set up the number of previous challenges, used for recusive proving. If not invoked, it equals 0 by default.

pub fn lookup(self, lookup_tables: Vec<LookupTable<F>>) -> Self

Set up the lookup tables. If not invoked, it is vec![] by default.

Warning: you have to make sure that the IDs of the lookup tables, are unique and not colliding with IDs of built-in lookup tables, otherwise the error will be raised.

(see crate::circuits::lookup::tables).

pub fn runtime(self, runtime_tables: Option<Vec<RuntimeTableCfg<F>>>) -> Self

Set up the runtime tables. If not invoked, it is None by default.

Warning: you have to make sure that the IDs of the runtime lookup tables, are unique, i.e. not colliding internaly (with other runtime tables), otherwise error will be raised. (see crate::circuits::lookup::tables).

pub fn shared_precomputations( self, shared_precomputations: Arc<DomainConstantEvaluations<F>> ) -> Self

Set up the shared precomputations. If not invoked, it is None by default.

pub fn disable_gates_checks(self, disable_gates_checks: bool) -> Self

Disable gates checks (for testing; only enables with development builds)

pub fn max_poly_size(self, max_poly_size: Option<usize>) -> Self

pub fn build(self) -> Result<ConstraintSystem<F>, SetupError>

Build the ConstraintSystem from a Builder.