pub struct WithdrawData {
pub pubkey: ElGamalPubkey,
pub final_ciphertext: ElGamalCiphertext,
pub proof: WithdrawProof,
}
Expand description
This struct includes the cryptographic proof and the account data information needed to verify the proof
- The pre-instruction should call WithdrawData::verify_proof(&self)
- The actual program should check that
current_ct
is consistent with what is currently stored in the confidential token account TODO: update this statement
Fields§
§pubkey: ElGamalPubkey
The source account ElGamal pubkey
final_ciphertext: ElGamalCiphertext
The source account available balance after the withdraw (encrypted by
source_pk
proof: WithdrawProof
Range proof
Implementations§
source§impl WithdrawData
impl WithdrawData
pub fn new( amount: u64, keypair: &ElGamalKeypair, current_balance: u64, current_ciphertext: &ElGamalCiphertext ) -> Result<WithdrawData, ProofError>
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 Verifiable for WithdrawData
impl Verifiable for WithdrawData
impl Copy for WithdrawData
impl Pod for WithdrawData
Auto Trait Implementations§
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> 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
.