#[repr(C)]pub struct BatchedGroupedCiphertext2HandlesValidityProofData {
pub context: BatchedGroupedCiphertext2HandlesValidityProofContext,
pub proof: PodBatchedGroupedCiphertext2HandlesValidityProof,
}Expand description
The instruction data that is needed for the
ProofInstruction::VerifyBatchedGroupedCiphertextValidity instruction.
It includes the cryptographic proof as well as the context data information needed to verify the proof.
Fields§
§context: BatchedGroupedCiphertext2HandlesValidityProofContext§proof: PodBatchedGroupedCiphertext2HandlesValidityProofImplementations§
Source§impl BatchedGroupedCiphertext2HandlesValidityProofData
impl BatchedGroupedCiphertext2HandlesValidityProofData
pub fn new( first_pubkey: &ElGamalPubkey, second_pubkey: &ElGamalPubkey, grouped_ciphertext_lo: &GroupedElGamalCiphertext<2>, grouped_ciphertext_hi: &GroupedElGamalCiphertext<2>, amount_lo: u64, amount_hi: u64, opening_lo: &PedersenOpening, opening_hi: &PedersenOpening, ) -> Result<BatchedGroupedCiphertext2HandlesValidityProofData, ProofGenerationError>
Source§impl BatchedGroupedCiphertext2HandlesValidityProofData
impl BatchedGroupedCiphertext2HandlesValidityProofData
pub fn to_bytes(&self) -> Box<[u8]>
pub fn from_bytes( bytes: &[u8], ) -> Result<BatchedGroupedCiphertext2HandlesValidityProofData, ProofDataError>
Trait Implementations§
Source§impl Clone for BatchedGroupedCiphertext2HandlesValidityProofData
impl Clone for BatchedGroupedCiphertext2HandlesValidityProofData
Source§fn clone(&self) -> BatchedGroupedCiphertext2HandlesValidityProofData
fn clone(&self) -> BatchedGroupedCiphertext2HandlesValidityProofData
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<BatchedGroupedCiphertext2HandlesValidityProofContext> for BatchedGroupedCiphertext2HandlesValidityProofData
impl ZkProofData<BatchedGroupedCiphertext2HandlesValidityProofContext> for BatchedGroupedCiphertext2HandlesValidityProofData
const PROOF_TYPE: ProofType = ProofType::BatchedGroupedCiphertext2HandlesValidity
fn context_data(&self) -> &BatchedGroupedCiphertext2HandlesValidityProofContext
fn verify_proof(&self) -> Result<(), ProofVerificationError>
impl Copy for BatchedGroupedCiphertext2HandlesValidityProofData
impl Pod for BatchedGroupedCiphertext2HandlesValidityProofData
Auto Trait Implementations§
impl Freeze for BatchedGroupedCiphertext2HandlesValidityProofData
impl RefUnwindSafe for BatchedGroupedCiphertext2HandlesValidityProofData
impl Send for BatchedGroupedCiphertext2HandlesValidityProofData
impl Sync for BatchedGroupedCiphertext2HandlesValidityProofData
impl Unpin for BatchedGroupedCiphertext2HandlesValidityProofData
impl UnwindSafe for BatchedGroupedCiphertext2HandlesValidityProofData
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,
Source§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: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
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