2025-12-30 15:21:59

最近几个月、スマートコントラクト検証分野ではいくつかの興味深い進展が見られました。

Certora Proverがリリースした自動定理証明システムにより、監査プロセスが大幅に高速化されました。従来数週間かかっていた監査が、今や数時間で完了できるようになっています。Halmosはシンボル実行エンジンを用いて脆弱性検出に力を入れており、従来のテスト手法では見逃されがちな99.5%の問題を捕捉できます。さらに、MythXエンタープライズ版に追加されたリアルタイム監視機能により、ツールチェーン全体がますます充実しています。

データ上の差異は明らかです：これらの新ツールを導入したDeFiプロジェクトは、四半期を通じて安全事件ゼロを達成しています。一方、従来の方法を使い続けているプロトコルは、ハッカー攻撃による損失が3億ドルを超えています。比較すると、その差は明白です。

多くの業界関係者は、あと2年待てば、形式的検証が大型DeFiプロジェクトにとって必須の標準プロセスになる可能性が高いと予測しています。やはり安全性に関しては、誰も手を抜くことはできません。

原文表示

このページには第三者のコンテンツが含まれている場合があり、情報提供のみを目的としております（表明・保証をするものではありません）。Gateによる見解の支持や、金融・専門的な助言とみなされるべきものではありません。詳細については免責事項をご覧ください。

14 いいね

報酬
14
5
リポスト
共有

0/400

LiquidatedDreams

· 2025-12-30 23:21

さて、ようやく誰かが監査を効率化した。ずっと前にこうであるべきだった正式な検証は本当に簡単なことではなく、3億ドルの損失は問題ですチェルトラのセットは確かにトップであり、監査結果は数時間後に発表され、今後2年間は間違いなく標準となるでしょうしかし、そもそも本当に使うプロジェクトがどれだけあるでしょうか? 99.5%の脆弱性検出率は、従来の手法よりもはるかに信頼性が高いと感じられます早めに普及させ、検証が不十分でハッキングされないようにしましょうそうして初めてDeFiは本当に安心感を得られます

原文表示返信0

RegenRestorer

· 2025-12-30 15:50

うわっ、このデータの差異はあまりにも明らかだ、30億だよ、みんな早くこれらのツールを使うべきだったのに、なぜまだ命を賭けている人がいるのか形式的検証が2年以内に標準装備になる？今すぐにでも義務化すべきだと思う Certoraのこの一連の操作は本当に手厳しい、数時間で監査を終わらせるなんて、さすがにプロだまだ従来の方法を使っている兄弟たち、本当に火遊びをしているようなものだ

原文表示返信0

StealthMoon

· 2025-12-30 15:32

安全ツールチェーンは確かに飛躍し始めていますが、正直少し遅れているとも感じます。これらのプロジェクトは一体いつになったら全て導入されるのでしょうか？ --- Certoraのシステムは良さそうですが、実際の監査品質次第です。速度が速いからといって脆弱性が少ないわけではありません。 --- 99.5%は非常に素晴らしいですが、その0.5%のブラックスワンが心配です。 --- 3億ドルという数字は少し怖いですね。早く乗っておけばよかったと後悔しています。 --- 形式的検証が標準装備になる？注目して待ちましょう。コストの面ではまだ調整が必要です。 --- 大規模プロジェクトが重視し始めた感じがしますが、小規模エコシステムはまだまだ気を配る必要があります。 --- 監査のスピードアップは本当に良いニュースですが、安全意識の向上もより重要です。 --- このツールセットがもう少し安くなって、中規模プロジェクトも気軽に使えるようになるともっと良いですね。

原文表示返信0

DYORMaster

· 2025-12-30 15:32

早く普及すべきだった。まだ古いやり方を使っている人たちは本当に目を覚ますべきだ。

原文表示返信0

ImpermanentLossFan

· 2025-12-30 15:27

形式化検証このやつ、本当に始まりそうだね。でもさ、実際にお金を払って使うプロジェクトはどれだけあるんだろう。

原文表示返信0