#[repr(C)]pub struct CiphertextCommitmentEqualityProofContext {
pub pubkey: ElGamalPubkey,
pub ciphertext: ElGamalCiphertext,
pub commitment: PedersenCommitment,
}
Expand description
The context data needed to verify a ciphertext-commitment equality proof.
Fields§
§pubkey: ElGamalPubkey
The ElGamal pubkey
ciphertext: ElGamalCiphertext
The ciphertext encrypted under the ElGamal pubkey
commitment: PedersenCommitment
The Pedersen commitment
Trait Implementations§
Source§impl Clone for CiphertextCommitmentEqualityProofContext
impl Clone for CiphertextCommitmentEqualityProofContext
Source§fn clone(&self) -> CiphertextCommitmentEqualityProofContext
fn clone(&self) -> CiphertextCommitmentEqualityProofContext
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<CiphertextCommitmentEqualityProofContext> for CiphertextCommitmentEqualityProofData
impl ZkProofData<CiphertextCommitmentEqualityProofContext> for CiphertextCommitmentEqualityProofData
const PROOF_TYPE: ProofType = ProofType::CiphertextCommitmentEquality
fn context_data(&self) -> &CiphertextCommitmentEqualityProofContext
fn verify_proof(&self) -> Result<(), ProofVerificationError>
impl Copy for CiphertextCommitmentEqualityProofContext
impl Pod for CiphertextCommitmentEqualityProofContext
Auto Trait Implementations§
impl Freeze for CiphertextCommitmentEqualityProofContext
impl RefUnwindSafe for CiphertextCommitmentEqualityProofContext
impl Send for CiphertextCommitmentEqualityProofContext
impl Sync for CiphertextCommitmentEqualityProofContext
impl Unpin for CiphertextCommitmentEqualityProofContext
impl UnwindSafe for CiphertextCommitmentEqualityProofContext
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