pub trait ZkProofData<T>where
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>
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.