Type Alias MachineVerifierConfigError 

pub type MachineVerifierConfigError<GC, C> = MachineVerifierError<<GC as IopCtx>::EF, <C as MultilinearPcsVerifier<GC>>::VerifierError>;

Derive the error type from the machine config.

Aliased Type

pub enum MachineVerifierConfigError<GC, C> {
    InvalidShardProof(ShardVerifierError<<GC as IopCtx>::EF, <C as MultilinearPcsVerifier<GC>>::VerifierError>),
    InvalidPublicValues(&'static str),
    TooManyShards,
    InvalidVerificationKey,
    UninitializedVerificationKey,
    EmptyProof,
}

Variants

InvalidShardProof(ShardVerifierError<<GC as IopCtx>::EF, <C as MultilinearPcsVerifier<GC>>::VerifierError>)

An error that occurs during the verification of a shard proof.

InvalidPublicValues(&'static str)

The public values are invalid

TooManyShards

There are too many shards.

InvalidVerificationKey

Invalid verification key.

UninitializedVerificationKey

Verification key not initialized.

EmptyProof

Empty proof.