Struct snarkvm_console_network::Testnet3

source ·

pub struct Testnet3;

Trait Implementations

source

impl Clone for Testnet3

source

fn clone(&self) -> Testnet3

Returns a copy of the value. Read more

1.0.0 · source

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

Performs copy-assignment from source. Read more

source

impl Debug for Testnet3

source

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

Formats the value using the given formatter. Read more

source

impl<'de> Deserialize<'de> for Testnet3

source

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>where
__D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more

source

impl Environment for Testnet3

source

const EDWARDS_A: Self::Field = Console::EDWARDS_A

The coefficient A of the twisted Edwards curve.

source

const EDWARDS_D: Self::Field = Console::EDWARDS_D

The coefficient D of the twisted Edwards curve.

source

const MONTGOMERY_A: Self::Field = Console::MONTGOMERY_A

The coefficient A of the Montgomery curve.

source

const MONTGOMERY_B: Self::Field = Console::MONTGOMERY_B

The coefficient B of the Montgomery curve.

type Affine = <Console as Environment>::Affine

type BigInteger = <Console as Environment>::BigInteger

type Field = <Console as Environment>::Field

type PairingCurve = <Console as Environment>::PairingCurve

type Projective = <Console as Environment>::Projective

type Scalar = <Console as Environment>::Scalar

source

const MAX_STRING_BYTES: u32 = 255u32

The maximum number of bytes allowed in a string.

source

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

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

source

impl Hash for Testnet3

source

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

Feeds this value into the given Hasher. Read more

1.3.0 · source

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

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

source

impl Network for Testnet3

type BlockHash = AleoID<Field<Testnet3>, { hrp2!("ab") }>

The block hash type.

type StateRoot = AleoID<Field<Testnet3>, { hrp2!("ar") }>

The state root type.

type TransactionID = AleoID<Field<Testnet3>, { hrp2!("at") }>

The transaction ID type.

type TransitionID = AleoID<Field<Testnet3>, { hrp2!("as") }>

The transition ID type.

source

const EDITION: u16 = 0u16

The network edition.

source

const ID: u16 = 3u16

The network ID.

source

const INCLUSION_FUNCTION_NAME: &'static str = snarkvm_parameters::testnet3::TESTNET3_INCLUSION_FUNCTION_NAME

The function name for the inclusion circuit.

source

const NAME: &'static str = "Aleo Testnet3"

The network name.

source

fn genesis_bytes() -> &'static [u8]ⓘNotable traits for &mut [u8]`impl Write for &mut [u8]impl Read for &[u8]`

Returns the genesis block bytes.

source

fn universal_srs_bytes() -> &'static [u8]ⓘNotable traits for &mut [u8]`impl Write for &mut [u8]impl Read for &[u8]`

Returns the universal SRS bytes.

source

fn get_credits_key_bytes(
function_name: String
) -> Result<&'static (Vec<u8>, Vec<u8>)>

Returns the (proving key, verifying key) bytes for the given function name in credits.aleo.

source

fn inclusion_proving_key_bytes() -> &'static Vec<u8>ⓘNotable traits for Vec<u8, A>`impl<A> Write for Vec<u8, A>where A: Allocator,`

Returns the proving key bytes for the inclusion circuit.

source

fn inclusion_verifying_key_bytes() -> &'static Vec<u8>ⓘNotable traits for Vec<u8, A>`impl<A> Write for Vec<u8, A>where A: Allocator,`

Returns the verifying key bytes for the inclusion circuit.

source

fn g_powers() -> &'static Vec<Group<Self>>ⓘNotable traits for Vec<u8, A>`impl<A> Write for Vec<u8, A>where A: Allocator,`

Returns the powers of G.

source

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

Returns the scalar multiplication on the generator G.

source

fn marlin_fs_parameters() -> &'static FiatShamirParameters<Self>

Returns the sponge parameters used for the sponge in the Marlin SNARK.

source

fn bcm_domain() -> Field<Self>

Returns the balance commitment domain as a constant field element.

source

fn encryption_domain() -> Field<Self>

Returns the encryption domain as a constant field element.

source

fn graph_key_domain() -> Field<Self>

Returns the graph key domain as a constant field element.

source

fn randomizer_domain() -> Field<Self>

Returns the randomizer domain as a constant field element.

source

fn r_bcm_domain() -> Field<Self>

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

source

fn serial_number_domain() -> Field<Self>

Returns the serial number domain as a constant field element.

source

fn commit_bhp256(
input: &[bool],
randomizer: &Scalar<Self>
) -> Result<Field<Self>>

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

source

fn commit_bhp512(
input: &[bool],
randomizer: &Scalar<Self>
) -> Result<Field<Self>>

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

source

fn commit_bhp768(
input: &[bool],
randomizer: &Scalar<Self>
) -> Result<Field<Self>>

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

source

fn commit_bhp1024(
input: &[bool],
randomizer: &Scalar<Self>
) -> Result<Field<Self>>

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

source

fn commit_ped64(input: &[bool], randomizer: &Scalar<Self>) -> Result<Group<Self>>

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

source

fn commit_ped128(
input: &[bool],
randomizer: &Scalar<Self>
) -> Result<Group<Self>>

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

source

fn hash_bhp256(input: &[bool]) -> Result<Field<Self>>

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

source

fn hash_bhp512(input: &[bool]) -> Result<Field<Self>>

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

source

fn hash_bhp768(input: &[bool]) -> Result<Field<Self>>

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

source

fn hash_bhp1024(input: &[bool]) -> Result<Field<Self>>

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

source

fn hash_ped64(input: &[bool]) -> Result<Field<Self>>

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

source

fn hash_ped128(input: &[bool]) -> Result<Field<Self>>

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

source

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

Returns the Poseidon hash with an input rate of 2.

source

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

Returns the Poseidon hash with an input rate of 4.

source

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

Returns the Poseidon hash with an input rate of 8.

source

fn hash_many_psd2(input: &[Field<Self>], num_outputs: u16) -> Vec<Field<Self>>ⓘNotable traits for Vec<u8, A>`impl<A> Write for Vec<u8, A>where A: Allocator,`

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

source

fn hash_many_psd4(input: &[Field<Self>], num_outputs: u16) -> Vec<Field<Self>>ⓘNotable traits for Vec<u8, A>`impl<A> Write for Vec<u8, A>where A: Allocator,`

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

source

fn hash_many_psd8(input: &[Field<Self>], num_outputs: u16) -> Vec<Field<Self>>ⓘNotable traits for Vec<u8, A>`impl<A> Write for Vec<u8, A>where A: Allocator,`

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

source

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

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

source

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

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

source

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

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

source

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

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

source

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

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

source

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

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

source

fn merkle_tree_bhp<const DEPTH: u8>(
leaves: &[Vec<bool>]
) -> Result<BHPMerkleTree<Self, DEPTH>>

Returns a Merkle tree with a BHP leaf hasher of 1024-bits and a BHP path hasher of 512-bits.

source

fn merkle_tree_psd<const DEPTH: u8>(
leaves: &[Vec<Field<Self>>]
) -> Result<PoseidonMerkleTree<Self, DEPTH>>

Returns a Merkle tree with a Poseidon leaf hasher with input rate of 4 and a Poseidon path hasher with input rate of 2.

source

fn verify_merkle_path_bhp<const DEPTH: u8>(
 path: &MerklePath<Self, DEPTH>,
 root: &Field<Self>,
 leaf: &Vec<bool>
) -> bool

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

source

fn verify_merkle_path_psd<const DEPTH: u8>(
 path: &MerklePath<Self, DEPTH>,
 root: &Field<Self>,
 leaf: &Vec<Field<Self>>
) -> bool

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

source

const GENESIS_TIMESTAMP: i64 = 1_663_718_400i64

The fixed timestamp of the genesis block.

source

const GENESIS_COINBASE_TARGET: u64 = 1_023u64

The genesis block coinbase target.

source

const GENESIS_PROOF_TARGET: u64 = 0u64

The genesis block proof target.

source

const STARTING_SUPPLY: u64 = 1_100_000_000_000_000u64

The starting supply of Aleo credits.

source

const ANCHOR_TIME: u16 = 20u16

The anchor time per block in seconds, which must be greater than the round time per block.

source

const COINBASE_PUZZLE_DEGREE: u32 = 8_191u32

The coinbase puzzle degree.

source

const MAX_PROVER_SOLUTIONS: usize = 1_048_576usize

The maximum number of prover solutions that can be included per block.

source

const NUM_BLOCKS_PER_EPOCH: u32 = 256u32

The number of blocks per epoch (1 hour).

source

const MAX_DATA_DEPTH: usize = 32usize

The maximum recursive depth of a value and/or entry. Note: This value must be strictly less than u8::MAX. Read more

source

const MAX_DATA_ENTRIES: usize = 32usize

The maximum number of values and/or entries in data.

source

const MAX_DATA_SIZE_IN_FIELDS: u32 = _

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

source

const MAX_FUNCTIONS: usize = 15usize

The maximum number of functions in a program.

source

const MAX_OPERANDS: usize = Self::MAX_INPUTS

The maximum number of operands in an instruction.

source

const MAX_INSTRUCTIONS: usize = 65_535usize

The maximum number of instructions in a closure or function.

source

const MAX_COMMANDS: usize = 255usize

The maximum number of commands in finalize.

source

const MAX_INPUTS: usize = 8usize

The maximum number of inputs per transition.

source

const MAX_OUTPUTS: usize = 8usize

The maximum number of outputs per transition.

source

impl PartialEq<Testnet3> for Testnet3

source

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

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

1.0.0 · source

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. Read more

source

impl Serialize for Testnet3

source

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>where
S: Serializer,

Serialize this value into the given Serde serializer. Read more

source

impl StructuralPartialEq for Testnet3

Auto Trait Implementations

impl RefUnwindSafe for Testnet3

impl Send for Testnet3

impl Sync for Testnet3

impl Unpin for Testnet3

impl UnwindSafe for Testnet3

Blanket Implementations

source

impl<T> Any for Twhere
T: 'static + ?Sized,

source

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

source

impl<T> Borrow<T> for Twhere
T: ?Sized,

const: unstable · source

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

source

impl<T> BorrowMut<T> for Twhere
T: ?Sized,

const: unstable · source

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> CallHasher for Twhere
T: Hash + ?Sized,

default fn get_hash<H, B>(value: &H, build_hasher: &B) -> u64where
H: Hash + ?Sized,
B: BuildHasher,

source

impl<Q, K> Equivalent<K> for Qwhere
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,

source

fn equivalent(&self, key: &K) -> bool

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

source

impl<T> From<T> for T

const: unstable · source

fn from(t: T) -> T

Returns the argument unchanged.

source

impl<T, U> Into for Twhere
U: From<T>,

const: unstable · source

fn into(self) -> U

Calls U::from(self).

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

impl<T> Pointable for T

const ALIGN: usize = mem::align_of::<T>()

The alignment of pointer.

type Init = T

The type for initializers.

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more

unsafe fn drop(ptr: usize)

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

source

impl<T> Same<T> for T

type Output = T

Should always be Self

source

impl<T> ToOwned for Twhere
T: Clone,

type Owned = T

The resulting type after obtaining ownership.

source

fn to_owned(&self) -> T

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

source

fn clone_into(&self, target: &mut T)

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

source

impl<T, U> TryFrom for Twhere
U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

const: unstable · source

fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>

Performs the conversion.

source

impl<T, U> TryInto for Twhere
U: TryFrom<T>,

type Error = >::Error

The type returned in the event of a conversion error.

const: unstable · source

fn try_into(self) -> Result<U, >::Error>

Performs the conversion.

impl<V, T> VZip<V> for Twhere
V: MultiLane<T>,

fn vzip(self) -> V

source

Struct snarkvm_console_network::Testnet3

Trait Implementations

impl Clone for Testnet3

fn clone(&self) -> Testnet3

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

impl Debug for Testnet3

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

impl<'de> Deserialize<'de> for Testnet3

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where __D: Deserializer<'de>,

impl Environment for Testnet3

const EDWARDS_A: Self::Field = Console::EDWARDS_A

const EDWARDS_D: Self::Field = Console::EDWARDS_D

const MONTGOMERY_A: Self::Field = Console::MONTGOMERY_A

const MONTGOMERY_B: Self::Field = Console::MONTGOMERY_B

type Affine = <Console as Environment>::Affine

type BigInteger = <Console as Environment>::BigInteger

type Field = <Console as Environment>::Field

type PairingCurve = <Console as Environment>::PairingCurve

type Projective = <Console as Environment>::Projective

type Scalar = <Console as Environment>::Scalar

const MAX_STRING_BYTES: u32 = 255u32

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

impl Hash for Testnet3

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

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

impl Network for Testnet3

type BlockHash = AleoID<Field<Testnet3>, { hrp2!("ab") }>

type StateRoot = AleoID<Field<Testnet3>, { hrp2!("ar") }>

type TransactionID = AleoID<Field<Testnet3>, { hrp2!("at") }>

type TransitionID = AleoID<Field<Testnet3>, { hrp2!("as") }>

const EDITION: u16 = 0u16

const ID: u16 = 3u16

const INCLUSION_FUNCTION_NAME: &'static str = snarkvm_parameters::testnet3::TESTNET3_INCLUSION_FUNCTION_NAME

const NAME: &'static str = "Aleo Testnet3"

fn genesis_bytes() -> &'static [u8]ⓘNotable traits for &mut [u8]impl Write for &mut [u8]impl Read for &[u8]

fn universal_srs_bytes() -> &'static [u8]ⓘNotable traits for &mut [u8]impl Write for &mut [u8]impl Read for &[u8]

fn get_credits_key_bytes( function_name: String) -> Result<&'static (Vec<u8>, Vec<u8>)>

fn inclusion_proving_key_bytes() -> &'static Vec<u8>ⓘNotable traits for Vec<u8, A>impl<A> Write for Vec<u8, A>where A: Allocator,

fn inclusion_verifying_key_bytes() -> &'static Vec<u8>ⓘNotable traits for Vec<u8, A>impl<A> Write for Vec<u8, A>where A: Allocator,

fn g_powers() -> &'static Vec<Group<Self>>ⓘNotable traits for Vec<u8, A>impl<A> Write for Vec<u8, A>where A: Allocator,

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

fn marlin_fs_parameters() -> &'static FiatShamirParameters<Self>

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 commit_bhp256( input: &[bool], randomizer: &Scalar<Self>) -> Result<Field<Self>>

fn commit_bhp512( input: &[bool], randomizer: &Scalar<Self>) -> Result<Field<Self>>

fn commit_bhp768( input: &[bool], randomizer: &Scalar<Self>) -> Result<Field<Self>>

fn commit_bhp1024( input: &[bool], randomizer: &Scalar<Self>) -> Result<Field<Self>>

fn commit_ped64(input: &[bool], randomizer: &Scalar<Self>) -> Result<Group<Self>>

fn commit_ped128( input: &[bool], randomizer: &Scalar<Self>) -> Result<Group<Self>>

fn hash_bhp256(input: &[bool]) -> Result<Field<Self>>

fn hash_bhp512(input: &[bool]) -> Result<Field<Self>>

fn hash_bhp768(input: &[bool]) -> Result<Field<Self>>

fn hash_bhp1024(input: &[bool]) -> Result<Field<Self>>

fn hash_ped64(input: &[bool]) -> Result<Field<Self>>

fn hash_ped128(input: &[bool]) -> Result<Field<Self>>

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

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

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

fn hash_many_psd2(input: &[Field<Self>], num_outputs: u16) -> Vec<Field<Self>>ⓘ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>>ⓘ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>>ⓘNotable traits for Vec<u8, A>impl<A> Write for Vec<u8, A>where A: Allocator,

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

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

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

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

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

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

fn merkle_tree_bhp<const DEPTH: u8>( leaves: &[Vec<bool>]) -> Result<BHPMerkleTree<Self, DEPTH>>

fn merkle_tree_psd<const DEPTH: u8>( leaves: &[Vec<Field<Self>>]) -> Result<PoseidonMerkleTree<Self, DEPTH>>

fn verify_merkle_path_bhp<const DEPTH: u8>( path: &MerklePath<Self, DEPTH>, root: &Field<Self>, leaf: &Vec<bool>) -> bool

fn verify_merkle_path_psd<const DEPTH: u8>( path: &MerklePath<Self, DEPTH>, root: &Field<Self>, leaf: &Vec<Field<Self>>) -> bool

const GENESIS_TIMESTAMP: i64 = 1_663_718_400i64

const GENESIS_COINBASE_TARGET: u64 = 1_023u64

const GENESIS_PROOF_TARGET: u64 = 0u64

const STARTING_SUPPLY: u64 = 1_100_000_000_000_000u64

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>where
__D: Deserializer<'de>,

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

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

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

fn genesis_bytes() -> &'static [u8]ⓘNotable traits for &mut [u8]`impl Write for &mut [u8]impl Read for &[u8]`

fn universal_srs_bytes() -> &'static [u8]ⓘNotable traits for &mut [u8]`impl Write for &mut [u8]impl Read for &[u8]`

fn get_credits_key_bytes(
function_name: String
) -> Result<&'static (Vec<u8>, Vec<u8>)>

fn inclusion_proving_key_bytes() -> &'static Vec<u8>ⓘNotable traits for Vec<u8, A>`impl<A> Write for Vec<u8, A>where A: Allocator,`

fn inclusion_verifying_key_bytes() -> &'static Vec<u8>ⓘNotable traits for Vec<u8, A>`impl<A> Write for Vec<u8, A>where A: Allocator,`

fn g_powers() -> &'static Vec<Group<Self>>ⓘNotable traits for Vec<u8, A>`impl<A> Write for Vec<u8, A>where A: Allocator,`

fn commit_bhp256(
input: &[bool],
randomizer: &Scalar<Self>
) -> Result<Field<Self>>

fn commit_bhp512(
input: &[bool],
randomizer: &Scalar<Self>
) -> Result<Field<Self>>

fn commit_bhp768(
input: &[bool],
randomizer: &Scalar<Self>
) -> Result<Field<Self>>

fn commit_bhp1024(
input: &[bool],
randomizer: &Scalar<Self>
) -> Result<Field<Self>>

fn commit_ped128(
input: &[bool],
randomizer: &Scalar<Self>
) -> Result<Group<Self>>

fn hash_many_psd2(input: &[Field<Self>], num_outputs: u16) -> Vec<Field<Self>>ⓘ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>>ⓘ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>>ⓘNotable traits for Vec<u8, A>`impl<A> Write for Vec<u8, A>where A: Allocator,`

fn merkle_tree_bhp<const DEPTH: u8>(
leaves: &[Vec<bool>]
) -> Result<BHPMerkleTree<Self, DEPTH>>

fn merkle_tree_psd<const DEPTH: u8>(
leaves: &[Vec<Field<Self>>]
) -> Result<PoseidonMerkleTree<Self, DEPTH>>

fn verify_merkle_path_bhp<const DEPTH: u8>(
path: &MerklePath<Self, DEPTH>,
root: &Field<Self>,
leaf: &Vec<bool>
) -> bool

fn verify_merkle_path_psd<const DEPTH: u8>(
path: &MerklePath<Self, DEPTH>,
root: &Field<Self>,
leaf: &Vec<Field<Self>>
) -> bool

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>where
S: Serializer,

impl<T> Any for Twhere
T: 'static + ?Sized,

impl<T> Borrow<T> for Twhere
T: ?Sized,

impl<T> BorrowMut<T> for Twhere
T: ?Sized,

impl<T> CallHasher for Twhere
T: Hash + ?Sized,

default fn get_hash<H, B>(value: &H, build_hasher: &B) -> u64where
H: Hash + ?Sized,
B: BuildHasher,

impl<Q, K> Equivalent<K> for Qwhere
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,

impl<T, U> Into<U> for Twhere
U: From<T>,

impl<T> ToOwned for Twhere
T: Clone,

impl<T, U> TryFrom<U> for Twhere
U: Into<T>,

impl<T, U> TryInto<U> for Twhere
U: TryFrom<T>,

impl<V, T> VZip<V> for Twhere
V: MultiLane<T>,