#[repr(C)]pub struct WithdrawWithheldTokensProof {
pub proof: CtxtCtxtEqualityProof,
}
Expand description
This struct represents the cryptographic proof component that certifies the account’s solvency for withdrawal
Fields§
§proof: CtxtCtxtEqualityProof
Implementations§
Source§impl WithdrawWithheldTokensProof
impl WithdrawWithheldTokensProof
pub fn new( withdraw_withheld_authority_keypair: &ElGamalKeypair, destination_pubkey: &ElGamalPubkey, withdraw_withheld_authority_ciphertext: &ElGamalCiphertext, amount: u64, destination_opening: &PedersenOpening, transcript: &mut Transcript, ) -> Self
pub fn verify( &self, source_pubkey: &ElGamalPubkey, destination_pubkey: &ElGamalPubkey, source_ciphertext: &ElGamalCiphertext, destination_ciphertext: &ElGamalCiphertext, transcript: &mut Transcript, ) -> Result<(), ProofError>
Trait Implementations§
Source§impl Clone for WithdrawWithheldTokensProof
impl Clone for WithdrawWithheldTokensProof
Source§fn clone(&self) -> WithdrawWithheldTokensProof
fn clone(&self) -> WithdrawWithheldTokensProof
Returns a copy of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moreimpl Copy for WithdrawWithheldTokensProof
impl Pod for WithdrawWithheldTokensProof
Auto Trait Implementations§
impl Freeze for WithdrawWithheldTokensProof
impl RefUnwindSafe for WithdrawWithheldTokensProof
impl Send for WithdrawWithheldTokensProof
impl Sync for WithdrawWithheldTokensProof
impl Unpin for WithdrawWithheldTokensProof
impl UnwindSafe for WithdrawWithheldTokensProof
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CheckedBitPattern for Twhere
T: AnyBitPattern,
impl<T> CheckedBitPattern for Twhere
T: AnyBitPattern,
Source§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
.Source§fn 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
.Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read more