監査報告

公式の発表によると、Aave LabsはAave V4のセキュリティプログラムに関する完全な透明性レポートを発表しました。これには、方法、プロセス、結果などが含まれ、Trail of Bits、Blackthorn、Certoraなどの複数のセキュリティ機関が共同で支持しています。手動監査、形式的検証、不変テスト、ファジング、公開セキュリティコンペティションを通じて、約345日間のセキュリティレビューが行われました。このプログラムは、DAOによって承認された150万ドルの専用セキュリティ予算によって支えられています。Aave Labsは、Aave V4セキュリティプログラムから5つのコアコミットメントを継続することを発表しました：初期開発段階に形式的検証を組み込み、アーキテクチャ設計が検証だけでなく安全な方法の指導を受けることを確保すること；手動レビュー、形式的検証、不変テスト、AI支援チェック、ファジング、公開セキュリティコンペティションを含む層状のセキュリティアプローチを採用し、より多くの潜在的な脆弱性をカバーすること；継続的なセキュリティカバレッジを維持し、形式的検証フレームワークと不変テストスイートはプロトコルの反復に伴って継続的に実行されること；長期的な脆弱性報奨プログラムを設立し、より広範なセキュリティコミュニティを利用して継続的な監視を提供すること；およびAIスキャン能力を最適化し、既存のテスト経験に基づいて将来のバージョンのインテリジェントなセキュリティ検出レベルを継続的に向上させること。

公式の発表によると、Aave LabsはAave V4のセキュリティプログラムに関する完全な透明性レポートを公開しました。このレポートには、方法、プロセス、結果などが含まれており、Trail of Bits、Blackthorn、Certoraなどの複数のセキュリティ機関が共同で支持しています。手動監査、形式的検証、不変テスト、ファジング、公開セキュリティコンペティションを通じて、約345日間のセキュリティレビューが行われました。このプログラムは、DAOによって承認された150万ドルの専用セキュリティ予算によって支えられています。Aave Labsは、Aave V4セキュリティプログラムから5つのコアコミットメントを継続することを発表しました：初期開発段階に形式的検証を組み込み、アーキテクチャ設計が安全な方法論に基づいていることを確認する；手動レビュー、形式的検証、不変テスト、AI支援チェック、ファジング、公開セキュリティコンペティションを含む層状のセキュリティアプローチを採用し、より多くの潜在的な脆弱性をカバーする；継続的なセキュリティカバレッジを維持し、形式的検証フレームワークと不変テストスイートはプロトコルの反復に伴って継続的に実行される；長期的な脆弱性報奨金プログラムを設立し、より広範なセキュリティコミュニティを利用して継続的な監視を提供する；そして、AIスキャン能力を最適化し、既存のテスト経験に基づいて将来のバージョンのスマートセキュリティ検出レベルを向上させる。

Upbit は、Sunghyun 会計士事務所によって監査された「デジタル資産および預金監査報告書」を発表しました。その中で、Upbit が顧客に支払う予定のデジタル資産を約 103.19% 保有していることが明らかにされ、預金監査の結果、Upbit が顧客に支払うために利用可能な資金を 105.72% 保有していることが示されました。

ChainCatcher のメッセージ、Paxos は「四大監査法人」の一つであるKPMGが発行したステーブルコイン PYUSD の証明書レポートを公開しました。その中で、PYUSD トークンの流通総額（Total Tokens Outstanding）が 2,638,336,904 枚に達し、歴史的な新高値を記録しました。総純資産における可赎回担保の名目ポジション価値は 2,652,728,424 米ドルで、PYUSD トークンの流通総額を上回っています。なお、Paxos は9月の証明書レポートを発表しておらず、8月には PYUSD の流通総額が 1,169,714,720 枚であることが明らかにされており、これは過去2ヶ月で流通量が約 125.5% 増加したことを意味します。

ChainCatcher のメッセージによると、市場の情報では、ビットコインエコシステム取引プラットフォーム ODIN•FUN の共同創設者 Bob Bodily が X プラットフォームでスマートコントラクトの公開監査報告書を発表しました。これは ODIN•FUN における多くの監査の中で初めてのもので、関連する監査は Bonding Curve、AMM 数学ロジック、コードの品質とテストなどのコアモジュールをカバーしており、すべての重要/高/中レベルの問題が修正され、低レベルの問題には説明または修正が提供されています。Bob Bodily は今後もさらなる監査とセキュリティメカニズムの推進を続けると述べています。

ChainCatcher のメッセージによると、公式の発表により、Tether は2025年6月30日までの最新の金トークン化製品 Tether Gold（XAUT）の監査報告書を発表しました。現在流通している XAUT トークンは 246,524.330 枚です。報告書によれば、各 XAUT トークンは 1:1 の実物の金で裏付けられており、金はスイスの世界的な施設内の専用金庫に安全に保管されています。流通している XAUT トークンは 7.66 トン以上の実物の金で裏付けられています。

ChainCatcher のメッセージによると、Cointelegraph が報じたところでは、Cardano の創設者 Charles Hoskinson は、Input Output Global (IOG) の ADA 保有監査報告書の初稿が完成したと述べ、8 月中旬に公開される予定であるとしています。Hoskinson は、ライブ配信を通じて報告書の内容を詳細に解説する計画であり、虚偽の主張に対して法的措置を検討しています。以前、コミュニティのメンバーは、IOG が 2021 年のハードフォーク期間中に 6.19 億ドル相当の ADA トークンを不適切に扱ったことに疑問を呈しました。Hoskinson は、IOG が未請求の 3.5 億 ADA を保有したことはないと強調し、残りのトークンは Intersect 組織に寄付されたと述べています。現在の ADA の価格は 0.8389 ドルです。

ChainCatcher のメッセージ、zkBTC Bridge はソーシャルメディアプラットフォームで監査結果を発表し、安全監査が無事に完了したことを正式に発表しました。今回の監査は国際的に有名なブロックチェーンセキュリティ機関 BEOSIN と LeastAuthority が共同で実施し、契約コードの完全性、論理的安全性、攻撃耐性を網羅しています。結果は、zkBTC Bridge がすべての審査項目を無事に通過したことを示しており、その安全性と安定性を際立たせています。ビットコインとイーサリアムエコシステム間の重要な橋渡しとして、zkBTC はネイティブビットコイン資産を採用し、ゼロ知識証明と組み合わせることで、ビットコインエコシステムの発展を推進する重要なインフラを構築し、ネイティブビットコイン Layer 2 ネットワークを構築しています。

ChainCatcher のメッセージによると、Cointelegraph が報じたところによれば、Cardano の創設者チャールズ・ホスキンソンは、6億ドル相当の ADA トークンの流用に関する告発を否定しました。ホスキンソンは、これらの告発に対して「深く傷ついている」と述べ、Cardano がコミュニティの疑念に応えるために監査報告書を発表することを約束しました。

ChainCatcher のメッセージによると、公式の発表で Tether は金のトークン化製品 Tether Gold（XAUT）がエルサルバドルでのコンプライアンスを実現したと発表し、新しい規制フレームワークに準拠した XAUT の公式監査報告書を初めて公開しました。報告書によると、各 XAUT トークンは 1:1 の実物金に裏付けられており、金はスイスの世界クラスの施設にある専用の金庫に安全に保管されています。流通している XAUT トークンは 7.7 トン以上の実物金に裏付けられています。

ChainCatcher のメッセージによると、Safe は、Safe{Wallet} チームが過去数日間、Bybit ハッキング事件に対する包括的なフォレンジック調査とセキュリティ監査を行うために Mandiant と協力していると述べています。Safe は、そのチームが透明性にコミットしていることを示しています。Mandiant の初期報告結果は来週発表される予定です。

ChainCatcher のメッセージ、最近、世界的にリーディングなブロックチェーンセキュリティ会社ChainSecurityが、分散型ステーブルコインUSDD 2.0の監査報告書を発表しました。ChainSecurityは報告書の中で、USDD 2.0の契約コードライブラリが満足のいく高いレベルのセキュリティを提供していることを指摘し、資産の返済能力と機能の正確性において優れたパフォーマンスを示していると述べています。報告によれば、USDDはトロン(TRON)エコシステム内の分散型ステーブルコインプロジェクトであり、1月末に新たなアップグレードを完了し、2月1日にJustLendを通じて20%の年利収益のステーキング活動を開始しました。

ChainCatcher のメッセージによると、公式発表により、Paxos は今月（2024 年 11 月）に星展銀行と協力してシンガポールのコンプライアンス安定コイン USDG の初の証明報告書（attestation report）を発表する予定であると述べています。Paxos は、この証明報告書が独立した第三者の会計事務所 Enrome LLP によって発行される予定であり、この審査はシンガポール公認会計士協会が定めた基準に基づいて行われるとしています。Paxos は、今後毎月証明報告書を発表する予定であり、この取り組みによりコミュニティの信頼を築き、財務データの完全な透明性と信頼性を確保することを目指しています。

ChainCatcher のメッセージ、Dusk Network は POL Finance によって完成された経済モデルと金融数学監査報告書を発表しました。この報告書は、Dusk のトークンエコノミクス、発行計画、ノード提供者のリターン率、経済的安全性などの重要な側面を包括的に分析しています。報告書は、各ブロックで 19.86 枚の DUSK が発行され、そのうち 80% がブロック生成者に配分されることを確認しています（70% の基本報酬と 10% の条件付き報酬を含む）、5% が検証委員会に、5% が承認委員会に、10% が Dusk ファンドに入ります。

ChainCatcher のメッセージ、stUSDT は ChainSecurity と提携し、スマートコントラクトの包括的なセキュリティ監査を実施し、公式ウェブサイトで完全なセキュリティ監査報告書とホワイトペーパーを公開しました。セキュリティ監査の提案に基づき、stUSDT プラットフォームは 6 月 24 日に契約のアップグレードを完了し、アップグレード後のシステムを密接に監視して、すべての機能が正常に動作していることを確認しています。同時に、stUSDT は公式ウェブサイトで完全なセキュリティ監査報告書とホワイトペーパーを正式に公開しました。セキュリティ監査報告書では、ChainSecurity によって行われたセキュリティ監査の結果が詳述されており、重要または高リスクの脆弱性は発見されませんでした。一方、ホワイトペーパーは stUSDT プロトコルのアーキテクチャ設計とガバナンス構造を包括的に概説し、ユーザーの投資の安全性と信頼性を確保するための技術基盤を示しています。ChainSecurity は、欧米のトップセキュリティ監査会社であり、Ethereum 財団、Circle、Polygon、Uniswap、MakerDAO、Curve、Compound、Yearn、Lido などの著名な機関やプロジェクトに監査サービスを提供してきたとされています。stUSDT は、rebase に基づく初の RWA プロトコルであり、現在は分散型プラットフォーム JustLend DAO によって運営されています。stUSDT プラットフォームは、スマートコントラクトを通じて個人と機関投資家、暗号世界と現実世界の間に橋を架け、すべての人に向けたより公平な RWA 投資チャネルを提供することに尽力しています。現在、stUSDT の総ステーキング量は 2.71 億ドルを超え、APY は 4.64% に達しています。

ChainCatcher のメッセージ、ブロックチェーン監査およびセキュリティ会社 Statemind が Curve Finance の貸出プラットフォーム LlamaLend の監査報告書を発表し、1 件の Crit、1 件の High、4 件の Med の脆弱性を特定し、成功裏に修正した。Curve は、この監査が LlamaLend の公開前に完了したことを示しています。

ChainCatcher のメッセージ、Avalanche エコシステムのソーシャルプロトコル Stars Arena は X プラットフォームで Paladin による新契約の監査報告を発表し、今後 24 時間以内に取引を再開することを示しました。以前の報道、Stars Arena のウェブサイトは 10 月 7 日に DDOS 攻撃を受け、10 月 16 日に再開しましたが、取引は開放されていません。

ChainCatcher のメッセージ、Worldcoin は公式ブログでセキュリティ監査報告書を発表しました。2023年4月から、監査会社 Nethermind と Least Authority がこのプロトコルに対して2回の独立したセキュリティ監査を実施しました。その中で Nethermind はこのプロトコルのスマートコントラクトを重点的に監査し、26件の問題を発見しました。そのうち92.6%（24件）は検証段階後に修正され、1件は緩和され、残りの1件は確認されました。Least Authority はこのプロトコルにおける暗号技術の使用を重点的に監査し、3件の問題を発見し、6つの提案を行いました。すべての問題は「解決済みまたは解決予定」です。

ChainCatcher のメッセージ、ブロックチェーン監査およびセキュリティ会社 Statemind が Lido Finance V2 の監査報告書を発表しました。監査では合計 120 の問題が発見され、その中には 2 つの重大な問題と 8 つの高リスク問題、17 の中程度の問題が含まれています。以前のニュースでは、4 月末にスマートコントラクトセキュリティプロジェクト Certora が Lido V2 プロトコル内の 23 の問題を発見したと述べており、その中には 2 つの重大な問題と 5 つの高リスク問題が含まれています。Lido チームは一部の問題に対して対応し、解決しました。（ソースリンク）