Illia Polosukhin: AIDハッカーは、ソフトウェアの漏れをより迅速に検知

NEARプログラムの共同創設者であるIlia Polosukhinは、AIがハッカーがソフトウェアのギャップをより迅速に検出し、従来のマニュアルコードレビューが対処し難しかったと述べ、したがって、チェーン開発が予想通りに実行されたコードを実証するために正式化に移すべきである。 AIは、証明書の生成を支援し、独立したシステムによる妥当性の検証が数週間に減少したと述べた。 最近、Zcash の s プロジェクト タキヨンは、AI による検証により、アイアンウッドのプライバシープール用の数学証明書を生成し、同様の隠しループホールを防止します。 Polosukhinによると、将来のスマートコントラクトを超えて、主要なインターネットとネットワークソフトウェアに拡張する必要があります。