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<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<FeeSigmaProofContext> for FeeSigmaProofData

const PROOF_TYPE: ProofType = ProofType::FeeSigma

impl ZkProofData<GroupedCiphertext2HandlesValidityProofContext> for GroupedCiphertext2HandlesValidityProofData

const PROOF_TYPE: ProofType = ProofType::GroupedCiphertext2HandlesValidity

impl ZkProofData<PubkeyValidityProofContext> for PubkeyValidityData

const PROOF_TYPE: ProofType = ProofType::PubkeyValidity

impl ZkProofData<RangeProofContext> for RangeProofU64Data

const PROOF_TYPE: ProofType = ProofType::RangeProofU64

impl ZkProofData<TransferProofContext> for TransferData

const PROOF_TYPE: ProofType = ProofType::Transfer

impl ZkProofData<TransferWithFeeProofContext> for TransferWithFeeData

const PROOF_TYPE: ProofType = ProofType::TransferWithFee

impl ZkProofData<WithdrawProofContext> for WithdrawData

const PROOF_TYPE: ProofType = ProofType::Withdraw

impl ZkProofData<ZeroBalanceProofContext> for ZeroBalanceProofData

const PROOF_TYPE: ProofType = ProofType::ZeroBalance