Module circuit 

Helpers for building ProofEvent::CircuitCompiled from stwo-ml circuit types.

This module is called from stwo-ml (feature-gated) — it may import stwo-ml types directly. The output is a plain ProofEvent with no stwo/nightly deps.

Structs

CircuitLayerDesc

A minimal description of one circuit layer, collected by stwo-ml before calling circuit_compiled_event. This avoids importing stwo-ml types directly into proof-stream.

Functions

circuit_compiled_event

Build ProofEvent::CircuitCompiled from a flat description list.

matmul_trace_cost

Estimate trace cost for a MatMul layer: m × k × n rounded up to next power of two (proportional to sumcheck size).