Trait VerificationModel 

pub trait VerificationModel {
    type Hash;
    type SigningKey;
    type VerifyingKey;
    type Signature;
    type Commitment;
    type Nullifier;

    // Required methods
    fn hash(tag: HashTag, bytes: &[u8]) -> Self::Hash;
    fn deriving(signing: &Self::SigningKey) -> Self::VerifyingKey;
    fn sign_value(payload: &Value, key: &Self::SigningKey) -> Self::Signature;
    fn verify_signed_value(
        payload: &Value,
        signature: &Self::Signature,
        key: &Self::VerifyingKey,
    ) -> bool;
    fn commitment(payload: &Value) -> Self::Commitment;
    fn nullifier(payload: &Value) -> Self::Nullifier;
}

Verification model typeclass.

Required Associated Types

type Hash

Hash type.

type SigningKey

Signing key type.

type VerifyingKey

Verifying key type.

type Signature

Signature type.

type Commitment

Commitment type.

type Nullifier

Nullifier type.

Required Methods

fn hash(tag: HashTag, bytes: &[u8]) -> Self::Hash

Domain-separated hash.

fn deriving(signing: &Self::SigningKey) -> Self::VerifyingKey

Derive a verifying key from a signing key.

fn sign_value(payload: &Value, key: &Self::SigningKey) -> Self::Signature

Sign a value payload.

fn verify_signed_value( payload: &Value, signature: &Self::Signature, key: &Self::VerifyingKey, ) -> bool

Verify a signed value payload.

fn commitment(payload: &Value) -> Self::Commitment

Compute a commitment for a value.

fn nullifier(payload: &Value) -> Self::Nullifier

Compute a nullifier for a value.

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.

Implementors

impl VerificationModel for DefaultVerificationModel

type Hash = Hash

type SigningKey = SigningKey

type VerifyingKey = VerifyingKey

type Signature = Signature

type Commitment = Commitment

type Nullifier = Nullifier