leanBench · topology explorer

loading…

Budget settings

reset

propose (ms) attest (ms) aggregate (ms) safe-target (ms) accept (ms)

propagation budget (ms)

Candidate topologies

Each row is a balanced tree: fan-in₁ × fan-in₂ × … × leaf_size with fan-in₁ at the root. Click a topology to load it into the simulator. Click any column header to sort.

target total signatures reset

Topology Simulator

Build a custom tree by hand: pick fan-ins for each recursion tier and a leaf size. The cost model runs live and reports total wall, slot duration, and block inclusion delay.

Cost model

Per-machine linear fits over the active combo's measurements. R² near 1.0 means the fit captures the trend; lower R² (or extrapolation past benched values) is where uncertainty creeps in.