Struct snarkvm_circuit_environment::circuit::Circuit

pub struct Circuit;

Trait Implementations

impl Clone for Circuit

fn clone(&self) -> Circuit

Returns a copy of the value.

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

Performs copy-assignment from source.

impl ConstraintSynthesizer<Fp256<FrParameters>> for Circuit

fn generate_constraints<CS: ConstraintSystem<Fq>>( &self, cs: &mut CS ) -> Result<(), SynthesisError>

Synthesizes the constraints from the environment into a snarkvm_algorithms::r1cs-compliant constraint system.

impl Debug for Circuit

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

Formats the value using the given formatter.

impl Display for Circuit

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

Formats the value using the given formatter.

impl Environment for Circuit

fn zero() -> LinearCombination<Self::BaseField>

Returns the zero constant.

fn one() -> LinearCombination<Self::BaseField>

Returns the one constant.

fn new_variable(mode: Mode, value: Self::BaseField) -> Variable<Self::BaseField>

Returns a new variable of the given mode and value.

fn new_witness<Fn: FnOnce() -> Output::Primitive, Output: Inject>( mode: Mode, logic: Fn ) -> Output

Returns a new witness of the given mode and value.

fn scope<S: Into<String>, Fn, Output>(name: S, logic: Fn) -> Outputwhere Fn: FnOnce() -> Output,

Enters a new scope for the environment.

fn enforce<Fn, A, B, C>(constraint: Fn)where Fn: FnOnce() -> (A, B, C), A: Into<LinearCombination<Self::BaseField>>, B: Into<LinearCombination<Self::BaseField>>, C: Into<LinearCombination<Self::BaseField>>,

Adds one constraint enforcing that (A * B) == C.

fn is_satisfied() -> bool

Returns true if all constraints in the environment are satisfied.

fn is_satisfied_in_scope() -> bool

Returns true if all constraints in the current scope are satisfied.

fn num_constants() -> u64

Returns the number of constants in the entire circuit.

fn num_public() -> u64

Returns the number of public variables in the entire circuit.

fn num_private() -> u64

Returns the number of private variables in the entire circuit.

fn num_constraints() -> u64

Returns the number of constraints in the entire circuit.

fn num_nonzeros() -> (u64, u64, u64)

Returns the number of nonzeros in the entire circuit.

fn num_constants_in_scope() -> u64

Returns the number of constants for the current scope.

fn num_public_in_scope() -> u64

Returns the number of public variables for the current scope.

fn num_private_in_scope() -> u64

Returns the number of private variables for the current scope.

fn num_constraints_in_scope() -> u64

Returns the number of constraints for the current scope.

fn num_nonzeros_in_scope() -> (u64, u64, u64)

Returns the number of nonzeros for the current scope.

fn halt<S: Into<String>, T>(message: S) -> T

Halts the program from further synthesis, evaluation, and execution in the current environment.

fn inject_r1cs(r1cs: R1CS<Self::BaseField>)

TODO (howardwu): Abstraction - Refactor this into an appropriate design. Circuits should not have easy access to this during synthesis. Returns the R1CS circuit, resetting the circuit.

fn eject_r1cs_and_reset() -> R1CS<Self::BaseField>

TODO (howardwu): Abstraction - Refactor this into an appropriate design. Circuits should not have easy access to this during synthesis. Returns the R1CS circuit, resetting the circuit.

fn eject_assignment_and_reset( ) -> Assignment<<Self::Network as Environment>::Field>

TODO (howardwu): Abstraction - Refactor this into an appropriate design. Circuits should not have easy access to this during synthesis. Returns the R1CS assignment of the circuit, resetting the circuit.

fn reset()

Clears the circuit and initializes an empty environment.

type Affine = <Testnet3 as Environment>::Affine

type BaseField = <Testnet3 as Environment>::Field

type Network = Testnet3

type ScalarField = <Testnet3 as Environment>::Scalar

const EDWARDS_A: Self::BaseField = <Self::Network as console::Environment>::EDWARDS_A

The coefficient A of the twisted Edwards curve.

const EDWARDS_D: Self::BaseField = <Self::Network as console::Environment>::EDWARDS_D

The coefficient D of the twisted Edwards curve.

const MONTGOMERY_A: Self::BaseField = <Self::Network as console::Environment>::MONTGOMERY_A

The coefficient A of the Montgomery curve.

const MONTGOMERY_B: Self::BaseField = <Self::Network as console::Environment>::MONTGOMERY_B

The coefficient B of the Montgomery curve.

const MAX_STRING_BYTES: u32 = <Self::Network as console::Environment>::MAX_STRING_BYTES

The maximum number of bytes allowed in a string.

fn assert<Boolean: Into<LinearCombination<Self::BaseField>>>(boolean: Boolean)

Adds one constraint enforcing that the given boolean is true.

fn assert_eq<A, B>(a: A, b: B)where A: Into<LinearCombination<Self::BaseField>>, B: Into<LinearCombination<Self::BaseField>>,

Adds one constraint enforcing that the A == B.

fn assert_neq<A, B>(a: A, b: B)where A: Into<LinearCombination<Self::BaseField>>, B: Into<LinearCombination<Self::BaseField>>,

Adds one constraint enforcing that the A != B.

fn count() -> (u64, u64, u64, u64, (u64, u64, u64))

Returns a tuple containing the number of constants, public variables, private variables, constraints, and nonzeros in the entire environment.

fn count_in_scope() -> (u64, u64, u64, u64, (u64, u64, u64))

Returns a tuple containing the number of constants, public variables, private variables, constraints, and nonzeros for the current scope.

impl Hash for Circuit

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq<Circuit> for Circuit

fn eq(&self, other: &Circuit) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for Circuit

impl Eq for Circuit

impl StructuralEq for Circuit

impl StructuralPartialEq for Circuit