Crate binius_spartan_verifier 

Spartan-based proof verification for Binius64 constraint systems.

This crate provides the Verifier struct for verifying zero-knowledge proofs generated by binius_spartan_prover. It implements the Spartan protocol adapted for Binius64’s constraint system.

When to use this crate

Use this crate when you have a constraint system built with binius_spartan_frontend and need to verify a Spartan-based proof. This is an alternative to the main binius_verifier crate.

Key types

• Verifier - Main verification interface; call Verifier::setup with a constraint system, then Verifier::verify with a proof and public inputs
• IOPVerifier - Core IOP verification logic, independent of the compilation strategy
• Error - Error type returned when proof verification fails

Related crates

• binius_spartan_prover - Proving counterpart
• binius_spartan_frontend - Constraint system builder for Spartan
• binius_verifier - Alternative verification backend

Modules

config

constraint_system

wiring

wrapper

Spartan wrapper for symbolically executing IOP verifiers to build constraint systems.

Structs

IOPVerifier

IOP verifier for a particular constraint system.

MulcheckOutput

Output of the multiplication constraint check verification.

Verifier

Struct for verifying instances of a particular constraint system.

Enums

Error

Constants

SECURITY_BITS