Struct snarkvm_dpc::network::testnet1::Testnet1

source · [−]

pub struct Testnet1;

Trait Implementations

source

impl Clone for Testnet1

source

fn clone(&self) -> Testnet1

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 Testnet1

source

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

Formats the value using the given formatter. Read more

source

impl Default for Testnet1

source

fn default() -> Testnet1

Returns the “default value” for a type. Read more

source

impl<'de> Deserialize<'de> for Testnet1

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 Network for Testnet1

source

fn program_srs<R: Rng + CryptoRng>(
rng: &mut R
) -> Rc<RefCell<SRS<'_, R, <Self::ProgramSNARK as SNARK>::UniversalSetupParameters>>>

Returns the program SRS for Aleo applications.

source

const ALEO_FUTURE_TIME_LIMIT_IN_SECS: i64

The maximum future block time.

source

const ALEO_MAXIMUM_FORK_DEPTH: u32

The maximum number of blocks that a fork can be.

type InnerCurve = Bls12_377

Inner curve type declarations.

type InnerScalarField = <Self::InnerCurve as PairingEngine>::Fr

type OuterCurve = BW6_761

Outer curve type declarations.

type OuterBaseField = <Self::OuterCurve as PairingEngine>::Fq

type OuterScalarField = <Self::OuterCurve as PairingEngine>::Fr

type ProgramAffineCurve = EdwardsBls12Affine

Program curve type declarations.

type ProgramAffineCurveGadget = EdwardsBls12Gadget

type ProgramProjectiveCurve = EdwardsBls12Projective

type ProgramCurveParameters = EdwardsParameters

type ProgramBaseField = <Self::ProgramCurveParameters as ModelParameters>::BaseField

type ProgramScalarField = <Self::ProgramCurveParameters as ModelParameters>::ScalarField

type InnerSNARK = Groth16<Self::InnerCurve, InnerPublicVariables<Testnet1>>

SNARK for inner circuit proof generation.

type InnerSNARKGadget = Groth16VerifierGadget<Self::InnerCurve, PairingGadget>

type InnerProof = AleoObject<<Self::InnerSNARK as SNARK>::Proof, { Self::INNER_PROOF_PREFIX }, { Self::INNER_PROOF_SIZE_IN_BYTES }>

type OuterSNARK = Groth16<Self::OuterCurve, OuterPublicVariables<Testnet1>>

SNARK for proof-verification checks.

type OuterProof = AleoObject<<Self::OuterSNARK as SNARK>::Proof, { Self::OUTER_PROOF_PREFIX }, { Self::OUTER_PROOF_SIZE_IN_BYTES }>

type ProgramSNARK = Groth16<Self::InnerCurve, ProgramPublicVariables<Self>>

SNARK for Aleo program functions.

type ProgramSNARKGadget = Groth16VerifierGadget<Self::InnerCurve, PairingGadget>

type ProgramProvingKey = <Self::ProgramSNARK as SNARK>::ProvingKey

type ProgramVerifyingKey = <Self::ProgramSNARK as SNARK>::VerifyingKey

type ProgramProof = AleoObject<<Self::ProgramSNARK as SNARK>::Proof, { Self::PROGRAM_PROOF_PREFIX }, { Self::PROGRAM_PROOF_SIZE_IN_BYTES }>

type PoSWSNARK = MarlinSNARK<Self::InnerScalarField, Self::OuterScalarField, SonicKZG10<Self::InnerCurve>, FiatShamirAlgebraicSpongeRng<Self::InnerScalarField, Self::OuterScalarField, PoseidonSponge<Self::OuterScalarField, 6, 1>>, MarlinPoswMode, Vec<Self::InnerScalarField>>

SNARK for PoSW.

type PoSWProof = AleoObject<<Self::PoSWSNARK as SNARK>::Proof, { Self::HEADER_PROOF_PREFIX }, { Self::HEADER_PROOF_SIZE_IN_BYTES }>

type PoSW = PoSW<Self>

type AccountEncryptionScheme = ECIESPoseidonEncryption<Self::ProgramCurveParameters>

Encryption scheme for accounts. Invoked only over Self::InnerScalarField.

type AccountEncryptionGadget = ECIESPoseidonEncryptionGadget<Self::ProgramCurveParameters, Self::InnerScalarField>

type AccountSeedPRF = PoseidonPRF<Self::ProgramScalarField, 4, false>

PRF for deriving the account private key from a seed.

type AccountSeed = <Self::AccountSeedPRF as PRF>::Seed

type AccountSignatureScheme = AleoSignatureScheme<Self::ProgramCurveParameters>

Signature scheme for transaction authorizations. Invoked only over Self::InnerScalarField.

type AccountSignatureGadget = AleoSignatureSchemeGadget<Self::ProgramCurveParameters, Self::InnerScalarField>

type AccountSignaturePublicKey = <Self::AccountSignatureScheme as SignatureScheme>::PublicKey

type AccountSignature = AleoObject<<Self::AccountSignatureScheme as SignatureScheme>::Signature, { Self::SIGNATURE_PREFIX }, { Self::SIGNATURE_SIZE_IN_BYTES }>

type BlockHashCRH = BHPCRH<Self::ProgramProjectiveCurve, 16, 32>

CRH schemes for the block hash. Invoked only over Self::InnerScalarField.

type BlockHashCRHGadget = BHPCRHGadget<Self::ProgramProjectiveCurve, Self::InnerScalarField, Self::ProgramAffineCurveGadget, 16, 32>

type BlockHash = AleoLocator<<Self::BlockHashCRH as CRH>::Output, { Self::BLOCK_HASH_PREFIX }>

type BlockHeaderRootCRH = PedersenCompressedCRH<Self::ProgramProjectiveCurve, 4, 128>

Masked Merkle scheme for the block header root on Proof of Succinct Work (PoSW). Invoked only over Self::InnerScalarField.

type BlockHeaderRootCRHGadget = PedersenCompressedCRHGadget<Self::ProgramProjectiveCurve, Self::InnerScalarField, Self::ProgramAffineCurveGadget, 4, 128>

type BlockHeaderRootParameters = MaskedMerkleTreeParameters<Self::BlockHeaderRootCRH, { Self::HEADER_TREE_DEPTH }>

type BlockHeaderRoot = AleoLocator<<Self::BlockHeaderRootCRH as CRH>::Output, { Self::HEADER_ROOT_PREFIX }>

type CommitmentScheme = BHPCRH<Self::ProgramProjectiveCurve, 41, 63>

Commitment scheme for records. Invoked only over Self::InnerScalarField.

type CommitmentGadget = BHPCRHGadget<Self::ProgramProjectiveCurve, Self::InnerScalarField, Self::ProgramAffineCurveGadget, 41, 63>

type Commitment = AleoLocator<<Self::CommitmentScheme as CRH>::Output, { Self::COMMITMENT_PREFIX }>

type FunctionIDCRH = PoseidonCRH<Self::OuterScalarField, 34>

CRH for deriving function IDs. Invoked only over Self::OuterScalarField.

type FunctionIDCRHGadget = PoseidonCRHGadget<Self::OuterScalarField, 34>

type FunctionID = AleoLocator<<Self::FunctionIDCRH as CRH>::Output, { Self::FUNCTION_ID_PREFIX }>

type FunctionInputsCRH = PoseidonCRH<Self::InnerScalarField, 128>

Crypto hash for deriving the function inputs hash. Invoked only over Self::InnerScalarField.

type FunctionInputsCRHGadget = PoseidonCRHGadget<Self::InnerScalarField, 128>

type FunctionInputsHash = AleoLocator<<Self::FunctionInputsCRH as CRH>::Output, { Self::FUNCTION_INPUTS_HASH_PREFIX }>

type InnerCircuitIDCRH = BHPCRH<EdwardsBW6, 85, 63>

CRH for hash of the Self::InnerSNARK verifying keys. Invoked only over Self::OuterScalarField.

type InnerCircuitIDCRHGadget = BHPCRHGadget<EdwardsBW6, Self::OuterScalarField, EdwardsBW6Gadget, 85, 63>

type InnerCircuitID = AleoLocator<<Self::InnerCircuitIDCRH as CRH>::Output, { Self::INNER_CIRCUIT_ID_PREFIX }>

type LedgerRootCRH = BHPCRH<Self::ProgramProjectiveCurve, 16, 32>

Merkle scheme for computing the ledger root. Invoked only over Self::InnerScalarField.

type LedgerRootCRHGadget = BHPCRHGadget<Self::ProgramProjectiveCurve, Self::InnerScalarField, Self::ProgramAffineCurveGadget, 16, 32>

type LedgerRootParameters = MerkleTreeParameters<Self::LedgerRootCRH, { Self::LEDGER_TREE_DEPTH }>

type LedgerRoot = AleoLocator<<Self::LedgerRootCRH as CRH>::Output, { Self::LEDGER_ROOT_PREFIX }>

type PoSWMaskPRF = PoseidonPRF<Self::InnerScalarField, 4, false>

Schemes for PoSW. Invoked only over Self::InnerScalarField.

type PoSWMaskPRFGadget = PoseidonPRFGadget<Self::InnerScalarField, 4, false>

type PoSWNonce = AleoLocator<Self::InnerScalarField, { Self::HEADER_NONCE_PREFIX }>

type ProgramIDCRH = BHPCRH<EdwardsBW6, 16, 48>

CRH for deriving program IDs. Invoked only over Self::OuterScalarField.

type ProgramIDCRHGadget = BHPCRHGadget<EdwardsBW6, Self::OuterScalarField, EdwardsBW6Gadget, 16, 48>

type ProgramIDParameters = MerkleTreeParameters<Self::ProgramIDCRH, { Self::PROGRAM_TREE_DEPTH }>

type ProgramID = AleoLocator<<Self::ProgramIDCRH as CRH>::Output, { Self::PROGRAM_ID_PREFIX }>

type RecordCiphertext = AleoObject<Ciphertext<Self>, { Self::RECORD_CIPHERTEXT_PREFIX }, { Self::RECORD_CIPHERTEXT_SIZE_IN_BYTES }>

Encryption scheme for records. Invoked only over Self::InnerScalarField.

type RecordRandomizer = AleoLocator<<Self::AccountEncryptionScheme as EncryptionScheme>::CiphertextRandomizer, { Self::RECORD_RANDOMIZER_PREFIX }>

type RecordViewKey = AleoObject<<Self::AccountEncryptionScheme as EncryptionScheme>::SymmetricKey, { Self::RECORD_VIEW_KEY_PREFIX }, { Self::RECORD_VIEW_KEY_SIZE_IN_BYTES }>

type RecordViewKeyCommitment = AleoLocator<<Self::AccountEncryptionScheme as EncryptionScheme>::SymmetricKeyCommitment, { Self::RECORD_VIEW_KEY_COMMITMENT_PREFIX }>

type SerialNumberPRF = PoseidonPRF<Self::InnerScalarField, 4, false>

PRF for computing serial numbers. Invoked only over Self::InnerScalarField.

type SerialNumberPRFGadget = PoseidonPRFGadget<Self::InnerScalarField, 4, false>

type SerialNumber = AleoLocator<<Self::SerialNumberPRF as PRF>::Output, { Self::SERIAL_NUMBER_PREFIX }>

type TransactionsRootCRH = BHPCRH<Self::ProgramProjectiveCurve, 16, 32>

Merkle scheme for computing the block transactions root. Invoked only over Self::InnerScalarField.

type TransactionsRootCRHGadget = BHPCRHGadget<Self::ProgramProjectiveCurve, Self::InnerScalarField, Self::ProgramAffineCurveGadget, 16, 32>

type TransactionsRootParameters = MerkleTreeParameters<Self::TransactionsRootCRH, { Self::HEADER_TRANSACTIONS_TREE_DEPTH }>

type TransactionsRoot = AleoLocator<<Self::TransactionsRootCRH as CRH>::Output, { Self::HEADER_TRANSACTIONS_ROOT_PREFIX }>

type TransactionIDCRH = BHPCRH<Self::ProgramProjectiveCurve, 16, 32>

Merkle scheme for computing the transaction ID. Invoked only over Self::InnerScalarField.

type TransactionIDCRHGadget = BHPCRHGadget<Self::ProgramProjectiveCurve, Self::InnerScalarField, Self::ProgramAffineCurveGadget, 16, 32>

type TransactionIDParameters = MerkleTreeParameters<Self::TransactionIDCRH, { Self::TRANSACTION_TREE_DEPTH }>

type TransactionID = AleoLocator<<Self::TransactionIDCRH as CRH>::Output, { Self::TRANSACTION_ID_PREFIX }>

type TransitionIDCRH = BHPCRH<Self::ProgramProjectiveCurve, 16, 32>

Merkle scheme for computing the transition ID. Invoked only over Self::InnerScalarField.

type TransitionIDCRHGadget = BHPCRHGadget<Self::ProgramProjectiveCurve, Self::InnerScalarField, Self::ProgramAffineCurveGadget, 16, 32>

type TransitionIDParameters = MerkleTreeParameters<Self::TransitionIDCRH, { Self::TRANSITION_TREE_DEPTH }>

type TransitionID = AleoLocator<<Self::TransitionIDCRH as CRH>::Output, { Self::TRANSITION_ID_PREFIX }>

source

fn account_encryption_scheme() -> &'static Self::AccountEncryptionScheme

source

fn account_signature_scheme() -> &'static Self::AccountSignatureScheme

source

fn block_hash_crh() -> &'static Self::BlockHashCRH

source

fn block_header_root_parameters() -> &'static Self::BlockHeaderRootParameters

source

fn commitment_scheme() -> &'static Self::CommitmentScheme

source

fn function_id_crh() -> &'static Self::FunctionIDCRH

source

fn inner_circuit_id_crh() -> &'static Self::InnerCircuitIDCRH

source

fn ledger_root_parameters() -> &'static Self::LedgerRootParameters

source

fn program_id_parameters() -> &'static Self::ProgramIDParameters

source

fn transactions_root_parameters() -> &'static Self::TransactionsRootParameters

source

fn transaction_id_parameters() -> &'static Self::TransactionIDParameters

source

fn transition_id_parameters() -> &'static Self::TransitionIDParameters

source

fn inner_proving_key() -> &'static <Self::InnerSNARK as SNARK>::ProvingKey

source

fn inner_verifying_key() -> &'static <Self::InnerSNARK as SNARK>::VerifyingKey

source

fn outer_proving_key() -> &'static <Self::OuterSNARK as SNARK>::ProvingKey

source

fn outer_verifying_key() -> &'static <Self::OuterSNARK as SNARK>::VerifyingKey

source

fn noop_circuit_proving_key(
) -> &'static <Self::ProgramSNARK as SNARK>::ProvingKey

source

fn noop_circuit_verifying_key(
) -> &'static <Self::ProgramSNARK as SNARK>::VerifyingKey

source

fn posw_proving_key() -> &'static <Self::PoSWSNARK as SNARK>::ProvingKey

source

fn posw_verifying_key() -> &'static <Self::PoSWSNARK as SNARK>::VerifyingKey

source

fn inner_circuit_id() -> &'static Self::InnerCircuitID

source

fn noop_program() -> &'static Program<Self>

source

fn noop_program_id() -> &'static Self::ProgramID

source

fn noop_program_path() -> &'static MerklePath<Self::ProgramIDParameters>

source

fn noop_function_id() -> &'static Self::FunctionID

source

fn posw() -> &'static Self::PoSW

source

fn genesis_block() -> &'static Block<Self>

source

const NUM_TOTAL_RECORDS: usize

source

fn function_id(
verifying_key: &<Self::ProgramSNARK as SNARK>::VerifyingKey
) -> Result<Self::FunctionID>

Returns the function ID given a program function verifying key.

source

impl PartialEq<Testnet1> for Testnet1

source

fn eq(&self, other: &Testnet1) -> 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 !=.

source

impl Serialize for Testnet1

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 Copy for Testnet1

source

impl Eq for Testnet1

source

impl StructuralEq for Testnet1

source

impl StructuralPartialEq for Testnet1

Auto Trait Implementations

impl RefUnwindSafe for Testnet1

impl Send for Testnet1

impl Sync for Testnet1

impl Unpin for Testnet1

impl UnwindSafe for Testnet1

Blanket Implementations

source

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

source

pub 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

pub 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

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

Mutably borrows from an owned value. Read more

source

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

source

pub 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

pub fn from(t: T) -> T

Performs the conversion.

source

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

const: unstable · source

pub fn into(self) -> U

Performs the conversion.

impl<T> Pointable for T

pub const ALIGN: usize

The alignment of pointer.

type Init = T

The type for initializers.

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

Initializes a with the given initializer. Read more

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

Dereferences the given pointer. Read more

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

Mutably dereferences the given pointer. Read more

pub 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

pub fn to_owned(&self) -> T

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

source

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

🔬 This is a nightly-only experimental API. (toowned_clone_into)

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

pub 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

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

Performs the conversion.

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

pub fn vzip(self) -> V

source

Struct snarkvm_dpc::network::testnet1::Testnet1

Trait Implementations

impl Clone for Testnet1

fn clone(&self) -> Testnet1

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

impl Debug for Testnet1

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

impl Default for Testnet1

fn default() -> Testnet1

impl<'de> Deserialize<'de> for Testnet1

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

impl Network for Testnet1

fn program_srs<R: Rng + CryptoRng>( rng: &mut R) -> Rc<RefCell<SRS<'_, R, <Self::ProgramSNARK as SNARK>::UniversalSetupParameters>>>

const NETWORK_ID: u16

const NETWORK_NAME: &'static str

const NUM_INPUT_RECORDS: usize

const NUM_OUTPUT_RECORDS: usize

const NUM_TRANSITIONS: u8

const NUM_EVENTS: u16

const BLOCK_HASH_PREFIX: u16

const LEDGER_ROOT_PREFIX: u16

const PROGRAM_ID_PREFIX: u16

const TRANSITION_ID_PREFIX: u16

const TRANSACTION_ID_PREFIX: u16

const COMMITMENT_PREFIX: u16

const FUNCTION_INPUTS_HASH_PREFIX: u16

const FUNCTION_ID_PREFIX: u16

const HEADER_NONCE_PREFIX: u16

const HEADER_ROOT_PREFIX: u16

const HEADER_TRANSACTIONS_ROOT_PREFIX: u16

const INNER_CIRCUIT_ID_PREFIX: u16

const RECORD_RANDOMIZER_PREFIX: u16

const RECORD_VIEW_KEY_COMMITMENT_PREFIX: u16

const SERIAL_NUMBER_PREFIX: u16

const HEADER_PROOF_PREFIX: u32

const INNER_PROOF_PREFIX: u32

const OUTER_PROOF_PREFIX: u32

const PROGRAM_PROOF_PREFIX: u32

const RECORD_CIPHERTEXT_PREFIX: u32

const RECORD_VIEW_KEY_PREFIX: u32

const SIGNATURE_PREFIX: u32

const ADDRESS_SIZE_IN_BYTES: usize

const HEADER_SIZE_IN_BYTES: usize

const HEADER_PROOF_SIZE_IN_BYTES: usize

const INNER_PROOF_SIZE_IN_BYTES: usize

const OUTER_PROOF_SIZE_IN_BYTES: usize

const PROGRAM_PROOF_SIZE_IN_BYTES: usize

const RECORD_SIZE_IN_BYTES: usize

const RECORD_CIPHERTEXT_SIZE_IN_BYTES: usize

const RECORD_PAYLOAD_SIZE_IN_BYTES: usize

const RECORD_VIEW_KEY_SIZE_IN_BYTES: usize

const SIGNATURE_SIZE_IN_BYTES: usize

const HEADER_TRANSACTIONS_TREE_DEPTH: usize

const HEADER_TREE_DEPTH: usize

const LEDGER_TREE_DEPTH: usize

const PROGRAM_TREE_DEPTH: usize

const TRANSITION_TREE_DEPTH: usize

const TRANSACTION_TREE_DEPTH: usize

const ALEO_BLOCK_TIME_IN_SECS: i64

const ALEO_STARTING_SUPPLY_IN_CREDITS: i64

const ALEO_FUTURE_TIME_LIMIT_IN_SECS: i64

const ALEO_MAXIMUM_FORK_DEPTH: u32

type InnerCurve = Bls12_377

type InnerScalarField = <Self::InnerCurve as PairingEngine>::Fr

type OuterCurve = BW6_761

type OuterBaseField = <Self::OuterCurve as PairingEngine>::Fq

type OuterScalarField = <Self::OuterCurve as PairingEngine>::Fr

type ProgramAffineCurve = EdwardsBls12Affine

type ProgramAffineCurveGadget = EdwardsBls12Gadget

type ProgramProjectiveCurve = EdwardsBls12Projective

type ProgramCurveParameters = EdwardsParameters

type ProgramBaseField = <Self::ProgramCurveParameters as ModelParameters>::BaseField

type ProgramScalarField = <Self::ProgramCurveParameters as ModelParameters>::ScalarField

type InnerSNARK = Groth16<Self::InnerCurve, InnerPublicVariables<Testnet1>>

type InnerSNARKGadget = Groth16VerifierGadget<Self::InnerCurve, PairingGadget>

type InnerProof = AleoObject<<Self::InnerSNARK as SNARK>::Proof, { Self::INNER_PROOF_PREFIX }, { Self::INNER_PROOF_SIZE_IN_BYTES }>

type OuterSNARK = Groth16<Self::OuterCurve, OuterPublicVariables<Testnet1>>

type OuterProof = AleoObject<<Self::OuterSNARK as SNARK>::Proof, { Self::OUTER_PROOF_PREFIX }, { Self::OUTER_PROOF_SIZE_IN_BYTES }>

type ProgramSNARK = Groth16<Self::InnerCurve, ProgramPublicVariables<Self>>

type ProgramSNARKGadget = Groth16VerifierGadget<Self::InnerCurve, PairingGadget>

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

fn program_srs<R: Rng + CryptoRng>(
rng: &mut R
) -> Rc<RefCell<SRS<'_, R, <Self::ProgramSNARK as SNARK>::UniversalSetupParameters>>>