SP1 Hypercube 確保了數十億的 TVL。其 RISC-V 約束的正確性不應僅依賴測試。 與 @SuccinctLabs 合作，並得到 @ethereumfndn 和 @NethermindSec 的支持，正式驗證了所有 62 個核心操作碼，並與官方的 RISC-V Sail 規範在 Lean 中進行對比。 將硬性形式方法應用於生產 zk 基礎設施。 恭喜主網上線