Struct spl_token_2022::extension::confidential_transfer::instruction::transfer::without_fee::TransferProof
source · #[repr(C)]pub struct TransferProof {
pub new_source_commitment: PedersenCommitment,
pub equality_proof: CiphertextCommitmentEqualityProof,
pub validity_proof: BatchedGroupedCiphertext2HandlesValidityProof,
pub range_proof: RangeProofU128,
}
Fields§
§new_source_commitment: PedersenCommitment
New Pedersen commitment for the remaining balance in source
equality_proof: CiphertextCommitmentEqualityProof
Associated equality proof
validity_proof: BatchedGroupedCiphertext2HandlesValidityProof
Associated ciphertext validity proof
range_proof: RangeProofU128
Implementations§
source§impl TransferProof
impl TransferProof
pub fn new( _: (u64, u64), source_keypair: &ElGamalKeypair, _: (&ElGamalPubkey, &ElGamalPubkey), opening_lo: &PedersenOpening, opening_hi: &PedersenOpening, _: (u64, &ElGamalCiphertext), transcript: &mut Transcript, ) -> Result<TransferProof, ProofGenerationError>
pub fn verify( &self, source_pubkey: &ElGamalPubkey, destination_pubkey: &ElGamalPubkey, auditor_pubkey: &ElGamalPubkey, ciphertext_lo: &TransferAmountCiphertext, ciphertext_hi: &TransferAmountCiphertext, ciphertext_new_spendable: &ElGamalCiphertext, transcript: &mut Transcript, ) -> Result<(), ProofVerificationError>
Trait Implementations§
source§impl Clone for TransferProof
impl Clone for TransferProof
source§fn clone(&self) -> TransferProof
fn clone(&self) -> TransferProof
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 TransferProof
impl Pod for TransferProof
Auto Trait Implementations§
impl Freeze for TransferProof
impl RefUnwindSafe for TransferProof
impl Send for TransferProof
impl Sync for TransferProof
impl Unpin for TransferProof
impl UnwindSafe for TransferProof
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