Module wrapper 

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

This crate provides IronSpartanBuilderChannel, an implementation of IPVerifierChannel that symbolically executes a verifier and records the computation as an IronSpartan constraint system via ConstraintBuilder.

Re-exports

pub use builder_channel::IronSpartanBuilderChannel;

pub use zk_wrapped_channel::ZKWrappedVerifierChannel;

Modules

builder_channel

IronSpartanBuilderChannel: an IPVerifierChannel that symbolically executes a verifier and records the computation as constraints on a ConstraintBuilder.

circuit_elem

Generic field element over a pluggable CircuitBuilder backend.

gadgets

Circuit gadgets — functions generic over CircuitBuilder that take input wires and return output wires.

zk_wrapped_channel

ZK-wrapped verifier channel that delegates to a BaseFold ZK channel and an outer IOP verifier.