我們最近與 @SuccinctLabs 合作，使用 Picus（Veridise 的零知識電路形式驗證工具）來驗證 SP1 電路的確定性。

這標誌著正式驗證整個 SP1 zkVM 的第一步 🧵

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