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) -> T where
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,

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 NAME: &'static str = "Aleo Testnet3"

The network name.

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 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_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 T where
T: 'static + ?Sized,

source

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

source

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

const: unstable · source

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

source

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

const: unstable · source

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

Mutably borrows from an owned value. Read more

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

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

source

impl<Q, K> Equivalent<K> for Q where
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 T where
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 T where
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 T where
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 T where
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 T where
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) -> T where 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,

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 NAME: &'static str = "Aleo Testnet3"

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 MAX_DATA_DEPTH: usize = 32usize

const MAX_DATA_ENTRIES: usize = 32usize

const MAX_DATA_SIZE_IN_FIELDS: u32 = _

const MAX_OPERANDS: usize = Self::MAX_INPUTS

const MAX_INSTRUCTIONS: usize = 65_535usize

const MAX_COMMANDS: usize = 255usize

const MAX_INPUTS: usize = 8usize

const MAX_OUTPUTS: usize = 8usize

impl PartialEq<Testnet3> for Testnet3

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

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

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

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

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

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 T where
T: 'static + ?Sized,

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

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

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

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

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

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

impl<T> ToOwned for T where
T: Clone,

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

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

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

impl<T> DeserializeOwned for T where
T: for<'de> Deserialize<'de>,