Struct safe_zk_token_sdk::instruction::withdraw::WithdrawProof
source · #[repr(C)]pub struct WithdrawProof {
pub commitment: PedersenCommitment,
pub equality_proof: CtxtCommEqualityProof,
pub range_proof: RangeProof64,
}Expand description
This struct represents the cryptographic proof component that certifies the account’s solvency for withdrawal
Fields§
§commitment: PedersenCommitmentNew Pedersen commitment
equality_proof: CtxtCommEqualityProofAssociated equality proof
range_proof: RangeProof64Associated range proof
Implementations§
source§impl WithdrawProof
impl WithdrawProof
pub fn new( keypair: &ElGamalKeypair, final_balance: u64, final_ciphertext: &ElGamalCiphertext, transcript: &mut Transcript ) -> Self
pub fn verify( &self, pubkey: &ElGamalPubkey, final_ciphertext: &ElGamalCiphertext, transcript: &mut Transcript ) -> Result<(), ProofError>
Trait Implementations§
source§impl Clone for WithdrawProof
impl Clone for WithdrawProof
source§fn clone(&self) -> WithdrawProof
fn clone(&self) -> WithdrawProof
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 WithdrawProof
impl Pod for WithdrawProof
Auto Trait Implementations§
impl RefUnwindSafe for WithdrawProof
impl Send for WithdrawProof
impl Sync for WithdrawProof
impl Unpin for WithdrawProof
impl UnwindSafe for WithdrawProof
Blanket Implementations§
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.