Struct spl_token_2022::extension::confidential_transfer::instruction::BatchedRangeProofContext

source ·

#[repr(C)]pub struct BatchedRangeProofContext {
    pub commitments: [PedersenCommitment; 8],
    pub bit_lengths: [u8; 8],
}

Expand description

The context data needed to verify a range-proof for a Pedersen committed value.

The context data is shared by all VerifyBatchedRangeProof{N} instructions.

Fields§

§commitments: [PedersenCommitment; 8]§bit_lengths: [u8; 8]

Trait Implementations§

source §

impl Clone for BatchedRangeProofContext

source §

fn clone(&self) -> BatchedRangeProofContext

Returns a copy of the value. Read more

1.0.0 · source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more

source §

impl TryInto<(Vec<PedersenCommitment>, Vec<usize>)> for BatchedRangeProofContext

§

type Error = ProofError

The type returned in the event of a conversion error.

source §

fn try_into( self ) -> Result<(Vec<PedersenCommitment>, Vec<usize>), <BatchedRangeProofContext as TryInto<(Vec<PedersenCommitment>, Vec<usize>)>>::Error>

Performs the conversion.

source §

impl Pod for BatchedRangeProofContext

Auto Trait Implementations§

§

impl RefUnwindSafe for BatchedRangeProofContext

§

impl Send for BatchedRangeProofContext

§

impl Sync for BatchedRangeProofContext

§

impl Unpin for BatchedRangeProofContext

§

impl UnwindSafe for BatchedRangeProofContext

Blanket Implementations§

§

impl<T> AbiExample for T

§

default fn example() -> T

source §

impl<T> Any for T
where T: 'static + ?Sized,

source §

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

source §

impl<T> Borrow<T> for T
where T: ?Sized,

source §

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

source §

impl<T> BorrowMut<T> for T
where T: ?Sized,

source §

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

source §

impl<T> CheckedBitPattern for T
where T: AnyBitPattern,

§

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

If this function returns true, then it must be valid to reinterpret bits as &Self.

source §

impl<T> From<T> for T

source §

fn from(t: T) -> T

Returns the argument unchanged.

source §

impl<T, U> Into for T
where U: From<T>,

source §

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

§

impl<T> Pointable for T

§

const ALIGN: usize = _

The alignment of pointer.

§

type Init = T

The type for initializers.

§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more

§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more

§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more

§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more

source §

impl<T> Same for T

§

type Output = T

Should always be Self

source §

impl<T> ToOwned for T
where T: Clone,

§

type Owned = T

The resulting type after obtaining ownership.

source §

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

source §

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more

source §

impl<T, U> TryFrom for T
where U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.

source §

fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>

Performs the conversion.

source §

impl<T, U> TryInto for T
where U: TryFrom<T>,

§

type Error = >::Error

The type returned in the event of a conversion error.

source §

fn try_into(self) -> Result<U, >::Error>

Performs the conversion.

§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

§

fn vzip(self) -> V

source §

impl<T> AnyBitPattern for T
where T: Pod,

source §

Struct spl_token_2022::extension::confidential_transfer::instruction::BatchedRangeProofContext

Fields§

Trait Implementations§

impl Clone for BatchedRangeProofContext

fn clone(&self) -> BatchedRangeProofContext

fn clone_from(&mut self, source: &Self)

impl TryInto<(Vec<PedersenCommitment>, Vec<usize>)> for BatchedRangeProofContext

type Error = ProofError

fn try_into( self ) -> Result<(Vec<PedersenCommitment>, Vec<usize>), <BatchedRangeProofContext as TryInto<(Vec<PedersenCommitment>, Vec<usize>)>>::Error>

impl Zeroable for BatchedRangeProofContext

fn zeroed() -> Self

impl ZkProofData<BatchedRangeProofContext> for BatchedRangeProofU128Data

const PROOF_TYPE: ProofType = ProofType::BatchedRangeProofU128

fn context_data(&self) -> &BatchedRangeProofContext

fn verify_proof(&self) -> Result<(), ProofError>

impl ZkProofData<BatchedRangeProofContext> for BatchedRangeProofU256Data

const PROOF_TYPE: ProofType = ProofType::BatchedRangeProofU256

fn context_data(&self) -> &BatchedRangeProofContext

fn verify_proof(&self) -> Result<(), ProofError>

impl ZkProofData<BatchedRangeProofContext> for BatchedRangeProofU64Data

const PROOF_TYPE: ProofType = ProofType::BatchedRangeProofU64

fn context_data(&self) -> &BatchedRangeProofContext

fn verify_proof(&self) -> Result<(), ProofError>

impl Copy for BatchedRangeProofContext

impl Pod for BatchedRangeProofContext

Auto Trait Implementations§

impl RefUnwindSafe for BatchedRangeProofContext

impl Send for BatchedRangeProofContext

impl Sync for BatchedRangeProofContext

impl Unpin for BatchedRangeProofContext

impl UnwindSafe for BatchedRangeProofContext

Blanket Implementations§

impl<T> AbiExample for T

default fn example() -> T

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> CheckedBitPattern for Twhere T: AnyBitPattern,

type Bits = T

fn is_valid_bit_pattern(_bits: &T) -> bool

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T> Pointable for T

const ALIGN: usize = _

type Init = T

unsafe fn init(init: <T as Pointable>::Init) -> usize

unsafe fn deref<'a>(ptr: usize) -> &'a T

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

unsafe fn drop(ptr: usize)

impl<T> Same for T

type Output = T

impl<T> ToOwned for Twhere T: Clone,

type Owned = T

fn to_owned(&self) -> T

fn clone_into(&self, target: &mut T)

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

impl<V, T> VZip<V> for Twhere V: MultiLane<T>,

fn vzip(self) -> V

impl<T> AnyBitPattern for Twhere T: Pod,

impl<T> NoUninit for Twhere T: Pod,

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<T> CheckedBitPattern for T
where T: AnyBitPattern,

impl<T, U> Into<U> for T
where U: From<T>,

impl<T> ToOwned for T
where T: Clone,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

impl<T> AnyBitPattern for T
where T: Pod,

impl<T> NoUninit for T
where T: Pod,