我们最近与 @SuccinctLabs 合作，使用 Picus 验证 SP1 电路的确定性，Picus 是 Veridise 的零知识电路形式验证工具。

这标志着正式验证整个 SP1 zkVM 的第一步 🧵

1/6 https://t.co/tVvSR8GPNn