Module copy_constraints

Shared copy constraints across different virtual regions

Structs

CopyConstraintManager

Global manager for all copy constraints. Thread-safe.

Constants

EXTERNAL_CELL_TYPE_ID

Type ID to distinguish external raw Halo2 cells. This Type ID must be unique.

Type Aliases

SharedCopyConstraintManager

Thread-safe shared global manager for all copy constraints.