これは、zk 証明者を正式に検証するための重要なマイルストーンであり、ZK エコシステム全体で信頼と検証可能性を確立する上で不可欠なステップです。
The Costa Group
The Costa Group8月6日 23:43
🚨 CIVER 🚨を使用したZisKで発見された2つの重大な健全性バグ Costaグループは、@ziskvm開発チームとの共同研究で、ZisKの再帰/集約回路を検証するための形式的な手法を適用しています。 🔗詳細はこちら: 🧵
1.83K