SP1 Hypercube 在 TVL 中保障了数十亿的资金。其 RISC-V 约束的正确性不应仅依赖于测试。 与 @SuccinctLabs 合作，并得到 @ethereumfndn 和 @NethermindSec 的支持，正式验证了所有 62 个核心操作码与官方 RISC-V Sail 规范在 Lean 中的一致性。 将严格的形式方法应用于生产 zk 基础设施。 祝贺主网上线。