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 bus (GPA) reconnects chiplets to the main trace.
Structs§
- Chiplet
Def - Pre-computed chiplet AIR definition.
- Composite
Chiplet - Build-time composition of peer chiplets into a single unit.
- Composite
Chiplet Builder - Builder for
CompositeChiplet.
Functions§
- compose_
chiplet_ defs - Flatten multiple composites into a single chiplet def list.
- compose_
external_ buses - Collect external buses from multiple composites.