Module layer 

Structs

GkrLayerAir

The GkrLayerAir handles layer-to-layer transitions in the GKR protocol

GkrLayerCols

GkrLayerRecord

Minimal record for parallel gkr layer trace generation

GkrLayerTraceGenerator