Trait snarkvm_dpc::traits::network::Network

pub trait Network: 'static + Copy + Clone + Debug + Default + PartialEq + Eq + Serialize + DeserializeOwned + Send + Sync {
    type InnerCurve: PairingEngine<Fr = Self::InnerScalarField, Fq = Self::OuterScalarField>;
    type InnerScalarField: PrimeField + PoseidonDefaultParametersField;
    type OuterCurve: PairingEngine;
    type OuterBaseField: PrimeField;
    type OuterScalarField: PrimeField + PoseidonDefaultParametersField;
    type ProgramAffineCurve: AffineCurve<BaseField = Self::ProgramBaseField>;
    type ProgramAffineCurveGadget: GroupGadget<Self::ProgramAffineCurve, Self::InnerScalarField>;
    type ProgramProjectiveCurve: ProjectiveCurve<BaseField = Self::ProgramBaseField>;
    type ProgramCurveParameters: TwistedEdwardsParameters;
    type ProgramBaseField: PrimeField;
    type ProgramScalarField: PrimeField;
    type InnerSNARK: SNARK<ScalarField = Self::InnerScalarField, BaseField = Self::OuterScalarField, VerifierInput = InnerPublicVariables<Self>>;
    type InnerSNARKGadget: SNARKVerifierGadget<Self::InnerSNARK>;
    type InnerProof: Bech32Object<<Self::InnerSNARK as SNARK>::Proof>;
    type OuterSNARK: SNARK<ScalarField = Self::OuterScalarField, BaseField = Self::OuterBaseField, VerifierInput = OuterPublicVariables<Self>>;
    type OuterProof: Bech32Object<<Self::OuterSNARK as SNARK>::Proof>;
    type ProgramSNARK: SNARK<ScalarField = Self::InnerScalarField, BaseField = Self::OuterScalarField, VerifierInput = ProgramPublicVariables<Self>, ProvingKey = Self::ProgramProvingKey, VerifyingKey = Self::ProgramVerifyingKey, UniversalSetupConfig = usize>;
    type ProgramSNARKGadget: SNARKVerifierGadget<Self::ProgramSNARK>;
    type ProgramProvingKey: Clone + ToBytes + FromBytes + Send + Sync;
    type ProgramVerifyingKey: ToConstraintField<Self::OuterScalarField> + Clone + ToBytes + FromBytes + ToMinimalBits + Send + Sync;
    type ProgramProof: Bech32Object<<Self::ProgramSNARK as SNARK>::Proof>;
    type PoSWSNARK: SNARK<ScalarField = Self::InnerScalarField, BaseField = Self::OuterScalarField, VerifierInput = Vec<Self::InnerScalarField>, UniversalSetupConfig = usize>;
    type PoSWProof: Bech32Object<<Self::PoSWSNARK as SNARK>::Proof>;
    type PoSW: PoSWScheme<Self>;
    type AccountEncryptionScheme: EncryptionScheme<PrivateKey = Self::ProgramScalarField, PublicKey = Self::ProgramAffineCurve, CiphertextRandomizer = Self::ProgramBaseField, SymmetricKeyCommitment = Self::ProgramBaseField>;
    type AccountEncryptionGadget: EncryptionGadget<Self::AccountEncryptionScheme, Self::InnerScalarField>;
    type AccountSeedPRF: PRF<Input = Vec<Self::ProgramScalarField>, Seed = Self::AccountSeed, Output = Self::ProgramScalarField>;
    type AccountSeed: FromBytes + ToBytes + PartialEq + Eq + Clone + Default + Debug + UniformRand;
    type AccountSignatureScheme: SignatureScheme<PrivateKey = (Self::ProgramScalarField, Self::ProgramScalarField), PublicKey = Self::ProgramAffineCurve> + SignatureSchemeOperations<AffineCurve = Self::ProgramAffineCurve, BaseField = Self::ProgramBaseField, ScalarField = Self::ProgramScalarField, Signature = <Self::AccountSignatureScheme as SignatureScheme>::Signature>;
    type AccountSignatureGadget: SignatureGadget<Self::AccountSignatureScheme, Self::InnerScalarField>;
    type AccountSignaturePublicKey: ToConstraintField<Self::InnerScalarField> + Clone + Default + Debug + Display + ToBytes + FromBytes + PartialEq + Eq + Hash + Sync + Send;
    type AccountSignature: Bech32Object<<Self::AccountSignatureScheme as SignatureScheme>::Signature>;
    type BlockHashCRH: CRH<Output = Self::InnerScalarField>;
    type BlockHashCRHGadget: CRHGadget<Self::BlockHashCRH, Self::InnerScalarField>;
    type BlockHash: Bech32Locator<<Self::BlockHashCRH as CRH>::Output>;
    type BlockHeaderRootCRH: CRH<Output = Self::InnerScalarField>;
    type BlockHeaderRootCRHGadget: MaskedCRHGadget<<Self::BlockHeaderRootParameters as MerkleParameters>::H, Self::InnerScalarField, OutputGadget = <Self::PoSWMaskPRFGadget as PRFGadget<Self::PoSWMaskPRF, Self::InnerScalarField>>::Seed>;
    type BlockHeaderRootParameters: MaskedMerkleParameters<H = Self::BlockHeaderRootCRH>;
    type BlockHeaderRoot: Bech32Locator<<Self::BlockHeaderRootCRH as CRH>::Output>;
    type CommitmentScheme: CRH<Output = Self::InnerScalarField>;
    type CommitmentGadget: CRHGadget<Self::CommitmentScheme, Self::InnerScalarField>;
    type Commitment: Bech32Locator<<Self::CommitmentScheme as CRH>::Output>;
    type FunctionIDCRH: CRH<Output = Self::OuterScalarField>;
    type FunctionIDCRHGadget: CRHGadget<Self::FunctionIDCRH, Self::OuterScalarField>;
    type FunctionID: Bech32Locator<<Self::FunctionIDCRH as CRH>::Output>;
    type FunctionInputsCRH: CRH<Output = Self::InnerScalarField>;
    type FunctionInputsCRHGadget: CRHGadget<Self::FunctionInputsCRH, Self::InnerScalarField>;
    type FunctionInputsHash: Bech32Locator<<Self::FunctionInputsCRH as CRH>::Output>;
    type InnerCircuitIDCRH: CRH<Output = Self::OuterScalarField>;
    type InnerCircuitIDCRHGadget: CRHGadget<Self::InnerCircuitIDCRH, Self::OuterScalarField>;
    type InnerCircuitID: Bech32Locator<<Self::InnerCircuitIDCRH as CRH>::Output>;
    type LedgerRootCRH: CRH<Output = Self::InnerScalarField>;
    type LedgerRootCRHGadget: CRHGadget<Self::LedgerRootCRH, Self::InnerScalarField>;
    type LedgerRootParameters: MerkleParameters<H = Self::LedgerRootCRH>;
    type LedgerRoot: Bech32Locator<<Self::LedgerRootCRH as CRH>::Output>;
    type PoSWMaskPRF: PRF<Input = Vec<Self::InnerScalarField>, Seed = Self::InnerScalarField, Output = Self::InnerScalarField>;
    type PoSWMaskPRFGadget: PRFGadget<Self::PoSWMaskPRF, Self::InnerScalarField>;
    type PoSWNonce: Bech32Locator<Self::InnerScalarField>;
    type ProgramIDCRH: CRH<Output = Self::OuterScalarField>;
    type ProgramIDCRHGadget: CRHGadget<Self::ProgramIDCRH, Self::OuterScalarField>;
    type ProgramIDParameters: MerkleParameters<H = Self::ProgramIDCRH>;
    type ProgramID: Bech32Locator<<Self::ProgramIDCRH as CRH>::Output>;
    type RecordCiphertext: Bech32Object<Ciphertext<Self>> + Hash;
    type RecordRandomizer: Bech32Locator<<Self::AccountEncryptionScheme as EncryptionScheme>::CiphertextRandomizer>;
    type RecordViewKey: Bech32Object<<Self::AccountEncryptionScheme as EncryptionScheme>::SymmetricKey> + Default;
    type RecordViewKeyCommitment: Bech32Locator<<Self::AccountEncryptionScheme as EncryptionScheme>::SymmetricKeyCommitment>;
    type SerialNumberPRF: PRF<Input = Vec<<Self::CommitmentScheme as CRH>::Output>, Seed = Self::InnerScalarField, Output = Self::InnerScalarField>;
    type SerialNumberPRFGadget: PRFGadget<Self::SerialNumberPRF, Self::InnerScalarField, Seed = FpGadget<Self::InnerScalarField>, Input = Vec<<Self::CommitmentGadget as CRHGadget<Self::CommitmentScheme, Self::InnerScalarField>>::OutputGadget>>;
    type SerialNumber: Bech32Locator<<Self::SerialNumberPRF as PRF>::Output>;
    type TransactionsRootCRH: CRH<Output = Self::InnerScalarField>;
    type TransactionsRootCRHGadget: CRHGadget<Self::TransactionsRootCRH, Self::InnerScalarField>;
    type TransactionsRootParameters: MerkleParameters<H = Self::TransactionsRootCRH>;
    type TransactionsRoot: Bech32Locator<<Self::TransactionsRootCRH as CRH>::Output>;
    type TransactionIDCRH: CRH<Output = Self::InnerScalarField>;
    type TransactionIDCRHGadget: CRHGadget<Self::TransactionIDCRH, Self::InnerScalarField>;
    type TransactionIDParameters: MerkleParameters<H = Self::TransactionIDCRH>;
    type TransactionID: Bech32Locator<<Self::TransactionIDCRH as CRH>::Output>;
    type TransitionIDCRH: CRH<Output = Self::InnerScalarField>;
    type TransitionIDCRHGadget: CRHGadget<Self::TransitionIDCRH, Self::InnerScalarField>;
    type TransitionIDParameters: MerkleParameters<H = Self::TransitionIDCRH>;
    type TransitionID: Bech32Locator<<Self::TransitionIDCRH as CRH>::Output>;

    const NETWORK_ID: u16;
    const NETWORK_NAME: &'static str;
    const NUM_INPUT_RECORDS: usize;
    const NUM_OUTPUT_RECORDS: usize;
    const NUM_TOTAL_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;

    fn account_encryption_scheme() -> &'static Self::AccountEncryptionScheme;
    fn account_signature_scheme() -> &'static Self::AccountSignatureScheme;
    fn block_hash_crh() -> &'static Self::BlockHashCRH;
    fn block_header_root_parameters(
    ) -> &'static Self::BlockHeaderRootParameters;
    fn commitment_scheme() -> &'static Self::CommitmentScheme;
    fn function_id_crh() -> &'static Self::FunctionIDCRH;
    fn inner_circuit_id_crh() -> &'static Self::InnerCircuitIDCRH;
    fn ledger_root_parameters() -> &'static Self::LedgerRootParameters;
    fn program_id_parameters() -> &'static Self::ProgramIDParameters;
    fn transactions_root_parameters(
    ) -> &'static Self::TransactionsRootParameters;
    fn transaction_id_parameters() -> &'static Self::TransactionIDParameters;
    fn transition_id_parameters() -> &'static Self::TransitionIDParameters;
    fn inner_circuit_id() -> &'static Self::InnerCircuitID;
    fn inner_proving_key() -> &'static <Self::InnerSNARK as SNARK>::ProvingKey;
    fn inner_verifying_key(
    ) -> &'static <Self::InnerSNARK as SNARK>::VerifyingKey;
    fn noop_program() -> &'static Program<Self>;
    fn noop_program_id() -> &'static Self::ProgramID;
    fn noop_program_path() -> &'static MerklePath<Self::ProgramIDParameters>;
    fn noop_function_id() -> &'static Self::FunctionID;
    fn noop_circuit_proving_key(
    ) -> &'static <Self::ProgramSNARK as SNARK>::ProvingKey;
    fn noop_circuit_verifying_key(
    ) -> &'static <Self::ProgramSNARK as SNARK>::VerifyingKey;
    fn outer_proving_key() -> &'static <Self::OuterSNARK as SNARK>::ProvingKey;
    fn outer_verifying_key(
    ) -> &'static <Self::OuterSNARK as SNARK>::VerifyingKey;
    fn posw_proving_key() -> &'static <Self::PoSWSNARK as SNARK>::ProvingKey;
    fn posw_verifying_key() -> &'static <Self::PoSWSNARK as SNARK>::VerifyingKey;
    fn posw() -> &'static Self::PoSW;
    fn genesis_block() -> &'static Block<Self>;
    fn program_srs<R: Rng + CryptoRng>(
        rng: &mut R
    ) -> Rc<RefCell<SRS<'_, R, <Self::ProgramSNARK as SNARK>::UniversalSetupParameters>>>;

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

Associated Types

type InnerCurve: PairingEngine<Fr = Self::InnerScalarField, Fq = Self::OuterScalarField>

Inner curve type declarations.

type InnerScalarField: PrimeField + PoseidonDefaultParametersField

type OuterCurve: PairingEngine

Outer curve type declarations.

type OuterBaseField: PrimeField

type OuterScalarField: PrimeField + PoseidonDefaultParametersField

type ProgramAffineCurve: AffineCurve<BaseField = Self::ProgramBaseField>

Program curve type declarations.

type ProgramAffineCurveGadget: GroupGadget<Self::ProgramAffineCurve, Self::InnerScalarField>

type ProgramProjectiveCurve: ProjectiveCurve<BaseField = Self::ProgramBaseField>

type ProgramCurveParameters: TwistedEdwardsParameters

type ProgramBaseField: PrimeField

type ProgramScalarField: PrimeField

type InnerSNARK: SNARK<ScalarField = Self::InnerScalarField, BaseField = Self::OuterScalarField, VerifierInput = InnerPublicVariables<Self>>

SNARK for inner circuit proof generation.

type InnerSNARKGadget: SNARKVerifierGadget<Self::InnerSNARK>

type InnerProof: Bech32Object<<Self::InnerSNARK as SNARK>::Proof>

type OuterSNARK: SNARK<ScalarField = Self::OuterScalarField, BaseField = Self::OuterBaseField, VerifierInput = OuterPublicVariables<Self>>

SNARK for proof-verification checks.

type OuterProof: Bech32Object<<Self::OuterSNARK as SNARK>::Proof>

type ProgramSNARK: SNARK<ScalarField = Self::InnerScalarField, BaseField = Self::OuterScalarField, VerifierInput = ProgramPublicVariables<Self>, ProvingKey = Self::ProgramProvingKey, VerifyingKey = Self::ProgramVerifyingKey, UniversalSetupConfig = usize>

SNARK for Aleo program functions.

type ProgramSNARKGadget: SNARKVerifierGadget<Self::ProgramSNARK>

type ProgramProvingKey: Clone + ToBytes + FromBytes + Send + Sync

type ProgramVerifyingKey: ToConstraintField<Self::OuterScalarField> + Clone + ToBytes + FromBytes + ToMinimalBits + Send + Sync

type ProgramProof: Bech32Object<<Self::ProgramSNARK as SNARK>::Proof>

type PoSWSNARK: SNARK<ScalarField = Self::InnerScalarField, BaseField = Self::OuterScalarField, VerifierInput = Vec<Self::InnerScalarField>, UniversalSetupConfig = usize>

SNARK for PoSW.

type PoSWProof: Bech32Object<<Self::PoSWSNARK as SNARK>::Proof>

type PoSW: PoSWScheme<Self>

type AccountEncryptionScheme: EncryptionScheme<PrivateKey = Self::ProgramScalarField, PublicKey = Self::ProgramAffineCurve, CiphertextRandomizer = Self::ProgramBaseField, SymmetricKeyCommitment = Self::ProgramBaseField>

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

type AccountEncryptionGadget: EncryptionGadget<Self::AccountEncryptionScheme, Self::InnerScalarField>

type AccountSeedPRF: PRF<Input = Vec<Self::ProgramScalarField>, Seed = Self::AccountSeed, Output = Self::ProgramScalarField>

PRF for deriving the account private key from a seed.

type AccountSeed: FromBytes + ToBytes + PartialEq + Eq + Clone + Default + Debug + UniformRand

type AccountSignatureScheme: SignatureScheme<PrivateKey = (Self::ProgramScalarField, Self::ProgramScalarField), PublicKey = Self::ProgramAffineCurve> + SignatureSchemeOperations<AffineCurve = Self::ProgramAffineCurve, BaseField = Self::ProgramBaseField, ScalarField = Self::ProgramScalarField, Signature = <Self::AccountSignatureScheme as SignatureScheme>::Signature>

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

type AccountSignatureGadget: SignatureGadget<Self::AccountSignatureScheme, Self::InnerScalarField>

type AccountSignaturePublicKey: ToConstraintField<Self::InnerScalarField> + Clone + Default + Debug + Display + ToBytes + FromBytes + PartialEq + Eq + Hash + Sync + Send

type AccountSignature: Bech32Object<<Self::AccountSignatureScheme as SignatureScheme>::Signature>

type BlockHashCRH: CRH<Output = Self::InnerScalarField>

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

type BlockHashCRHGadget: CRHGadget<Self::BlockHashCRH, Self::InnerScalarField>

type BlockHash: Bech32Locator<<Self::BlockHashCRH as CRH>::Output>

type BlockHeaderRootCRH: CRH<Output = Self::InnerScalarField>

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

type BlockHeaderRootCRHGadget: MaskedCRHGadget<<Self::BlockHeaderRootParameters as MerkleParameters>::H, Self::InnerScalarField, OutputGadget = <Self::PoSWMaskPRFGadget as PRFGadget<Self::PoSWMaskPRF, Self::InnerScalarField>>::Seed>

type BlockHeaderRootParameters: MaskedMerkleParameters<H = Self::BlockHeaderRootCRH>

type BlockHeaderRoot: Bech32Locator<<Self::BlockHeaderRootCRH as CRH>::Output>

type CommitmentScheme: CRH<Output = Self::InnerScalarField>

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

type CommitmentGadget: CRHGadget<Self::CommitmentScheme, Self::InnerScalarField>

type Commitment: Bech32Locator<<Self::CommitmentScheme as CRH>::Output>

type FunctionIDCRH: CRH<Output = Self::OuterScalarField>

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

type FunctionIDCRHGadget: CRHGadget<Self::FunctionIDCRH, Self::OuterScalarField>

type FunctionID: Bech32Locator<<Self::FunctionIDCRH as CRH>::Output>

type FunctionInputsCRH: CRH<Output = Self::InnerScalarField>

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

type FunctionInputsCRHGadget: CRHGadget<Self::FunctionInputsCRH, Self::InnerScalarField>

type FunctionInputsHash: Bech32Locator<<Self::FunctionInputsCRH as CRH>::Output>

type InnerCircuitIDCRH: CRH<Output = Self::OuterScalarField>

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

type InnerCircuitIDCRHGadget: CRHGadget<Self::InnerCircuitIDCRH, Self::OuterScalarField>

type InnerCircuitID: Bech32Locator<<Self::InnerCircuitIDCRH as CRH>::Output>

type LedgerRootCRH: CRH<Output = Self::InnerScalarField>

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

type LedgerRootCRHGadget: CRHGadget<Self::LedgerRootCRH, Self::InnerScalarField>

type LedgerRootParameters: MerkleParameters<H = Self::LedgerRootCRH>

type LedgerRoot: Bech32Locator<<Self::LedgerRootCRH as CRH>::Output>

type PoSWMaskPRF: PRF<Input = Vec<Self::InnerScalarField>, Seed = Self::InnerScalarField, Output = Self::InnerScalarField>

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

type PoSWMaskPRFGadget: PRFGadget<Self::PoSWMaskPRF, Self::InnerScalarField>

type PoSWNonce: Bech32Locator<Self::InnerScalarField>

type ProgramIDCRH: CRH<Output = Self::OuterScalarField>

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

type ProgramIDCRHGadget: CRHGadget<Self::ProgramIDCRH, Self::OuterScalarField>

type ProgramIDParameters: MerkleParameters<H = Self::ProgramIDCRH>

type ProgramID: Bech32Locator<<Self::ProgramIDCRH as CRH>::Output>

type RecordCiphertext: Bech32Object<Ciphertext<Self>> + Hash

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

type RecordRandomizer: Bech32Locator<<Self::AccountEncryptionScheme as EncryptionScheme>::CiphertextRandomizer>

type RecordViewKey: Bech32Object<<Self::AccountEncryptionScheme as EncryptionScheme>::SymmetricKey> + Default

type RecordViewKeyCommitment: Bech32Locator<<Self::AccountEncryptionScheme as EncryptionScheme>::SymmetricKeyCommitment>

type SerialNumberPRF: PRF<Input = Vec<<Self::CommitmentScheme as CRH>::Output>, Seed = Self::InnerScalarField, Output = Self::InnerScalarField>

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

type SerialNumberPRFGadget: PRFGadget<Self::SerialNumberPRF, Self::InnerScalarField, Seed = FpGadget<Self::InnerScalarField>, Input = Vec<<Self::CommitmentGadget as CRHGadget<Self::CommitmentScheme, Self::InnerScalarField>>::OutputGadget>>

type SerialNumber: Bech32Locator<<Self::SerialNumberPRF as PRF>::Output>

type TransactionsRootCRH: CRH<Output = Self::InnerScalarField>

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

type TransactionsRootCRHGadget: CRHGadget<Self::TransactionsRootCRH, Self::InnerScalarField>

type TransactionsRootParameters: MerkleParameters<H = Self::TransactionsRootCRH>

type TransactionsRoot: Bech32Locator<<Self::TransactionsRootCRH as CRH>::Output>

type TransactionIDCRH: CRH<Output = Self::InnerScalarField>

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

type TransactionIDCRHGadget: CRHGadget<Self::TransactionIDCRH, Self::InnerScalarField>

type TransactionIDParameters: MerkleParameters<H = Self::TransactionIDCRH>

type TransactionID: Bech32Locator<<Self::TransactionIDCRH as CRH>::Output>

type TransitionIDCRH: CRH<Output = Self::InnerScalarField>

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

type TransitionIDCRHGadget: CRHGadget<Self::TransitionIDCRH, Self::InnerScalarField>

type TransitionIDParameters: MerkleParameters<H = Self::TransitionIDCRH>

type TransitionID: Bech32Locator<<Self::TransitionIDCRH as CRH>::Output>

Associated Constants

const NETWORK_ID: u16

const NETWORK_NAME: &'static str

const NUM_INPUT_RECORDS: usize

const NUM_OUTPUT_RECORDS: usize

const NUM_TOTAL_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

The maximum future block time.

const ALEO_MAXIMUM_FORK_DEPTH: u32

The maximum number of blocks that a fork can be.

Required methods

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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.

Provided methods

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

Returns the function ID given a program function verifying key.

Implementors

impl Network for Testnet1

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>

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

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>

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

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

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

type AccountSignatureScheme = AleoSignatureScheme<Self::ProgramCurveParameters>

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>

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>

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>

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>

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

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

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

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>

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>

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>

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

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

type ProgramIDCRH = BHPCRH<EdwardsBW6, 16, 48>

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

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>

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>

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>

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>

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

impl Network for Testnet2

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

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

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

type ProgramSNARK = MarlinSNARK<Self::InnerScalarField, Self::OuterScalarField, SonicKZG10<Self::InnerCurve>, FiatShamirAlgebraicSpongeRng<Self::InnerScalarField, Self::OuterScalarField, PoseidonSponge<Self::OuterScalarField, 6, 1>>, MarlinTestnet2Mode, ProgramPublicVariables<Self>>

type ProgramSNARKGadget = MarlinVerificationGadget<Self::InnerScalarField, Self::OuterScalarField, SonicKZG10<Self::InnerCurve>, SonicKZG10Gadget<Self::InnerCurve, Self::OuterCurve, PairingGadget>, MarlinTestnet2Mode>

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>, FiatShamirChaChaRng<Self::InnerScalarField, Self::OuterScalarField, Blake2s>, MarlinPoswMode, Vec<Self::InnerScalarField>>

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>

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

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

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

type AccountSignatureScheme = AleoSignatureScheme<Self::ProgramCurveParameters>

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>

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>

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>

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>

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

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

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

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>

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>

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>

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

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

type ProgramIDCRH = BHPCRH<EdwardsBW6, 16, 48>

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

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>

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>

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>

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>

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