openvm_stark_backend

Module verifier

Expand description

Verifier implementation

Modules§

constraints

Structs§

MultiTraceStarkVerifier
Verifies a partitioned proof of multi-matrix AIRs.

Enums§

VerificationError