Expand description
The basic building block of a regular gkr circuit. The Sector node
Structs§
- Sector
- A sector node in the circuit DAG, can have multiple inputs, and a single output
Functions§
- compile_
sectors_ 🔒into_ layer_ descriptions - Takes some sectors that all belong in a single layer and builds the layer/adds their locations to the circuit map
- generate_
sector_ circuit_ description - Generate a circuit description for a vector of sectors that are to be combined. I.e., the sectors passed into this function do not have any dependencies between each other. The expected behavior of this function is to return a single layer which has merged the expressions of each of the individual sectors into a single expression.