Struct snarkos_dpc::base_dpc::inner_circuit::inner_circuit::InnerCircuit

pub struct InnerCircuit<C: BaseDPCComponents> { /* fields omitted */ }

Implementations

impl<C: BaseDPCComponents> InnerCircuit<C>

pub fn blank(
    system_parameters: &SystemParameters<C>,
    ledger_parameters: &C::MerkleParameters
) -> Self

pub fn new(
    system_parameters: &SystemParameters<C>,
    ledger_parameters: &C::MerkleParameters,
    ledger_digest: &MerkleTreeDigest<C::MerkleParameters>,
    old_records: &[DPCRecord<C>],
    old_witnesses: &[MerklePath<C::MerkleParameters>],
    old_account_private_keys: &[AccountPrivateKey<C>],
    old_serial_numbers: &[<C::AccountSignature as SignatureScheme>::PublicKey],
    new_records: &[DPCRecord<C>],
    new_serial_number_nonce_randomness: &[[u8; 32]],
    new_commitments: &[<C::RecordCommitment as CommitmentScheme>::Output],
    new_records_encryption_randomness: &[<C::AccountEncryption as EncryptionScheme>::Randomness],
    new_records_encryption_gadget_components: &[RecordEncryptionGadgetComponents<C>],
    new_encrypted_record_hashes: &[<C::EncryptedRecordCRH as CRH>::Output],
    program_commitment: &<C::ProgramVerificationKeyCommitment as CommitmentScheme>::Output,
    program_randomness: &<C::ProgramVerificationKeyCommitment as CommitmentScheme>::Randomness,
    local_data_root: &<C::LocalDataCRH as CRH>::Output,
    local_data_commitment_randomizers: &[<C::LocalDataCommitment as CommitmentScheme>::Randomness],
    memo: &[u8; 32],
    value_balance: AleoAmount,
    network_id: u8
) -> Self

Trait Implementations

impl<C: BaseDPCComponents> Clone for InnerCircuit<C> where
    C: BaseDPCComponents, 

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<C: BaseDPCComponents> ConstraintSynthesizer<<C as DPCComponents>::InnerField> for InnerCircuit<C>

fn generate_constraints<CS: ConstraintSystem<C::InnerField>>(
    self,
    cs: &mut CS
) -> Result<(), SynthesisError>

Drives generation of new constraints inside CS.