Web3 のデフォルトによるセキュアがここにあります。 Verifying Intelligence(@GoogleCloudおよび@boundless_xyzとの提携)で、@VeridiseInc CEOは、CI/CDに監査をもたらす継続的なセキュリティプラットフォームであるAuditHubを発表@FormallyJon。 1つのセットアップ、DeFiとZK全体の常時オンスキャン、つまり静的アナライザー、ファジング、さらには正式な検証(決定論的回路チェックなど)、さらにカスタム検出器、誤検知を削減するためのガイド付きトリアージ、およびプロジェクトの完全なカバレッジ(「範囲外」の盲点なし)を考えてみてください。 ビジネスロジックのバグを早期に発見し、ZK回路を検証し、実際の保証でより迅速に出荷することに関心がある場合は、この基調講演は必見です。