Struct spl_token_2022::extension::confidential_transfer::instruction::BatchedRangeProofU128Data
source · #[repr(C)]pub struct BatchedRangeProofU128Data {
pub context: BatchedRangeProofContext,
pub proof: RangeProofU128,
}
Expand description
The instruction data that is needed for the
ProofInstruction::VerifyBatchedRangeProofU128
instruction.
It includes the cryptographic proof as well as the context data information needed to verify the proof.
Fields§
§context: BatchedRangeProofContext
The context data for a batched range proof
proof: RangeProofU128
The batched range proof
Implementations§
source§impl BatchedRangeProofU128Data
impl BatchedRangeProofU128Data
pub fn new( commitments: Vec<&PedersenCommitment>, amounts: Vec<u64>, bit_lengths: Vec<usize>, openings: Vec<&PedersenOpening> ) -> Result<BatchedRangeProofU128Data, ProofError>
Trait Implementations§
source§impl Clone for BatchedRangeProofU128Data
impl Clone for BatchedRangeProofU128Data
source§fn clone(&self) -> BatchedRangeProofU128Data
fn clone(&self) -> BatchedRangeProofU128Data
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 ZkProofData<BatchedRangeProofContext> for BatchedRangeProofU128Data
impl ZkProofData<BatchedRangeProofContext> for BatchedRangeProofU128Data
const PROOF_TYPE: ProofType = ProofType::BatchedRangeProofU128
fn context_data(&self) -> &BatchedRangeProofContext
fn verify_proof(&self) -> Result<(), ProofError>
impl Copy for BatchedRangeProofU128Data
impl Pod for BatchedRangeProofU128Data
Auto Trait Implementations§
impl RefUnwindSafe for BatchedRangeProofU128Data
impl Send for BatchedRangeProofU128Data
impl Sync for BatchedRangeProofU128Data
impl Unpin for BatchedRangeProofU128Data
impl UnwindSafe for BatchedRangeProofU128Data
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
.