pub struct AleoV0;

Trait Implementations

Returns the balance commitment domain as a constant field element.

Returns the encryption domain as a constant field element.

Returns the graph key domain as a constant field element.

Returns the randomizer domain as a constant field element.

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

Returns the serial number domain as a constant field element.

Returns the scalar multiplication on the generator G.

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

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

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

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

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

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

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

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

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

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

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

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

Returns the Poseidon hash with an input rate of 2.

Returns the Poseidon hash with an input rate of 4.

Returns the Poseidon hash with an input rate of 8.

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

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

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

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

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

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

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

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

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

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

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

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

Returns a copy of the value. Read more

Performs copy-assignment from source. Read more

Formats the value using the given formatter. Read more

Formats the value using the given formatter. Read more

Returns the zero constant.

Returns the one constant.

Returns a new variable of the given mode and value.

Returns a new witness of the given mode and value.

Enters a new scope for the environment.

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

Returns true if all constraints in the environment are satisfied.

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

Returns the number of constants in the entire circuit.

Returns the number of public variables in the entire circuit.

Returns the number of private variables in the entire circuit.

Returns the number of constraints in the entire circuit.

Returns the number of gates in the entire circuit.

Returns the number of constants for the current scope.

Returns the number of public variables for the current scope.

Returns the number of private variables for the current scope.

Returns the number of constraints for the current scope.

Returns the number of gates for the current scope.

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

Returns the R1CS circuit, resetting the circuit.

Returns the R1CS circuit, resetting the circuit.

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

Clears the circuit and initializes an empty environment.

The coefficient A of the twisted Edwards curve.

The coefficient D of the twisted Edwards curve.

The coefficient A of the Montgomery curve.

The coefficient B of the Montgomery curve.

The maximum number of bytes allowed in a string.

Adds one constraint enforcing that the given boolean is true.

Adds one constraint enforcing that the A == B.

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

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

Feeds this value into the given Hasher. Read more

Feeds a slice of this type into the given Hasher. Read more

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

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

Auto Trait Implementations

Blanket Implementations

Gets the TypeId of self. Read more

Immutably borrows from an owned value. Read more

Mutably borrows from an owned value. Read more

Compare self to key and return true if they are equal.

Returns the argument unchanged.

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

The alignment of pointer.

The type for initializers.

Initializes a with the given initializer. Read more

Dereferences the given pointer. Read more

Mutably dereferences the given pointer. Read more

Drops the object pointed to by the given pointer. Read more

Should always be Self

The resulting type after obtaining ownership.

Creates owned data from borrowed data, usually by cloning. Read more

Uses borrowed data to replace owned data, usually by cloning. Read more

Converts the given value to a String. Read more

The type returned in the event of a conversion error.

Performs the conversion.

The type returned in the event of a conversion error.

Performs the conversion.