SP1 Hypercube beveiligt miljarden in TVL. De correctheid van zijn RISC-V beperkingen zou niet alleen op testen moeten rusten. In samenwerking met @SuccinctLabs en ondersteund door @ethereumfndn, heeft @NethermindSec alle 62 kern opcodes formeel geverifieerd tegen de officiële RISC-V Sail specificatie in Lean. Harde formele methoden, toegepast op productie zk-infrastructuur. Gefeliciteerd met de mainnet.