#[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: ValidityProof,
pub range_proof: RangeProof256,
}Fields
new_source_commitment: PedersenCommitmentclaimed_commitment: PedersenCommitmentequality_proof: CtxtCommEqualityProofciphertext_amount_validity_proof: AggregatedValidityProoffee_sigma_proof: FeeSigmaProoffee_ciphertext_validity_proof: ValidityProofrange_proof: RangeProof256Implementations
sourceimpl TransferWithFeeProof
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, fee_ciphertext, opening_fee): (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: &FeeEncryption,
fee_parameters: FeeParameters,
transcript: &mut Transcript
) -> Result<(), ProofError>
Trait Implementations
sourceimpl Clone for TransferWithFeeProof
impl Clone for TransferWithFeeProof
sourcefn clone(&self) -> TransferWithFeeProof
fn clone(&self) -> TransferWithFeeProof
Returns a copy of the value. Read more
1.0.0 · sourcefn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read more
impl Copy for TransferWithFeeProof
impl Pod for TransferWithFeeProof
Auto Trait Implementations
impl RefUnwindSafe for TransferWithFeeProof
impl Send for TransferWithFeeProof
impl Sync for TransferWithFeeProof
impl Unpin for TransferWithFeeProof
impl UnwindSafe for TransferWithFeeProof
Blanket Implementations
impl<T> AbiExample for T
impl<T> AbiExample for T
default fn example() -> T
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
sourceimpl<T> CheckedBitPattern for T where
T: AnyBitPattern,
impl<T> CheckedBitPattern for T where
T: AnyBitPattern,
type Bits = T
type Bits = T
Self must have the same layout as the specified Bits except for
the possible invalid bit patterns being checked during is_valid_bit_pattern. Read more
sourcefn is_valid_bit_pattern(_bits: &T) -> bool
fn is_valid_bit_pattern(_bits: &T) -> bool
If this function returns true, then it must be valid to reinterpret bits as &Self.