Lean verifiability would let low-power devices confirm blocks with modest bandwidth.