Cairo-VM STONE STARK Verifier Rust implementation

A verifier for Factorio blueprints, enabling one to automatically check logical properties

ISO/IEC 18013-5 Rust implementation

CoRIM Verifier

Cairo-VM Stark Verifier Solana deployment

One substrate, many proofs. Trait-based on-chain verifier library for Solana supporting Groth16, PLONK, FRI-STARK, and Nova.

Substrate pallet for on-chain proof verification

Plonky2 Verifier.

A formal proof verifier for propositional and first-order logic.

SuperNova (Pasta) proof generator & verifier with CI and frozen fixtures

no_std Rust port of cenetex/merkle — single-header C MMR with deterministic byte output. MIT-0.