Struct safe_zk_token_sdk::instruction::transfer::TransferProof

#[repr(C)]
pub struct TransferProof {
    pub new_source_commitment: PedersenCommitment,
    pub equality_proof: CtxtCommEqualityProof,
    pub validity_proof: AggregatedValidityProof,
    pub range_proof: RangeProof128,
}

Fields

new_source_commitment: PedersenCommitment

New Pedersen commitment for the remaining balance in source

equality_proof: CtxtCommEqualityProof

Associated equality proof

validity_proof: AggregatedValidityProof

Associated ciphertext validity proof

range_proof: RangeProof128

Implementations

impl TransferProof

pub fn new( (transfer_amount_lo, transfer_amount_hi): (u64, u64), source_keypair: &ElGamalKeypair, (destination_pubkey, auditor_pubkey): (&ElGamalPubkey, &ElGamalPubkey), opening_lo: &PedersenOpening, opening_hi: &PedersenOpening, (source_new_balance, new_source_ciphertext): (u64, &ElGamalCiphertext), transcript: &mut Transcript ) -> Self

pub fn verify( &self, ciphertext_lo: &TransferAmountEncryption, ciphertext_hi: &TransferAmountEncryption, transfer_pubkeys: &TransferPubkeys, ciphertext_new_spendable: &ElGamalCiphertext, transcript: &mut Transcript ) -> Result<(), ProofError>

Trait Implementations

impl Clone for TransferProof

fn clone(&self) -> TransferProof

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Zeroable for TransferProof

fn zeroed() -> Self

Calls zeroed.

impl Copy for TransferProof

impl Pod for TransferProof