Expand description
ProofEvent — the central event type streamed from stwo-ml proving sessions.
All variants are #[non_exhaustive] so that future additions don’t break
downstream event consumers (e.g. sinks compiled against an older version).
Structs§
- Activation
Stats - Basic descriptive statistics for a layer activation tensor.
- Circuit
Node Meta - A single node in the circuit DAG (static metadata emitted in
CircuitCompiled). - GpuSnapshot
- Snapshot of a single GPU device.
- Round
Poly Deg3 Viz - Degree-3 round polynomial [c0, c1, c2, c3] (MulLayer / higher-degree oracle).
- Round
Poly Viz - Degree-2 round polynomial [c0, c1, c2] from a MatMul sumcheck round.
- Secure
Field Mirror - Mirror of QM31 / SecureField — four M31 limbs stored as bare u32.
The
afield is the “real” M31 component; use it for scalar visualization.
Enums§
- Layer
Kind - Classification of a circuit layer used for coloring and filtering.
- Layer
Proof Kind - Classification of the proof artifact produced by a layer.
- LogLevel
- Severity level for log events.
- Proof
Event - All events that can be emitted during a stwo-ml proof session.