Struct safe_zk_token_sdk::instruction::transfer_with_fee::TransferWithFeeProof

#[repr(C)]
pub struct TransferWithFeeProof {
    pub new_source_commitment: PedersenCommitment,
    pub claimed_commitment: PedersenCommitment,
    pub equality_proof: CtxtCommEqualityProof,
    pub ciphertext_amount_validity_proof: AggregatedValidityProof,
    pub fee_sigma_proof: FeeSigmaProof,
    pub fee_ciphertext_validity_proof: AggregatedValidityProof,
    pub range_proof: RangeProof256,
}

Fields

new_source_commitment: PedersenCommitment

claimed_commitment: PedersenCommitment

equality_proof: CtxtCommEqualityProof

ciphertext_amount_validity_proof: AggregatedValidityProof

fee_sigma_proof: FeeSigmaProof

fee_ciphertext_validity_proof: AggregatedValidityProof

range_proof: RangeProof256

Implementations

impl TransferWithFeeProof

pub fn new( transfer_amount_lo_data: (u64, &TransferAmountEncryption, &PedersenOpening), transfer_amount_hi_data: (u64, &TransferAmountEncryption, &PedersenOpening), source_keypair: &ElGamalKeypair, (destination_pubkey, auditor_pubkey): (&ElGamalPubkey, &ElGamalPubkey), (source_new_balance, new_source_ciphertext): (u64, &ElGamalCiphertext), (fee_amount_lo, fee_ciphertext_lo, opening_fee_lo): (u64, &FeeEncryption, &PedersenOpening), (fee_amount_hi, fee_ciphertext_hi, opening_fee_hi): (u64, &FeeEncryption, &PedersenOpening), delta_fee: u64, withdraw_withheld_authority_pubkey: &ElGamalPubkey, fee_parameters: FeeParameters, transcript: &mut Transcript ) -> Self

pub fn verify( &self, ciphertext_lo: &TransferAmountEncryption, ciphertext_hi: &TransferAmountEncryption, transfer_with_fee_pubkeys: &TransferWithFeePubkeys, new_spendable_ciphertext: &ElGamalCiphertext, fee_ciphertext_lo: &FeeEncryption, fee_ciphertext_hi: &FeeEncryption, fee_parameters: FeeParameters, transcript: &mut Transcript ) -> Result<(), ProofError>

Trait Implementations

impl Clone for TransferWithFeeProof

fn clone(&self) -> TransferWithFeeProof

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Zeroable for TransferWithFeeProof

fn zeroed() -> Self

Calls zeroed.

impl Copy for TransferWithFeeProof

impl Pod for TransferWithFeeProof