Expand description

Traits and helpers for data structures that require validation

Traits

Types that implement Verifiable are able to self-check using intrinsic data (e.g. signatures) and optionally some context that is required for peforming the verification e.g. a singleton signature verifier or param required for snark verification