Trait ZkProofData

pub trait ZkProofData<T: Pod> {
    const PROOF_TYPE: ProofType;

    // Required methods
    fn context_data(&self) -> &T;
    fn verify_proof(&self) -> Result<(), ProofVerificationError>;
}

Required Associated Constants

const PROOF_TYPE: ProofType

Required Methods

fn context_data(&self) -> &T

fn verify_proof(&self) -> Result<(), ProofVerificationError>

Object Safety

This trait is not object safe.

Implementors

impl ZkProofData<BatchedGroupedCiphertext2HandlesValidityProofContext> for BatchedGroupedCiphertext2HandlesValidityProofData

const PROOF_TYPE: ProofType = ProofType::BatchedGroupedCiphertext2HandlesValidity

impl ZkProofData<BatchedGroupedCiphertext3HandlesValidityProofContext> for BatchedGroupedCiphertext3HandlesValidityProofData

const PROOF_TYPE: ProofType = ProofType::BatchedGroupedCiphertext3HandlesValidity

impl ZkProofData<BatchedRangeProofContext> for BatchedRangeProofU64Data

const PROOF_TYPE: ProofType = ProofType::BatchedRangeProofU64

impl ZkProofData<BatchedRangeProofContext> for BatchedRangeProofU128Data

const PROOF_TYPE: ProofType = ProofType::BatchedRangeProofU128

impl ZkProofData<BatchedRangeProofContext> for BatchedRangeProofU256Data

const PROOF_TYPE: ProofType = ProofType::BatchedRangeProofU256

impl ZkProofData<CiphertextCiphertextEqualityProofContext> for CiphertextCiphertextEqualityProofData

const PROOF_TYPE: ProofType = ProofType::CiphertextCiphertextEquality

impl ZkProofData<CiphertextCommitmentEqualityProofContext> for CiphertextCommitmentEqualityProofData

const PROOF_TYPE: ProofType = ProofType::CiphertextCommitmentEquality

impl ZkProofData<GroupedCiphertext2HandlesValidityProofContext> for GroupedCiphertext2HandlesValidityProofData

const PROOF_TYPE: ProofType = ProofType::GroupedCiphertext2HandlesValidity

impl ZkProofData<GroupedCiphertext3HandlesValidityProofContext> for GroupedCiphertext3HandlesValidityProofData

const PROOF_TYPE: ProofType = ProofType::GroupedCiphertext3HandlesValidity

impl ZkProofData<PercentageWithCapProofContext> for PercentageWithCapProofData

const PROOF_TYPE: ProofType = ProofType::PercentageWithCap

impl ZkProofData<PubkeyValidityProofContext> for PubkeyValidityProofData

const PROOF_TYPE: ProofType = ProofType::PubkeyValidity

impl ZkProofData<ZeroCiphertextProofContext> for ZeroCiphertextProofData

const PROOF_TYPE: ProofType = ProofType::ZeroCiphertext