#[repr(C)]pub struct WithdrawData {
pub context: WithdrawProofContext,
pub proof: WithdrawProof,
}Expand description
The instruction data that is needed for the ProofInstruction::VerifyWithdraw instruction.
It includes the cryptographic proof as well as the context data information needed to verify the proof.
Fields§
§context: WithdrawProofContextThe context data for the withdraw proof
proof: WithdrawProofRange proof
Implementations§
source§impl WithdrawData
impl WithdrawData
pub fn new( amount: u64, keypair: &ElGamalKeypair, current_balance: u64, current_ciphertext: &ElGamalCiphertext, ) -> Result<WithdrawData, ProofGenerationError>
Trait Implementations§
source§impl Clone for WithdrawData
impl Clone for WithdrawData
source§fn clone(&self) -> WithdrawData
fn clone(&self) -> WithdrawData
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 moresource§impl ZkProofData<WithdrawProofContext> for WithdrawData
impl ZkProofData<WithdrawProofContext> for WithdrawData
const PROOF_TYPE: ProofType = ProofType::Withdraw
fn context_data(&self) -> &WithdrawProofContext
fn verify_proof(&self) -> Result<(), ProofVerificationError>
impl Copy for WithdrawData
impl Pod for WithdrawData
Auto Trait Implementations§
impl Freeze for WithdrawData
impl RefUnwindSafe for WithdrawData
impl Send for WithdrawData
impl Sync for WithdrawData
impl Unpin for WithdrawData
impl UnwindSafe for WithdrawData
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,
§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: Copy,
impl<T> CloneToUninit for Twhere
T: Copy,
source§unsafe fn clone_to_uninit(&self, dst: *mut T)
unsafe fn clone_to_uninit(&self, dst: *mut T)
🔬This is a nightly-only experimental API. (
clone_to_uninit)source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
source§default unsafe fn clone_to_uninit(&self, dst: *mut T)
default unsafe fn clone_to_uninit(&self, dst: *mut T)
🔬This is a nightly-only experimental API. (
clone_to_uninit)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