#[repr(C)]pub struct CiphertextCiphertextEqualityProofData {
pub context: CiphertextCiphertextEqualityProofContext,
pub proof: PodCiphertextCiphertextEqualityProof,
}
Expand description
The instruction data that is needed for the
ProofInstruction::VerifyCiphertextCiphertextEquality
instruction.
It includes the cryptographic proof as well as the context data information needed to verify the proof.
Fields§
§context: CiphertextCiphertextEqualityProofContext
§proof: PodCiphertextCiphertextEqualityProof
Implementations§
Source§impl CiphertextCiphertextEqualityProofData
impl CiphertextCiphertextEqualityProofData
pub fn new( first_keypair: &ElGamalKeypair, second_pubkey: &ElGamalPubkey, first_ciphertext: &ElGamalCiphertext, second_ciphertext: &ElGamalCiphertext, second_opening: &PedersenOpening, amount: u64, ) -> Result<CiphertextCiphertextEqualityProofData, ProofGenerationError>
Trait Implementations§
Source§impl Clone for CiphertextCiphertextEqualityProofData
impl Clone for CiphertextCiphertextEqualityProofData
Source§fn clone(&self) -> CiphertextCiphertextEqualityProofData
fn clone(&self) -> CiphertextCiphertextEqualityProofData
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<CiphertextCiphertextEqualityProofContext> for CiphertextCiphertextEqualityProofData
impl ZkProofData<CiphertextCiphertextEqualityProofContext> for CiphertextCiphertextEqualityProofData
const PROOF_TYPE: ProofType = ProofType::CiphertextCiphertextEquality
fn context_data(&self) -> &CiphertextCiphertextEqualityProofContext
fn verify_proof(&self) -> Result<(), ProofVerificationError>
impl Copy for CiphertextCiphertextEqualityProofData
impl Pod for CiphertextCiphertextEqualityProofData
Auto Trait Implementations§
impl Freeze for CiphertextCiphertextEqualityProofData
impl RefUnwindSafe for CiphertextCiphertextEqualityProofData
impl Send for CiphertextCiphertextEqualityProofData
impl Sync for CiphertextCiphertextEqualityProofData
impl Unpin for CiphertextCiphertextEqualityProofData
impl UnwindSafe for CiphertextCiphertextEqualityProofData
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§unsafe fn clone_to_uninit(&self, dst: *mut T)
unsafe fn clone_to_uninit(&self, dst: *mut T)
🔬This is a nightly-only experimental API. (
clone_to_uninit
)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