Struct TransferWithFeeProof

#[repr(C)]
pub struct TransferWithFeeProof {
    pub new_source_commitment: PedersenCommitment,
    pub claimed_commitment: PedersenCommitment,
    pub equality_proof: CiphertextCommitmentEqualityProof,
    pub ciphertext_amount_validity_proof: BatchedGroupedCiphertext2HandlesValidityProof,
    pub fee_sigma_proof: FeeSigmaProof,
    pub fee_ciphertext_validity_proof: BatchedGroupedCiphertext2HandlesValidityProof,
    pub range_proof: RangeProofU256,
}

Fields

new_source_commitment: PedersenCommitment

claimed_commitment: PedersenCommitment

equality_proof: CiphertextCommitmentEqualityProof

ciphertext_amount_validity_proof: BatchedGroupedCiphertext2HandlesValidityProof

fee_sigma_proof: FeeSigmaProof

fee_ciphertext_validity_proof: BatchedGroupedCiphertext2HandlesValidityProof

range_proof: RangeProofU256

Implementations

impl TransferWithFeeProof

pub fn new( transfer_amount_lo_data: (u64, &TransferAmountCiphertext, &PedersenOpening), transfer_amount_hi_data: (u64, &TransferAmountCiphertext, &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, ) -> Result<Self, ProofGenerationError>

pub fn verify( &self, source_pubkey: &ElGamalPubkey, destination_pubkey: &ElGamalPubkey, auditor_pubkey: &ElGamalPubkey, withdraw_withheld_authority_pubkey: &ElGamalPubkey, ciphertext_lo: &TransferAmountCiphertext, ciphertext_hi: &TransferAmountCiphertext, new_spendable_ciphertext: &ElGamalCiphertext, fee_ciphertext_lo: &FeeEncryption, fee_ciphertext_hi: &FeeEncryption, fee_parameters: FeeParameters, transcript: &mut Transcript, ) -> Result<(), ProofVerificationError>

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