Trait snarkvm_circuit::Aleo
source · pub trait Aleo: Environment {
const MAX_DATA_SIZE_IN_FIELDS: u32 = <Self::Network as console::Network>::MAX_DATA_SIZE_IN_FIELDS;
Show 33 methods
fn bcm_domain() -> Field<Self>;
fn encryption_domain() -> Field<Self>;
fn graph_key_domain() -> Field<Self>;
fn randomizer_domain() -> Field<Self>;
fn r_bcm_domain() -> Field<Self>;
fn serial_number_domain() -> Field<Self>;
fn g_scalar_multiply(scalar: &Scalar<Self>) -> Group<Self>;
fn commit_bhp256(
input: &[Boolean<Self>],
randomizer: &Scalar<Self>
) -> Field<Self>;
fn commit_bhp512(
input: &[Boolean<Self>],
randomizer: &Scalar<Self>
) -> Field<Self>;
fn commit_bhp768(
input: &[Boolean<Self>],
randomizer: &Scalar<Self>
) -> Field<Self>;
fn commit_bhp1024(
input: &[Boolean<Self>],
randomizer: &Scalar<Self>
) -> Field<Self>;
fn commit_ped64(
input: &[Boolean<Self>],
randomizer: &Scalar<Self>
) -> Group<Self>;
fn commit_ped128(
input: &[Boolean<Self>],
randomizer: &Scalar<Self>
) -> Group<Self>;
fn hash_bhp256(input: &[Boolean<Self>]) -> Field<Self>;
fn hash_bhp512(input: &[Boolean<Self>]) -> Field<Self>;
fn hash_bhp768(input: &[Boolean<Self>]) -> Field<Self>;
fn hash_bhp1024(input: &[Boolean<Self>]) -> Field<Self>;
fn hash_ped64(input: &[Boolean<Self>]) -> Field<Self>;
fn hash_ped128(input: &[Boolean<Self>]) -> Field<Self>;
fn hash_psd2(input: &[Field<Self>]) -> Field<Self>;
fn hash_psd4(input: &[Field<Self>]) -> Field<Self>;
fn hash_psd8(input: &[Field<Self>]) -> Field<Self>;
fn hash_many_psd2(
input: &[Field<Self>],
num_outputs: u16
) -> Vec<Field<Self>, Global>ⓘNotable traits for Vec<u8, A>impl<A> Write for Vec<u8, A>where
A: Allocator,;
fn hash_many_psd4(
input: &[Field<Self>],
num_outputs: u16
) -> Vec<Field<Self>, Global>ⓘNotable traits for Vec<u8, A>impl<A> Write for Vec<u8, A>where
A: Allocator,;
fn hash_many_psd8(
input: &[Field<Self>],
num_outputs: u16
) -> Vec<Field<Self>, Global>ⓘNotable traits for Vec<u8, A>impl<A> Write for Vec<u8, A>where
A: Allocator,;
fn hash_to_group_psd2(input: &[Field<Self>]) -> Group<Self>;
fn hash_to_group_psd4(input: &[Field<Self>]) -> Group<Self>;
fn hash_to_group_psd8(input: &[Field<Self>]) -> Group<Self>;
fn hash_to_scalar_psd2(input: &[Field<Self>]) -> Scalar<Self>;
fn hash_to_scalar_psd4(input: &[Field<Self>]) -> Scalar<Self>;
fn hash_to_scalar_psd8(input: &[Field<Self>]) -> Scalar<Self>;
fn verify_merkle_path_bhp<const DEPTH: u8>(
path: &MerklePath<Self, DEPTH>,
root: &Field<Self>,
leaf: &Vec<Boolean<Self>, Global>
) -> Boolean<Self>;
fn verify_merkle_path_psd<const DEPTH: u8>(
path: &MerklePath<Self, DEPTH>,
root: &Field<Self>,
leaf: &Vec<Field<Self>, Global>
) -> Boolean<Self>;
}Provided Associated Constants
sourceconst MAX_DATA_SIZE_IN_FIELDS: u32 = <Self::Network as console::Network>::MAX_DATA_SIZE_IN_FIELDS
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).
Required Methods
sourcefn bcm_domain() -> Field<Self>
fn bcm_domain() -> Field<Self>
Returns the balance commitment domain as a constant field element.
sourcefn encryption_domain() -> Field<Self>
fn encryption_domain() -> Field<Self>
Returns the encryption domain as a constant field element.
sourcefn graph_key_domain() -> Field<Self>
fn graph_key_domain() -> Field<Self>
Returns the graph key domain as a constant field element.
sourcefn randomizer_domain() -> Field<Self>
fn randomizer_domain() -> Field<Self>
Returns the randomizer domain as a constant field element.
sourcefn r_bcm_domain() -> Field<Self>
fn r_bcm_domain() -> Field<Self>
Returns the balance commitment randomizer domain as a constant field element.
sourcefn serial_number_domain() -> Field<Self>
fn serial_number_domain() -> Field<Self>
Returns the serial number domain as a constant field element.
sourcefn g_scalar_multiply(scalar: &Scalar<Self>) -> Group<Self>
fn g_scalar_multiply(scalar: &Scalar<Self>) -> Group<Self>
Returns the scalar multiplication on the generator G.
sourcefn commit_bhp256(
input: &[Boolean<Self>],
randomizer: &Scalar<Self>
) -> Field<Self>
fn commit_bhp256(
input: &[Boolean<Self>],
randomizer: &Scalar<Self>
) -> Field<Self>
Returns a BHP commitment with an input hasher of 256-bits.
sourcefn commit_bhp512(
input: &[Boolean<Self>],
randomizer: &Scalar<Self>
) -> Field<Self>
fn commit_bhp512(
input: &[Boolean<Self>],
randomizer: &Scalar<Self>
) -> Field<Self>
Returns a BHP commitment with an input hasher of 512-bits.
sourcefn commit_bhp768(
input: &[Boolean<Self>],
randomizer: &Scalar<Self>
) -> Field<Self>
fn commit_bhp768(
input: &[Boolean<Self>],
randomizer: &Scalar<Self>
) -> Field<Self>
Returns a BHP commitment with an input hasher of 768-bits.
sourcefn commit_bhp1024(
input: &[Boolean<Self>],
randomizer: &Scalar<Self>
) -> Field<Self>
fn commit_bhp1024(
input: &[Boolean<Self>],
randomizer: &Scalar<Self>
) -> Field<Self>
Returns a BHP commitment with an input hasher of 1024-bits.
sourcefn commit_ped64(
input: &[Boolean<Self>],
randomizer: &Scalar<Self>
) -> Group<Self>
fn commit_ped64(
input: &[Boolean<Self>],
randomizer: &Scalar<Self>
) -> Group<Self>
Returns a Pedersen commitment for the given (up to) 64-bit input and randomizer.
sourcefn commit_ped128(
input: &[Boolean<Self>],
randomizer: &Scalar<Self>
) -> Group<Self>
fn commit_ped128(
input: &[Boolean<Self>],
randomizer: &Scalar<Self>
) -> Group<Self>
Returns a Pedersen commitment for the given (up to) 128-bit input and randomizer.
sourcefn hash_bhp256(input: &[Boolean<Self>]) -> Field<Self>
fn hash_bhp256(input: &[Boolean<Self>]) -> Field<Self>
Returns the BHP hash with an input hasher of 256-bits.
sourcefn hash_bhp512(input: &[Boolean<Self>]) -> Field<Self>
fn hash_bhp512(input: &[Boolean<Self>]) -> Field<Self>
Returns the BHP hash with an input hasher of 512-bits.
sourcefn hash_bhp768(input: &[Boolean<Self>]) -> Field<Self>
fn hash_bhp768(input: &[Boolean<Self>]) -> Field<Self>
Returns the BHP hash with an input hasher of 768-bits.
sourcefn hash_bhp1024(input: &[Boolean<Self>]) -> Field<Self>
fn hash_bhp1024(input: &[Boolean<Self>]) -> Field<Self>
Returns the BHP hash with an input hasher of 1024-bits.
sourcefn hash_ped64(input: &[Boolean<Self>]) -> Field<Self>
fn hash_ped64(input: &[Boolean<Self>]) -> Field<Self>
Returns the Pedersen hash for a given (up to) 64-bit input.
sourcefn hash_ped128(input: &[Boolean<Self>]) -> Field<Self>
fn hash_ped128(input: &[Boolean<Self>]) -> Field<Self>
Returns the Pedersen hash for a given (up to) 128-bit input.
sourcefn hash_psd2(input: &[Field<Self>]) -> Field<Self>
fn hash_psd2(input: &[Field<Self>]) -> Field<Self>
Returns the Poseidon hash with an input rate of 2.
sourcefn hash_psd4(input: &[Field<Self>]) -> Field<Self>
fn hash_psd4(input: &[Field<Self>]) -> Field<Self>
Returns the Poseidon hash with an input rate of 4.
sourcefn hash_psd8(input: &[Field<Self>]) -> Field<Self>
fn hash_psd8(input: &[Field<Self>]) -> Field<Self>
Returns the Poseidon hash with an input rate of 8.
sourcefn hash_many_psd2(
input: &[Field<Self>],
num_outputs: u16
) -> Vec<Field<Self>, Global>ⓘNotable traits for Vec<u8, A>impl<A> Write for Vec<u8, A>where
A: Allocator,
fn hash_many_psd2(
input: &[Field<Self>],
num_outputs: u16
) -> Vec<Field<Self>, Global>ⓘNotable traits for Vec<u8, A>impl<A> Write for Vec<u8, A>where
A: Allocator,
A: Allocator,
Returns the extended Poseidon hash with an input rate of 2.
sourcefn hash_many_psd4(
input: &[Field<Self>],
num_outputs: u16
) -> Vec<Field<Self>, Global>ⓘNotable traits for Vec<u8, A>impl<A> Write for Vec<u8, A>where
A: Allocator,
fn hash_many_psd4(
input: &[Field<Self>],
num_outputs: u16
) -> Vec<Field<Self>, Global>ⓘNotable traits for Vec<u8, A>impl<A> Write for Vec<u8, A>where
A: Allocator,
A: Allocator,
Returns the extended Poseidon hash with an input rate of 4.
sourcefn hash_many_psd8(
input: &[Field<Self>],
num_outputs: u16
) -> Vec<Field<Self>, Global>ⓘNotable traits for Vec<u8, A>impl<A> Write for Vec<u8, A>where
A: Allocator,
fn hash_many_psd8(
input: &[Field<Self>],
num_outputs: u16
) -> Vec<Field<Self>, Global>ⓘNotable traits for Vec<u8, A>impl<A> Write for Vec<u8, A>where
A: Allocator,
A: Allocator,
Returns the extended Poseidon hash with an input rate of 8.
sourcefn hash_to_group_psd2(input: &[Field<Self>]) -> Group<Self>
fn hash_to_group_psd2(input: &[Field<Self>]) -> Group<Self>
Returns the Poseidon hash with an input rate of 2 on the affine curve.
sourcefn hash_to_group_psd4(input: &[Field<Self>]) -> Group<Self>
fn hash_to_group_psd4(input: &[Field<Self>]) -> Group<Self>
Returns the Poseidon hash with an input rate of 4 on the affine curve.
sourcefn hash_to_group_psd8(input: &[Field<Self>]) -> Group<Self>
fn hash_to_group_psd8(input: &[Field<Self>]) -> Group<Self>
Returns the Poseidon hash with an input rate of 8 on the affine curve.
sourcefn hash_to_scalar_psd2(input: &[Field<Self>]) -> Scalar<Self>
fn hash_to_scalar_psd2(input: &[Field<Self>]) -> Scalar<Self>
Returns the Poseidon hash with an input rate of 2 on the scalar field.
sourcefn hash_to_scalar_psd4(input: &[Field<Self>]) -> Scalar<Self>
fn hash_to_scalar_psd4(input: &[Field<Self>]) -> Scalar<Self>
Returns the Poseidon hash with an input rate of 4 on the scalar field.
sourcefn hash_to_scalar_psd8(input: &[Field<Self>]) -> Scalar<Self>
fn hash_to_scalar_psd8(input: &[Field<Self>]) -> Scalar<Self>
Returns the Poseidon hash with an input rate of 8 on the scalar field.
sourcefn verify_merkle_path_bhp<const DEPTH: u8>(
path: &MerklePath<Self, DEPTH>,
root: &Field<Self>,
leaf: &Vec<Boolean<Self>, Global>
) -> Boolean<Self>
fn verify_merkle_path_bhp<const DEPTH: u8>(
path: &MerklePath<Self, DEPTH>,
root: &Field<Self>,
leaf: &Vec<Boolean<Self>, Global>
) -> Boolean<Self>
Returns true if the given Merkle path is valid for the given root and leaf.
sourcefn verify_merkle_path_psd<const DEPTH: u8>(
path: &MerklePath<Self, DEPTH>,
root: &Field<Self>,
leaf: &Vec<Field<Self>, Global>
) -> Boolean<Self>
fn verify_merkle_path_psd<const DEPTH: u8>(
path: &MerklePath<Self, DEPTH>,
root: &Field<Self>,
leaf: &Vec<Field<Self>, Global>
) -> Boolean<Self>
Returns true if the given Merkle path is valid for the given root and leaf.