Expand description
Independent AIR Chiplet definitions.
A ChipletDef snapshots a chiplet’s full AIR
(constraints, layout, bus specs) into an owned struct.
The prover runs an independent ZeroCheck per chiplet.
The LogUp bus reconnects chiplets to the main trace.
Structs§
- Chiplet
Def - Pre-computed chiplet AIR definition.