#[repr(C)]pub struct ZeroCiphertextProofContext {
pub pubkey: PodElGamalPubkey,
pub ciphertext: PodElGamalCiphertext,
}Expand description
The context data needed to verify a zero-ciphertext proof.
Fields§
§pubkey: PodElGamalPubkeyThe ElGamal pubkey associated with the ElGamal ciphertext
ciphertext: PodElGamalCiphertextThe ElGamal ciphertext that encrypts zero
Implementations§
Source§impl ZeroCiphertextProofContext
impl ZeroCiphertextProofContext
pub fn to_bytes(&self) -> Box<[u8]>
pub fn from_bytes( bytes: &[u8], ) -> Result<ZeroCiphertextProofContext, ProofDataError>
Trait Implementations§
Source§impl Clone for ZeroCiphertextProofContext
impl Clone for ZeroCiphertextProofContext
Source§fn clone(&self) -> ZeroCiphertextProofContext
fn clone(&self) -> ZeroCiphertextProofContext
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<ZeroCiphertextProofContext> for ZeroCiphertextProofData
impl ZkProofData<ZeroCiphertextProofContext> for ZeroCiphertextProofData
const PROOF_TYPE: ProofType = ProofType::ZeroCiphertext
fn context_data(&self) -> &ZeroCiphertextProofContext
fn verify_proof(&self) -> Result<(), ProofVerificationError>
impl Copy for ZeroCiphertextProofContext
impl Pod for ZeroCiphertextProofContext
Auto Trait Implementations§
impl Freeze for ZeroCiphertextProofContext
impl RefUnwindSafe for ZeroCiphertextProofContext
impl Send for ZeroCiphertextProofContext
impl Sync for ZeroCiphertextProofContext
impl Unpin for ZeroCiphertextProofContext
impl UnwindSafe for ZeroCiphertextProofContext
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