Struct snarkvm_console_network::Testnet3

pub struct Testnet3;

Trait Implementations

impl Clone for Testnet3

fn clone(&self) -> Testnet3

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Testnet3

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

Formats the value using the given formatter.

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

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

Deserialize this value from the given Serde deserializer.

impl Environment for Testnet3

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

The coefficient A of the twisted Edwards curve.

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

The coefficient D of the twisted Edwards curve.

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

The coefficient A of the Montgomery curve.

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

const MAX_STRING_BYTES: u32 = 255u32

The maximum number of bytes allowed in a string.

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

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

impl Hash for Testnet3

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

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

const EDITION: u16 = 0u16

The network edition.

const ID: u16 = 3u16

The network ID.

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

The function name for the inclusion circuit.

const NAME: &'static str = "Aleo Testnet 3"

The network name.

fn genesis_bytes() -> &'static [u8]

Returns the genesis block bytes.

fn get_credits_proving_key(
    function_name: String
) -> Result<&'static Arc<CircuitProvingKey<<Self as Environment>::PairingCurve, MarlinHidingMode>>>

Returns the proving key for the given function name in credits.aleo.

fn get_credits_verifying_key(
    function_name: String
) -> Result<&'static Arc<CircuitVerifyingKey<<Self as Environment>::PairingCurve, MarlinHidingMode>>>

Returns the verifying key for the given function name in credits.aleo.

fn inclusion_proving_key(
) -> &'static Arc<CircuitProvingKey<<Self as Environment>::PairingCurve, MarlinHidingMode>>

Returns the proving key for the inclusion circuit.

fn inclusion_verifying_key(
) -> &'static Arc<CircuitVerifyingKey<<Self as Environment>::PairingCurve, MarlinHidingMode>>

Returns the verifying key for the inclusion circuit.

fn g_powers() -> &'static Vec<Group<Self>>

Returns the powers of G.

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

Returns the scalar multiplication on the generator G.

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

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

fn bcm_domain() -> Field<Self>

Returns the balance commitment domain as a constant field element.

fn encryption_domain() -> Field<Self>

Returns the encryption domain as a constant field element.

fn graph_key_domain() -> Field<Self>

Returns the graph key domain as a constant field element.

fn randomizer_domain() -> Field<Self>

Returns the randomizer domain as a constant field element.

fn r_bcm_domain() -> Field<Self>

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

fn serial_number_domain() -> Field<Self>

Returns the serial number domain as a constant field element.

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

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

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

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

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

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

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

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

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.

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.

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

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

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

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

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

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

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

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

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

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

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

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

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

Returns the Poseidon hash with an input rate of 2.

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

Returns the Poseidon hash with an input rate of 4.

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

Returns the Poseidon hash with an input rate of 8.

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

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

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

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

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

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

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

const GENESIS_TIMESTAMP: i64 = 1_663_718_400i64

The fixed timestamp of the genesis block.

const GENESIS_COINBASE_TARGET: u64 = 1_023u64

The genesis block coinbase target.

const GENESIS_PROOF_TARGET: u64 = 8u64

The genesis block proof target.

const STARTING_SUPPLY: u64 = 1_100_000_000_000_000u64

The starting supply of Aleo credits.

const ANCHOR_TIME: u16 = 25u16

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

const COINBASE_PUZZLE_DEGREE: u32 = 8_191u32

The coinbase puzzle degree.

const MAX_PROVER_SOLUTIONS: usize = 1_048_576usize

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

const NUM_BLOCKS_PER_EPOCH: u32 = 256u32

The number of blocks per epoch (1 hour).

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.

const MAX_DATA_ENTRIES: usize = 32usize

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

const MAX_DATA_SIZE_IN_FIELDS: u32 = _

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

const MAX_FUNCTIONS: usize = 15usize

The maximum number of functions in a program.

const MAX_OPERANDS: usize = Self::MAX_INPUTS

The maximum number of operands in an instruction.

const MAX_INSTRUCTIONS: usize = 65_535usize

The maximum number of instructions in a closure or function.

const MAX_COMMANDS: usize = 255usize

The maximum number of commands in finalize.

const MAX_INPUTS: usize = 8usize

The maximum number of inputs per transition.

const MAX_OUTPUTS: usize = 8usize

The maximum number of outputs per transition.

impl PartialEq<Testnet3> for Testnet3

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

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

Serialize this value into the given Serde serializer.

impl Copy for Testnet3

impl Eq for Testnet3

impl StructuralEq for Testnet3

impl StructuralPartialEq for Testnet3