Struct snarkos_dpc::base_dpc::outer_circuit::outer_circuit::OuterCircuit

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

Implementations

impl<C: BaseDPCComponents> OuterCircuit<C>

pub fn blank(
    system_parameters: &SystemParameters<C>,
    ledger_parameters: &C::MerkleParameters,
    inner_snark_vk: &<C::InnerSNARK as SNARK>::VerificationParameters,
    inner_snark_proof: &<C::InnerSNARK as SNARK>::Proof,
    program_snark_vk_and_proof: &PrivateProgramInput
) -> Self

pub fn new(
    system_parameters: &SystemParameters<C>,
    ledger_parameters: &C::MerkleParameters,
    ledger_digest: &MerkleTreeDigest<C::MerkleParameters>,
    old_serial_numbers: &Vec<<C::AccountSignature as SignatureScheme>::PublicKey>,
    new_commitments: &Vec<<C::RecordCommitment as CommitmentScheme>::Output>,
    new_encrypted_record_hashes: &[<C::EncryptedRecordCRH as CRH>::Output],
    memo: &[u8; 32],
    value_balance: AleoAmount,
    network_id: u8,
    inner_snark_vk: &<C::InnerSNARK as SNARK>::VerificationParameters,
    inner_snark_proof: &<C::InnerSNARK as SNARK>::Proof,
    old_private_program_inputs: &[PrivateProgramInput],
    new_private_program_inputs: &[PrivateProgramInput],
    program_commitment: &<C::ProgramVerificationKeyCommitment as CommitmentScheme>::Output,
    program_randomness: &<C::ProgramVerificationKeyCommitment as CommitmentScheme>::Randomness,
    local_data_root: &<C::LocalDataCRH as CRH>::Output,
    inner_snark_id: &<C::InnerSNARKVerificationKeyCRH as CRH>::Output
) -> Self

Trait Implementations

impl<C: BaseDPCComponents> Clone for OuterCircuit<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>::OuterField> for OuterCircuit<C> where
    <C::AccountCommitment as CommitmentScheme>::Parameters: ToConstraintField<C::InnerField>,
    <C::AccountCommitment as CommitmentScheme>::Output: ToConstraintField<C::InnerField>,
    <C::AccountEncryption as EncryptionScheme>::Parameters: ToConstraintField<C::InnerField>,
    <C::AccountSignature as SignatureScheme>::Parameters: ToConstraintField<C::InnerField>,
    <C::AccountSignature as SignatureScheme>::PublicKey: ToConstraintField<C::InnerField>,
    <C::RecordCommitment as CommitmentScheme>::Parameters: ToConstraintField<C::InnerField>,
    <C::RecordCommitment as CommitmentScheme>::Output: ToConstraintField<C::InnerField>,
    <C::EncryptedRecordCRH as CRH>::Parameters: ToConstraintField<C::InnerField>,
    <C::EncryptedRecordCRH as CRH>::Output: ToConstraintField<C::InnerField>,
    <C::SerialNumberNonceCRH as CRH>::Parameters: ToConstraintField<C::InnerField>,
    <C::ProgramVerificationKeyCommitment as CommitmentScheme>::Parameters: ToConstraintField<C::InnerField>,
    <C::ProgramVerificationKeyCommitment as CommitmentScheme>::Output: ToConstraintField<C::InnerField>,
    <C::LocalDataCRH as CRH>::Parameters: ToConstraintField<C::InnerField>,
    <C::LocalDataCRH as CRH>::Output: ToConstraintField<C::InnerField>,
    <<C::MerkleParameters as MerkleParameters>::H as CRH>::Parameters: ToConstraintField<C::InnerField>,
    MerkleTreeDigest<C::MerkleParameters>: ToConstraintField<C::InnerField>, 

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

Drives generation of new constraints inside CS.