solana_zk_token_sdk::instruction::batched_range_proof

Struct BatchedRangeProofContext

#[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

Source §

type Error = ProofVerificationError

The type returned in the event of a conversion error.

Source §

fn try_into(self) -> Result<(Vec<PedersenCommitment>, Vec<usize>), Self::Error>

Performs the conversion.

Source §

impl Pod for BatchedRangeProofContext

Auto Trait Implementations§

§

impl Freeze for BatchedRangeProofContext

§

impl RefUnwindSafe for BatchedRangeProofContext

§

impl Send for BatchedRangeProofContext

§

impl Sync for BatchedRangeProofContext

§

impl Unpin for BatchedRangeProofContext

§

impl UnwindSafe for BatchedRangeProofContext

Blanket Implementations§

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,

Source §

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> CloneToUninit for T
where T: Clone,

Source §

unsafe fn clone_to_uninit(&self, dst: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)

Performs copy-assignment from self to dst. Read more

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.

Source §

impl<T> IntoEither for T

Source §

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 more

Source §

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

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

Source §

impl<T> Same for T

Source §

type Output = T

Should always be Self

Source §

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

Source §

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>,

Source §

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>,

Source §

type Error = >::Error

The type returned in the event of a conversion error.

Source §

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

Performs the conversion.

Source §

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

Source §

fn vzip(self) -> V

Source §

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

Source §

Struct BatchedRangeProofContextCopy item path

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 = ProofVerificationError

fn try_into(self) -> Result<(Vec<PedersenCommitment>, Vec<usize>), Self::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<(), ProofVerificationError>

impl ZkProofData<BatchedRangeProofContext> for BatchedRangeProofU256Data

const PROOF_TYPE: ProofType = ProofType::BatchedRangeProofU256

fn context_data(&self) -> &BatchedRangeProofContext

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

impl ZkProofData<BatchedRangeProofContext> for BatchedRangeProofU64Data

const PROOF_TYPE: ProofType = ProofType::BatchedRangeProofU64

fn context_data(&self) -> &BatchedRangeProofContext

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

impl Copy for BatchedRangeProofContext

impl Pod for BatchedRangeProofContext

Auto Trait Implementations§

impl Freeze for BatchedRangeProofContext

impl RefUnwindSafe for BatchedRangeProofContext

impl Send for BatchedRangeProofContext

impl Sync for BatchedRangeProofContext

impl Unpin for BatchedRangeProofContext

impl UnwindSafe for BatchedRangeProofContext

Blanket Implementations§

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> CloneToUninit for Twhere T: Clone,

unsafe fn clone_to_uninit(&self, dst: *mut u8)

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> IntoEither for T

fn into_either(self, into_left: bool) -> Either<Self, Self>

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>where F: FnOnce(&Self) -> bool,

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,

Struct BatchedRangeProofContext

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> CloneToUninit for T
where T: Clone,

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

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

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,