CertiK

Web3アプリケーションの発展に伴い、ステーブルコインは中央銀行や機関の注目の重点となり、グローバルな支払いと金融インフラを再構築する可能性があります。形式的検証は技術手段として、ステーブルコインプロジェクトが「GENIUS法案」を含む規制要件を満たし、より信頼性の高い契約システムを構築するのに効果的に役立ちます。

5月12日から13日までの間に、合計約64件のRug Pull（退出詐欺）がオンチェーンで発生し、数分ごとに1件ずつありました。この短い24時間未満の間に、合計損失額は272 SOLで、約4.59万ドルに相当します。

ZKの脆弱性により、ハッカーは偽の取引を証明するための偽造ZK証明を提出し、ZK証明チェッカーに受け入れさせることができるようになります。

形式化検証技術がzkVM（ゼロ知識仮想マシン）にどのように適用されるかを深く理解するために、本稿では単一命令の検証に焦点を当てます。

今回の協力は、取引所プラットフォーム、モバイル端末、ウォレットの安全性、スマートコントラクトの監査など、複数の分野をカバーしています。

この記事では、「退出詐欺」方式で資産を収奪する大規模な自動化ハッカーチームを明らかにします。

将来的に、徐々に現れるスケーリングソリューションやスマートコントラクトなどの多くの革新が、必ずやビットコインのエコシステムの構造を再び再形成することになるでしょう。

ビットコインエコシステムの刺激的な2023年を振り返り、その未来の発展トレンドについて展望します。

1月6日、MangoFarmSOLは詐欺を実施し、プロジェクト契約からユーザーが預けた13,512枚のSOL（当時約126万ドル）を移転し、悪意のあるフロントエンドを展開してユーザーに「緊急移転」を許可させ、約6万ドルを盗みました。

CertiKのSkyfallチームとセキュリティ専門家Dawugeが「2023年サムスンモバイルセキュリティ殿堂」に選ばれました。