Module verifiable_circuit 

Defines the utilities for taking a list of nodes and turning it into a layedout circuit

Structs

VerifiableCircuit

A circuit that contains a GKRCircuitDescription alongside a description of the committed input layers.