最近、@SuccinctLabsと協力して、Picus（ゼロ知識回路用のVeridiseの形式検証ツール）を使用してSP1回路の決定性を検証しました。

これは、SP1 zkVM全体の形式検証に向けた最初のステップとなります🧵

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