Struct snarkvm_circuit::AleoV0

pub struct AleoV0;

Trait Implementations

impl Aleo for AleoV0

fn bcm_domain() -> Field<AleoV0>

Returns the balance commitment domain as a constant field element.

fn encryption_domain() -> Field<AleoV0>

Returns the encryption domain as a constant field element.

fn graph_key_domain() -> Field<AleoV0>

Returns the graph key domain as a constant field element.

fn randomizer_domain() -> Field<AleoV0>

Returns the randomizer domain as a constant field element.

fn r_bcm_domain() -> Field<AleoV0>

Returns the balance commitment randomizer domain as a constant field element.

fn serial_number_domain() -> Field<AleoV0>

Returns the serial number domain as a constant field element.

fn g_scalar_multiply(scalar: &Scalar<AleoV0>) -> Group<AleoV0>

Returns the scalar multiplication on the generator G.

fn commit_bhp256(
    input: &[Boolean<AleoV0>],
    randomizer: &Scalar<AleoV0>
) -> Field<AleoV0>

Returns a BHP commitment with an input hasher of 256-bits.

fn commit_bhp512(
    input: &[Boolean<AleoV0>],
    randomizer: &Scalar<AleoV0>
) -> Field<AleoV0>

Returns a BHP commitment with an input hasher of 512-bits.

fn commit_bhp768(
    input: &[Boolean<AleoV0>],
    randomizer: &Scalar<AleoV0>
) -> Field<AleoV0>

Returns a BHP commitment with an input hasher of 768-bits.

fn commit_bhp1024(
    input: &[Boolean<AleoV0>],
    randomizer: &Scalar<AleoV0>
) -> Field<AleoV0>

Returns a BHP commitment with an input hasher of 1024-bits.

fn commit_ped64(
    input: &[Boolean<AleoV0>],
    randomizer: &Scalar<AleoV0>
) -> Group<AleoV0>

Returns a Pedersen commitment for the given (up to) 64-bit input and randomizer.

fn commit_ped128(
    input: &[Boolean<AleoV0>],
    randomizer: &Scalar<AleoV0>
) -> Group<AleoV0>

Returns a Pedersen commitment for the given (up to) 128-bit input and randomizer.

fn hash_bhp256(input: &[Boolean<AleoV0>]) -> Field<AleoV0>

Returns the BHP hash with an input hasher of 256-bits.

fn hash_bhp512(input: &[Boolean<AleoV0>]) -> Field<AleoV0>

Returns the BHP hash with an input hasher of 512-bits.

fn hash_bhp768(input: &[Boolean<AleoV0>]) -> Field<AleoV0>

Returns the BHP hash with an input hasher of 768-bits.

fn hash_bhp1024(input: &[Boolean<AleoV0>]) -> Field<AleoV0>

Returns the BHP hash with an input hasher of 1024-bits.

fn hash_ped64(input: &[Boolean<AleoV0>]) -> Field<AleoV0>

Returns the Pedersen hash for a given (up to) 64-bit input.

fn hash_ped128(input: &[Boolean<AleoV0>]) -> Field<AleoV0>

Returns the Pedersen hash for a given (up to) 128-bit input.

fn hash_psd2(input: &[Field<AleoV0>]) -> Field<AleoV0>

Returns the Poseidon hash with an input rate of 2.

fn hash_psd4(input: &[Field<AleoV0>]) -> Field<AleoV0>

Returns the Poseidon hash with an input rate of 4.

fn hash_psd8(input: &[Field<AleoV0>]) -> Field<AleoV0>

Returns the Poseidon hash with an input rate of 8.

fn hash_many_psd2(
    input: &[Field<AleoV0>],
    num_outputs: u16
) -> Vec<Field<AleoV0>, Global>

Returns the extended Poseidon hash with an input rate of 2.

fn hash_many_psd4(
    input: &[Field<AleoV0>],
    num_outputs: u16
) -> Vec<Field<AleoV0>, Global>

Returns the extended Poseidon hash with an input rate of 4.

fn hash_many_psd8(
    input: &[Field<AleoV0>],
    num_outputs: u16
) -> Vec<Field<AleoV0>, Global>

Returns the extended Poseidon hash with an input rate of 8.

fn hash_to_group_psd2(input: &[Field<AleoV0>]) -> Group<AleoV0>

Returns the Poseidon hash with an input rate of 2 on the affine curve.

fn hash_to_group_psd4(input: &[Field<AleoV0>]) -> Group<AleoV0>

Returns the Poseidon hash with an input rate of 4 on the affine curve.

fn hash_to_group_psd8(input: &[Field<AleoV0>]) -> Group<AleoV0>

Returns the Poseidon hash with an input rate of 8 on the affine curve.

fn hash_to_scalar_psd2(input: &[Field<AleoV0>]) -> Scalar<AleoV0>

Returns the Poseidon hash with an input rate of 2 on the scalar field.

fn hash_to_scalar_psd4(input: &[Field<AleoV0>]) -> Scalar<AleoV0>

Returns the Poseidon hash with an input rate of 4 on the scalar field.

fn hash_to_scalar_psd8(input: &[Field<AleoV0>]) -> Scalar<AleoV0>

Returns the Poseidon hash with an input rate of 8 on the scalar field.

fn verify_merkle_path_bhp<const DEPTH: u8>(
    path: &MerklePath<AleoV0, DEPTH>,
    root: &Field<AleoV0>,
    leaf: &Vec<Boolean<AleoV0>, Global>
) -> Boolean<AleoV0>

Returns true if the given Merkle path is valid for the given root and leaf.

fn verify_merkle_path_psd<const DEPTH: u8>(
    path: &MerklePath<AleoV0, DEPTH>,
    root: &Field<AleoV0>,
    leaf: &Vec<Field<AleoV0>, Global>
) -> Boolean<AleoV0>

Returns true if the given Merkle path is valid for the given root and leaf.

const MAX_DATA_SIZE_IN_FIELDS: u32 = <Self::Network as console::Network>::MAX_DATA_SIZE_IN_FIELDS

The maximum number of field elements in data (must not exceed u16::MAX).

impl Clone for AleoV0

fn clone(&self) -> AleoV0

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for AleoV0

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

Formats the value using the given formatter.

impl Display for AleoV0

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

Formats the value using the given formatter.

impl Environment for AleoV0

fn zero() -> LinearCombination<<AleoV0 as Environment>::BaseField>

Returns the zero constant.

fn one() -> LinearCombination<<AleoV0 as Environment>::BaseField>

Returns the one constant.

fn new_variable(
    mode: Mode,
    value: <AleoV0 as Environment>::BaseField
) -> Variable<<AleoV0 as Environment>::BaseField>

Returns a new variable of the given mode and value.

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

Returns a new witness of the given mode and value.

fn scope<S, Fn, Output>(name: S, logic: Fn) -> Outputwhere
    S: Into<String>,
    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<<AleoV0 as Environment>::BaseField>>,
    B: Into<LinearCombination<<AleoV0 as Environment>::BaseField>>,
    C: Into<LinearCombination<<AleoV0 as Environment>::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_gates() -> u64

Returns the number of gates 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_gates_in_scope() -> u64

Returns the number of gates for the current scope.

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

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

fn inject_r1cs(r1cs: R1CS<<AleoV0 as Environment>::BaseField>)

Returns the R1CS circuit, resetting the circuit.

fn eject_r1cs_and_reset() -> R1CS<<AleoV0 as Environment>::BaseField>

Returns the R1CS circuit, resetting the circuit.

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

Returns the R1CS assignment of the circuit, resetting the circuit.

fn reset()

Clears the circuit and initializes an empty environment.

type Affine = <Circuit as Environment>::Affine

type BaseField = <Circuit as Environment>::BaseField

type Network = <Circuit as Environment>::Network

type ScalarField = <Circuit as Environment>::ScalarField

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>(boolean: Boolean)where
    Boolean: Into<LinearCombination<Self::BaseField>>,

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)

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

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

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

impl Hash for AleoV0

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

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<AleoV0> for AleoV0

fn eq(&self, other: &AleoV0) -> 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 AleoV0

impl Eq for AleoV0

impl StructuralEq for AleoV0

impl StructuralPartialEq for AleoV0