監査

据 Bitcoin News 报道，美国国税局（IRS）在加密货币审计中启用新表格，要求纳税人申报其使用过的交易平台和钱包完整历史。该表格列出了超过 100 个平台，包括 Coinbase、币安、Kraken、FTX 和 Mt. Gox，以及 MetaMask、Ledger 和 Trezor 等自托管钱包。纳税人需对每个平台标注"是"或"否"，并签字确认所提供信息真实准确，否则将面临伪证处罚。该表格旨在绘制纳税人跨交易所和钱包的完整加密足迹，可能追溯至多年前。税务专业人士警告，该文件可能带来重大法律风险，建议在签署前咨询加密税务律师。遗漏多年前使用过的平台可能引发质疑，而披露过多也可能招致新的调查线索。

据 Bitcoin News 报道，美国国税局（IRS）在加密货币审计中启用新表格，列出逾 100 个平台，涵盖 Coinbase、Binance、Kraken、FTX 及 Mt. Gox 等交易所，以及 MetaMask、Ledger、Trezor 等自托管钱包，受审者须逐一标注"是/否"并在伪证处罚条款下签署，记录可能追溯数年。税务专业人士警告，漏报历史平台或引发进一步审查，过多披露则可能开启新调查线索，建议签署前咨询加密税务律师。审计重点通常针对三类人群：在 1040 表格数字资产栏填"是"但申报活动极少者、1099-DA 收益与申报表不匹配者，以及 2017 至 2021 年牛市期间的高频交易者。

Aave Labs は Aave V4 のセキュリティフレームワークを発表し、「セキュリティ優先」の開発モデルを提案しました。これは、アーキテクチャ設計段階でセキュリティ検証を組み込むものであり、単にローンチ前に最終監査を行うのではありません。このセキュリティプランは約1年間続き、累計で約345日間のセキュリティレビューを完了しました。資金は Aave DAO によって承認された150万ドルのセキュリティ予算から提供されています。V4 のセキュリティプロセスは、形式的検証、人工監査、不変性テスト、ファジング（fuzzing）、および公開セキュリティコンペティションなどの多層監査方法を組み合わせています。今後のプロトコル開発では、開発初期に形式的検証を導入し、多層セキュリティ監査方法を実施し、継続的な検証メカニズム、長期的なバグバウンティプログラム、AIを活用したスマートコントラクトのセキュリティスキャンなど、5つの長期的なセキュリティ対策を引き続き採用していく予定です。

公式の発表によると、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スキャン能力を最適化し、既存のテスト経験に基づいて将来のバージョンのスマートセキュリティ検出レベルを向上させる。

Binance Wallet のコア開発者 Jackson ll が投稿し、AI エージェント関連の MPC ウォレット、DeFi 投資などの機能が安全監査段階に入ったことを示し、「皆さんに慎重に行動するよう警告する必要があります。安全が第一です。」と述べました。昨日のニュースでは、Binance Wallet が最初の 7 つの AI エージェントスキルを発表し、主に市場データ分析、リスク評価、取引実行に焦点を当て、AI エージェントに標準化された Binance レベルのインテリジェンスインターフェースを提供することを目指しています。

Aave コミュニティのガバナンスの矛盾が再び高まっています。Aave Chan Initiative（ACI）およびその創設者 Marc Zeller は、「Aave史上最大の資金申請」と称される5100万ドルの提案投票の前夜に、Aave Labsに対する「監査」報告書を発表し、広範な議論を引き起こしました。ACIはソーシャルプラットフォームで、「$51M Aave Will Win」提案がSnapshot投票に入る前に、コミュニティはAave Labsの過去のパフォーマンスとその累計約8600万ドルの資金使用状況を検討すべきだと述べました。Zellerは、ACIが自身の透明性報告書を先に発表し、「何を提供したか、コストはいくらか、リターンはどうか」というフレームワークを用いてAave Labsを同様に評価したと述べました。報告書は、Aave Labsの累計「総資本化」が約8600万ドルであることを指摘しており、これには：2017年のICO資金調達1620万ドル、VCラウンド資金調達3250万ドル、DAOからの直接助成3193万ドル、そして約550万ドルが「未承認」とされるスワップ手数料として指摘されています。Zellerはまた、創設チームが23%のLEND初期供給量（後にAAVEに移行）を保有していたが、現在のAAVEの保有状況は公開されていないと述べました。報告書は、Aave Labsがコスト対効果、財務開示、ウォレットの透明性を含む「アカウンタビリティ報告書」をまだ発表していないことを疑問視し、大規模な資金提供を長期にわたって受けている背景の中で、情報開示が依然として不十分であると考えています。

全球をリードするフルスタックWeb3セキュリティ会社ExVulは、高性能金融ブロックチェーンPharosと長期的な戦略的パートナーシップを結び、125万ドルのセキュリティ監査グラントを共同設立し、Pharosエコシステム内の初期スタートアップチームの発展を支援します。このグラントは、Pharosインキュベーターの初期プロジェクトを対象としており、コアスマートコントラクトおよび重要なシステムモジュールの完全なセキュリティ監査サービスを提供し、資金と継続的なセキュリティアドバイザーのサポートも行います。PharosとExVulの協力は、その専門能力に対する高い信頼を十分に示しており、両者のエコシステムの長期的な構築における緊密な結びつきをも表しています。この協力を通じて、ExVulはPharosの初期プロジェクトに持続可能で安全、かつコンプライアンスのあるインフラを構築し、エコシステムの長期的な発展の基盤を固めます。

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

据 Cryptonews 援引《金融时报》报道，与特朗普有关联的加密货币公司 ALT5 Sigma 因其无证审计师而面临审查。州政府文件显示，该公司的执照在 8 月份到期，截至 12 月底仍未续期，因此无法根据德克萨斯州的规定开展审计工作。该公司表示，其审计师正在接受德克萨斯州会计委员会监督的强制性同行评审，预计将于1月底完成。报道还称，自 2025 年初以来，该公司股价已下跌超过 77%，反映出投资者对该公司日益增长的不安情绪，因为该公司难以满足信息披露要求。由于未能按时提交截至 9 月份的季度报告，该公司目前面临从纳斯达克退市的风险。

Lighter チームは、その永続的および現物取引の zk circuits が監査を完了し、正式にオープンソース化されたことを発表しました。チームは完全な検証コードを公開し、外部の独立した検証者が Lighter L2 がイーサリアム上で行うすべての注文、キャンセル、および清算操作が真実で有効であるかどうかを検証できるようにしました。開発者は GitHub を通じてビルドスクリプトを使用して ZkLighterVerifier を生成し、イーサリアムにデプロイされた契約との整合性を検証できます。

加密通貨取引所 Upbit は、2026 年 1 月 1 日にデジタル資産/入金監査およびサーバーメンテナンスを行い、サービスを停止することを発表しました：サーバーメンテナンス時間：2026 年 1 月 1 日（木曜日）02:00～08:00ウォンの入出金停止時間：2026 年 1 月 1 日（木曜日）02:00～08:00デジタル資産の入出金サービス停止時間：2025 年 12 月 31 日（水曜日）20:00 から 2026 年 1 月 1 日（木曜日）08:00 まで

据 The Information 加密记者YueqiYang披露，美国货币监理署（OCC）代理审计长 Michael Hsu 已加入风投公司 Core Innovation Capital 担任风险合伙人一职，将为初创企业创始人提供监管合规与政策对接相关支持。The Information の暗号記者 Yueqi Yang の報告によると、アメリカ通貨監理署（OCC）の代理監査官 Michael Hsu がベンチャーキャピタル会社 Core Innovation Capital にリスクパートナーとして参加し、スタートアップの創業者に対して規制遵守と政策連携に関するサポートを提供することになりました。

据 Sky News 报道，伦敦上市私募股权投资公司 Bridgepoint 宣布以约 2 亿英镑收购数字资产审计及技术服务商 ht.digital 多数股权。HT 拥有逾 700 家客户，包括全球主要加密交易所、资产管理公司及银行，受益于机构对加密资产配置需求上升。

借貸プラットフォーム Lendep は、Certik の監査を通過したことを発表しました。さらに、プラットフォームの貸出と預金の総額は 150 万ドルを突破しました。Lendep は、スマートコントラクトの安全性、資金リスク管理、透明性のメカニズムを強化し続け、今後はより多くの資産市場とインセンティブメカニズムを導入し、世界中のユーザーにより効率的で安定した分散型貸出サービスを提供することを目指しています。

据 Cointelegraph 报道，Bitcoin Core 通过了其首次第三方安全审计，审计结果证实，保障比特币网络安全的这款软件已高度成熟，未发现任何严重漏洞。此次审计由法国安全公司 Quarkslab 开展，受开放源代码技术改进基金（OSTIF）委托，代表 Bitcoin Core 开发资助组织 Brink 实施。在 5 月至 9 月为期 104 天的审计期间，审查人员对项目中最敏感的组件进行了评估，尤其关注 P2P 层和区块验证逻辑。报告指出，尽管 Bitcoin Core 的代码库规模庞大，包含超过 20 万行 C++ 代码和 1200 多个已部署的测试用例，但审计人员评估认为其"最为成熟且经过充分测试"。团队未发现任何高严重性或中严重性漏洞，仅发现两个低严重性问题，以及一系列主要与模糊测试工具和测试覆盖率相关的改进建议。这些发现均未对共识机制、抗拒绝服务能力或交易验证产生任何影响。