Skip to main content

Module builder_channel

binius_spartan_verifier::wrapper

Module builder_channel 

Source
Expand description

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

Structsยง

IronSpartanBuilderChannel
A channel that symbolically executes a verifier, building up an IronSpartan constraint system.