Certoraは、最も高度な正式な検証エンジンであるCertora Proverをオープンソースにして、暗号セクターのすべての人がスマートコンサートセキュリティをよりアクセスしやすくしていますtrac
ハッカーがデジタル資産スペースを急増させ、資金を盗むため、Certoraからのこの動きはより良い時期に来ることはできませんでした。
「セキュリティは、Web3の最大の課題の1つです。 DeFi Projectsは監査に数百万を費やし、しばしば発売に1年以上かかりますが、脆弱性は数十億ドルを危険にさらし続けています」とCertora CTO Shelly Grossman氏は次のように述べていtrac。 TSは、多くの開発者にとって高価であり、手の届かないままです。それは今日変わります。」
ブロックチェーン分析会社のチェーン溶解からのデータは、2024年にハッカーによってなんと22億ドルが盗まれたことを明らかにしています。これは1年前から21％増加しています。dentの数も急増しました。
暗号の採用が上昇するにつれて、trac 3兆ドルを超える暗号通貨の総時価総額で市場が急増しているため、悪い俳優は確かに増加しています。DeFiのバックボーンである tracの弱点を活用することにより、ますます洗練された方法を採用し、範囲を広げています。
この背景に対して、Certoraは DeFi Developersに強力なソリューションを提供しています。これは、可能な限りのバグをdent、その不在を証明しています。複数の人気のあるチェーンをサポートすることにより、 Ethereum （EVM）、 Solana （SBPF）、およびStellar（WASM）、Certoraは、暗号空間の大部分がスマートtrac攻撃から保護されるようにします。
ProverはCertoraのフラッグシップセキュリティ製品であり、正式な検証を利用して、最も困難で希少なバグをキャッチします。 「長い間」の制作では、このツールは最終的に一般の人々にリリースされます。
Certora Proverは本質的に自動化された数学maticアル監査人として機能し、正確さの証明を提供するためにスマートコンtracコードと開発者defi規則を分析します。このようにして、それは限られたシナリオを超えて、可能なすべてのケースを評価します。開発者はすでに70,000を超える検証ルールを書きました。
実際、2018年以降に検出されていないMakerdaoのDai方程式の根本的な欠陥が最終的に捕まえられたのは、実際にはCertoraの正式な検証技術の助けを借りていました。このような調査結果は、複数の監査でもスマートコンtracの脆弱性を完全に削除できないことを示していますが、正式な検証はそれらを明らかにするのに役立ちます。
このツールを使用して、Cetoraは Aave、Uniswap、Lido、Eigenlayer、 Solana Foundationなどを支援してきました。
ただし、Certoraはこの間ずっとコードを閉鎖していました。これにより、tronGツールとしてWeb3のすべての開発者を完全に自由に提供できるように、スマートコンtracが安全で透明性があり、コミュニティであることを確認するための動きが最終的に変化しています。 - ドライブ。
「Smart ContracSecurityは、資金提供されたチームや高度な教育を受けた人々のために予約された特権であってはなりません。 Certora Proverのオープンソーシングは、防弾スマートコンtracを標準にするための一歩です」とCertora CEOのMooly Sagiv氏は述べています。
Certoraは現在、すべての人が自由に利用できるように、開発者、セキュリティ研究者、およびWeb3コミュニティを招待して、ソリューションを採用してスマートコンtracを検証し、 DeFi 安全にするための努力を向上させています。
