Struct TransferProof

#[repr(C)]
pub struct TransferProof {
    pub new_source_commitment: PedersenCommitment,
    pub equality_proof: CiphertextCommitmentEqualityProof,
    pub validity_proof: BatchedGroupedCiphertext2HandlesValidityProof,
    pub range_proof: RangeProofU128,
}

Fields

new_source_commitment: PedersenCommitment

New Pedersen commitment for the remaining balance in source

equality_proof: CiphertextCommitmentEqualityProof

Associated equality proof

validity_proof: BatchedGroupedCiphertext2HandlesValidityProof

Associated ciphertext validity proof

range_proof: RangeProofU128

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, ) -> Result<Self, ProofGenerationError>

pub fn verify( &self, source_pubkey: &ElGamalPubkey, destination_pubkey: &ElGamalPubkey, auditor_pubkey: &ElGamalPubkey, ciphertext_lo: &TransferAmountCiphertext, ciphertext_hi: &TransferAmountCiphertext, ciphertext_new_spendable: &ElGamalCiphertext, transcript: &mut Transcript, ) -> Result<(), ProofVerificationError>

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