Module constraint_system

Definitions and constructions of plonk constraint system

Structs

BoolVar

An index to a witness value of boolean type.

PlonkCircuit

A specific Plonk circuit instantiation.

Enums

MergeableCircuitType

Enum for each type of mergeable circuit. We can only merge circuits from different types.

PlonkType

Enum for each type of Plonk scheme.

Traits

Arithmetization

An interface that transforms Plonk circuits to polynomial used by Plonk-based SNARKs.

Circuit

An interface for Plonk constraint systems.

Type Aliases

GateId

An index to a gate in circuit.

Variable

An index to one of the witness values.

WireId

An index to the type of gate wires. There are 4 different types of input gate wires (with indices 0..3), 1 type of output gate wires (with index 4), and 1 type of lookup gate wires (with index 5).