SP1の形式検証が進行中です。$ZKセキュリティ監査のリーダーである@VeridiseIncとのコラボレーションの初期結果を共有できることを嬉しく思います。https://t.co/dHp4TcmSsR