Expand description
Defines the utilities for taking a list of nodes and turning it into a layedout circuit
Structsยง
- Provable
Circuit - A circuit, along with all of its input data, ready to be proven using the vanila GKR proving system which uses Ligero as a PCS for committed input layers, and provides no zero-knowledge guarantees.