証明

OpenAIは9月8日に、内部の多エージェントシステムが三次元不可圧縮ナビエ-ストークス方程式が有限時間内に特異点を形成することを成功裏に証明したと発表しました。 この証明は、OpenAI内部のGPT-6 Astraよりも能力が高いモデルによって駆動され、9月5日に初期結果を得た後、17時間のLean形式化検証を経て行われました。OpenAIは、この証明が滑らかな外力の作用下で静止流体が内向きに螺旋を描き、引き伸ばされる渦構造を進化させることを示しており、そのエネルギーは有限に保たれますが、速度は無限に増加することを示していると述べています。これは千年賞問題の「C」と「D」の状況に対応しています。 解決プロセス全体では、約1万の並行エージェントが動員され、約270万件のメッセージが送信され、約1300億の出力トークンが消費されました。 OpenAIは、この試みがAnthropicの従業員Levent AlpögeとNYUの教授Tristan Buckmasterの並行作業に関する噂に触発されたことを認めており、両者がオイラー方程式の正則性問題に関して異なる結果を示したと述べています。OpenAIは外力のない場合を証明し、対する側は外力のある場合を証明しました。

火币HTXの最新のマークルツリー準備証明（PoR）データによると、2026年9月1日（UTC+8）時点で、プラットフォームの主要資産の準備率はすべて100%以上を維持しており、十分な準備をもってユーザー資産の安全を保障し、100%の返済を実現することを約束しています。ユーザーはいつでも取引や引き出しができるようになっています。業界内で早期にマークルツリー準備証明を継続的に公開しているプラットフォームの一つとして、火币HTXは47ヶ月連続で市場にPoRデータを公開し、長期的かつ検証可能な方法でプラットフォームの透明性を向上させています。今回具体的に更新された準備金率は、BTC（104%）、ETH（102%）、TRX（109%）、USDs（102%）、HTX（103%）、XRP（104%）、DOGE（101%）、SOL（103%）です。ユーザーは火币HTXの公式ウェブサイトの「資産-準備金証明報告」ページで確認できます。特筆すべきは、今年の4月から、米ドル資産の準備データの表示の直感性をさらに向上させるために、火币HTXはUSDT、USDCなどの米ドルステーブルコインを「USDs」として統一して表示していることです。各通貨の資産データは依然として独立して記録され、独立して検証され、準備情報が真実で明確かつ追跡可能であることを保証しています。今後、火币HTXは1:1の準備原則を堅持し、検証可能なデータ、追跡可能なオンチェーン資産、そして常態的な情報開示メカニズムを通じて、資産の透明性を継続的に向上させ、ユーザーが準備を見え、資産を確認でき、より安心して利用できるようにします。

ワイオミング州の安定トークン委員会は9月2日に、Chainlink Proof of ReserveをFrontier安定トークン（FRNT）の独占的なオンチェーン準備検証レイヤーとして採用し、The Network Firmによって監査された準備と供給残高がオンチェーンで読み取れる価格フィードに公開されることを発表しました。現在、検証可能な規模はそれほど大きくありません：CoinGeckoのデータによると、FRNTの総供給量は967,900枚で、単価は約0.99884ドルであり、委員会が州議会の予算会議資料に提出した基礎シナリオの推定（5.087億枚）の約0.2%に相当します；24時間の取引量は160ドルで、すべてKrakenで発生しました。この発表は2つの製品を分けており、現在はProof of Reserveのみがオンラインです。準備が総供給をカバーできない場合にプログラム的に鋳造を防ぐProof of Reserve Secure Mintコンポーネントについて、委員会は「採用を進めている」と述べています。委員会は以前に公式ウェブサイトで毎日の証明を公開しており、今回の調整はデータ提供方法の変更であり、更新頻度には影響しません。委員会の執行理事Anthony Apolloは、Chainlinkの準備証明を採用することでFRNTが高品質の準備資産によって完全に裏付けられた透明で検証可能な確認を提供することを示したと述べました；Chainlink Labsの最高商業責任者Johann Eidは、これが政府がChainlinkプラットフォームを利用して信頼できる、完全に検証可能なオンチェーン金融インフラを生産に投入できることを証明していると述べました。

ウォール・ストリート・ジャーナルの報道によると、アメリカ証券取引委員会（SEC）は、いわゆる特別目的会社（SPV）背後の企業に対する審査を強化しています。関係者によると、SECの審査官は登録投資顧問に対し、そのSPVが実際に主張する私企業の株式を所有または保有していることを証明する証拠を提供するよう求めています。一部の関係者は、SpaceXの注目の初公開株式（IPO）やAnthropicの上場計画の前に、このようなファンドがマーケティング攻勢を強化し、投資家からの苦情も増加したため、規制当局が審査を強化することを決定したと述べています。関係者の一人によれば、SECの現在の審査は通常、文書の提出要求を含み、一部の審査には現地面談が含まれることもあります。審査プロセスは数週間から1年にわたる可能性があります。

Zcash 全ノードクライアント Zakura チームは、Zcash エコシステム向けの暗号およびプロトコルライブラリである Zakura Common を発表しました。公式ベンチマークテストによると、モバイル端末での証明生成速度は 14 倍以上（デスクトップ端末で 5 倍以上）向上し、Sinsemilla ハッシュ速度は 21 倍以上向上し、試解読速度は 1.5 倍以上向上し、zk-SNARK 検証速度は 4 倍から 8 倍向上しました。多くのケースで、ウォレットが取引を作成する際の待機時間は 3 秒以上から 200 ミリ秒未満に短縮されることができます。このアップグレードはネットワークのアップグレードを必要とせず、MIT/Apache 2.0 のデュアルライセンスでオープンソース化されており、Zakura 1.3.0 はこの技術スタックに切り替わります。

加密プロジェクト Refi Hub の共同創設者 Numa Lunah は、Claude チャットウィンドウが提供するダウンロードリンクを使用して転写アプリをインストールしたためにハッキングされたと述べています。このリンクは偽のウェブサイトを指し、悪意のあるソフトウェアをバンドルしており、実行後に彼のデバイス内のすべての情報を盗もうとします。Numa Lunah は、問題のノートパソコンをクリーニングして再インストールしたが、機密情報の漏洩は見つからなかったと述べています。その後、彼はバックアップの中に汚染された Claude Code スキルファイル SKILL.md を発見しました。このファイルは彼自身が作成したスタイルガイドに偽装されており、毎回の読み込み時に悪意のあるソフトウェアを再ダウンロードし、認証情報を盗む指示が含まれています。Microsoft Defender Experts は、攻撃者が検索エンジン最適化の毒物攻撃から大規模言語モデルの回答毒物攻撃に移行していると警告しており、関連手段には攻撃者が制御するダウンロードリンクの推薦、AI ブランドの偽装インストーラー、汚染されたコードベースや代理スキルが含まれます。暗号業界の従事者は、リカバリーフレーズ、プライベートキー、ホットウォレット JSON、引き出し権限を持つ取引所 API キー、デプロイヤーキーなどの取り消し不可能な証明書を保持している可能性があります。

イーサリアム財団の形式的検証チームがYukon、zkSecurityと協力して構築したオープン自動研究チャレンジbetter.codesが現在オンラインになりました。このプラットフォームは、Proximity Prizeの自己包含問題をLeanで形式化し、koalaIRS12の機械検査の信頼性界を公共ランキングに入れ、誰でも推進して向上させることができるようにし、ハッシュベースのSNARKおよび後量子イーサリアム関連のセキュリティ基準を進めます。解決者はAIエージェントを持ち込むことができ、このReed-Solomon近接問題に対してより高い信頼性下界を証明し、固定の128ビット目標に向かって進みます。Leanカーネルは各提出物を検証し、昇格した証明は公開界を向上させ、その新しい補題、証明技術、不可能性結果は上流で同期され、すべての参加者が再利用できるようになります。生産環境におけるほとんどのハッシュSNARKは関連する近接ギャップと関連する合意結果に依存していますが、現在証明可能な結果は研究者が信じる基準を下回っており、このチャレンジはオープンで増分的、検証可能な方法でこのギャップを縮小することを目的としています。koalaIRS12は関連論文に由来し、エンドツーエンドでArkLibに形式化されています。参加者はGitHubを通じてログインし、チャレンジリポジトリをクローンし、固定定理の陳述と検証フレームワークの下で提出することができます。比較器とLeanカーネルが確認した後、結果は公共リポジトリに記録され、解決者と使用したモデルが明記されます。本日オンラインになったのは、koalaIRS12の証明された下界を128ビットに引き上げる信頼性チャレンジであり、今後はさらに多くの問題が追加される可能性があり、詳細はプロジェクトの条項に準じます。

Webseaは8月18日に正式に準備金証明（PoR）メカニズムを発表し、マークルツリー方式を採用してプラットフォームの準備データを公開し、オープンソースの検証ツールも同時に提供しました。ユーザーは検証日、カバーされる通貨、ユーザー資産残高、オンチェーンウォレット残高、ウォレットアドレスファイルおよび履歴レポートを確認でき、個人の検証データをダウンロードして、ローカルで個人資産がプラットフォームの準備に完全に計上されているかを検証できます。紹介によると、準備金率はプラットフォームのオンチェーン資産とユーザーの総資産の比率であり、準備金率が100％以上であることは、プラットフォームが保有するオンチェーン資産がユーザーの総資産額を下回らないことを意味します。Webseaは、今後も各期の準備データを継続的に更新し、資産の透明性とユーザーの自己検証メカニズムの構築を進めていくと述べています。

Offchain Labs 研究チームは、証明の加速、検証可能な AI、再帰的安全性などの方向性を含むゼロ知識証明技術の研究進展を発表しました。その中で、ベクトルコミットメントスキームは、6.4万件のデータの証明生成時間を約2分から32ミリ秒に短縮し、約4000倍の高速化を実現しました。新しい証明システムZaratanは、整数のネイティブ全簡潔証明を初めて実現し、RSAなどの計算コストを約5000倍削減することができます。検証可能なAIの分野では、軽量な検証プロトコルにより、大規模モデルの推論検証を数分からミリ秒レベルに短縮することができます。Arbitrumは、単一障害点を排除し、L1決済サイクルを短縮するために、ZK証明と詐欺証明およびTEEを組み合わせた多証明者アーキテクチャを探求しています。

TetherのCEOパオロ・アルドイーノは、The Blockのインタビューで、KPMG U.S.が初の完全な財務監査を完了した後も続く批判に応えました。彼は、一部の批評家が自分たちの過去のTetherに対する判断が間違っていたことを認められないと述べ、「正直なところ、私は気にしない」と言いました。アルドイーノは、Tetherが何度も自らの耐久性を証明してきたと述べました。彼は、2022年にTetherが48時間以内に700億ドルの償還を処理したことを挙げ、その時の準備金の約10%に相当し、その間に償還を停止しなかったと述べました。彼は、多くの伝統的な金融機関がこのような短期間で同規模の引き出しに対応するのは難しいと考えています。彼はまた、批判自体は悪いことではなく、Tetherをより良く、より強くするためのものであると述べました。一部の批評家がTetherを「悪役」と見なしても、TetherがUSDTに依存する6.5億人のユーザー、特に新興市場のユーザーにサービスを提供し続ける限り、彼は気にしないと述べました。関係者によると、Tetherはプライベート企業であり、監査済みの財務諸表を公開することはないとのことです。会社は今後毎年完全な監査を行う計画であり、四半期ごとの保証報告書を引き続き発表する予定です。全体として、KPMGの監査はTetherの透明性を高める重要なステップですが、その準備金、開示の程度、そしてシステミックな影響に関する議論は完全には収束していません。

Web3 セキュリティ会社 CertiK は「Intel3D：PSAV とブラジルの新しいセキュリティ基準」という報告書を発表しました。文中では、ブラジル中央銀行が設定した認可申請の締切（今年 10 月 30 日）が近づくにつれて、現地の仮想資産サービスプロバイダー（PSAV）が一連の集中したコンプライアンス調整に直面しており、独立した第三者によるコンプライアンスとセキュリティの証明が業界のベストプラクティスから市場参入の重要な要件に変わりつつあることが指摘されています。報告によると、CertiK は現在、ブラジル中央銀行の第 701 号規制指令に基づいて独立した外部監査を実施しています。世界で最も暗号資産の採用が進んでいる市場の一つであるブラジルにおけるこの規制の転換は、国内市場を超えた影響を及ぼす可能性があります。報告書によれば、ブラジルは現在、世界の暗号資産の実際の採用率で第 5 位に位置しており、2024 年 6 月から 2025 年 6 月の間にブラジルが受け取るオンチェーン資産の価値は 3,188 億ドルに達し、南米の同期間のオンチェーン活動の約 3 分の 1 を占めています。ステーブルコインは現地のデジタル資産市場において重要なインフラとなっており、ブラジル連邦税務局に申告される暗号資産取引の約 80% の取引量を占めています。

Decrypt の報道によると、ビットコイン決済処理プロジェクト BTCPay Server は、ユーザーに対して、サーバーに進行中の攻撃を受けている深刻な脆弱性が存在することを警告しています。攻撃者はこの脆弱性を利用して未承認のアクセス権を取得し、資金の損失を引き起こす可能性があります。管理者には、直ちにバージョン 2.4.2 へのアップグレードを行い、サーバーのフッターに更新が完了したことを確認するよう求めています。タイムリーにアップグレードできない場合、公式はユーザーに BTCPay Server を一時的に停止することを推奨し、さらなる攻撃を防ぐようにしています。また、BTCPay Server は、露出の可能性がある macaroons 認証情報を変更し、macaroons.db ファイルを再作成し、他のライトニングネットワークバックエンドの認証文字列を更新することを推奨しています。

Cryptopolitan の報道によると、ケニア国家試験委員会は、国内の学術記録を Avalanche C-Chain に書き込み、オンライン証明書の即時検証を実現し始めました。現在、1,500 万件以上の記録がブロックチェーンに登録されており、システムは約 3,500 万件に拡張される予定で、これには中学校、高校、高等教育の資格証明書や教員資格証明書が含まれます。以前は、紙の証明書の検証には数週間から数ヶ月かかり、偽造の問題もありました。このプロジェクトは、地元のテクノロジー企業によって LegitDoc プラットフォーム上で実施されています。

ベトナムのメディアAn Ninh Tien Teによると、ベトナム公安省は「電子身分識別と認証法」草案の中で、電子身分識別の対象範囲を拡大し、データ、アプリケーション、デジタル資産およびその他の多様な資産を含めることを提案しています。草案では、電子身分識別の対象は機関、組織、個人だけでなく、製品、商品、設備などの物理的実体、さらにデータベース、文書、画像、動画などのデジタルリソースおよびデジタル資産にまで拡大されると規定されています。デジタル資産の識別は、デジタル技術産業法の規定に基づいて実施されます。草案はまた、電子身分および識別コードの一時停止、復元、および取消しのメカニズムを規定しています。公安省は、現行の電子身分識別が主に市民と政府のデジタル化建設にサービスを提供しているが、デジタル経済とデジタル社会の急速な発展の背景の中で、物理的およびデジタル環境におけるさまざまな実体を網羅する統一識別メカニズムを確立する必要があると述べています。

公式の発表によると、Base BuildはBase Verify Onchainを発表し、ブロックチェーンエコシステムにおけるウィッチハント攻撃の問題を解決するために使用されます。この機能はBase Sepoliaテストネットで稼働しており、開発者がスマートコントラクト内で「一人の真のユーザー、一度の受け取り」というルールを実装できるようにします。Base Buildは、従来のエアドロップメカニズムはバルクウォレットによって操作されやすく、大量の報酬が専門のエアドロップ農民によって取得されることが多く、実際に製品の構築に参加しているユーザーは限られた利益しか得られないと述べています。Base Verify Onchainは、各真のユーザーの安定したアイデンティティハッシュを生成することで、プロジェクト側が同一ユーザーが制御する複数のウォレットを識別するのを助け、ユーザーの名前やアカウント情報などのプライバシーデータを取得する必要がありません。ユーザーはCoinbase、Instagram、X、TikTokなどの既存のアカウントを使用して認証を完了でき、システムはその後、スマートコントラクトに検証済みのアイデンティティ証明書を返し、契約が自動的に受け取り制限、投票制限、または額面制御などのルールを実行します。現在、Base Verifyは30万回以上使用されており、Base App、Cody、Scratch、Bracketなどの協力プロジェクトにサービスを提供しています。Base Buildは、Verify Onchainが分散型アプリケーションに対してより公平なエアドロップ、トークン発行、ガバナンス投票、ユーザーインセンティブメカニズムを提供すると述べています。開発者はこの技術を利用して、単一の真のユーザーの受け取り回数を制限したり、真のアイデンティティに基づいて報酬を配分したり、現実世界の信号をオンチェーンの信用に変換することで、ロボットや複数のウォレットによるWeb3アプリケーションの公平性への影響を減少させることができます。

安全会社Project Elevenは、量子コンピュータが秘密鍵を導き出し、有効な署名を生成できるようになった後に、ユーザーがビットコインウォレットの所有権を証明するための後量子証明技術を発表しました。Project ElevenのCEOアレックス・プルデンは、この技術がウォレットキーの派生パスを使用しており、ユーザーが親鍵を開示することなくその制御を証明できるようにすることで、正当な所有者と攻撃者を区別するために役立つと述べています。このソリューションは、オープンソースのBiniusゼロ知識証明システムの主要なメンテナであるジム・ポーゼンと共同開発され、アロン・サッタスとロバート・ワイボルスキーが提案した「署名の向上」技術に基づいています。Project Elevenは、このプロトタイプがまだ監査を受けておらず、使用開始前にブロックチェーンプロトコルのサポートが必要であることを示しています。主に、量子耐性アドレスへの移行を逃したユーザーを対象としています。

Bitget 旗下のライセンスを持つ RWA プロトコル Reality が最新の準備金証明（PoR）レポートを発表しました。レポートによると、Reality の準備金率は 100% に達しており、発行されたトークン化された株式 rToken はすべて基礎となる米国株資産と 1:1 でペッグされています。この準備金データは毎日更新され、米国の監査機関 The Network Firm によって独立して監査され、資産は FINRA に登録され、SIPC によって保護された米国の証券ブローカー Alpaca Securities LLC に保管され、ニューヨーク州の法律に従って規制されており、発行、監査、保管の三者が独立した透明な構造を形成しています。Reality が発行した米国株トークン rToken は Bitget エコシステムと深く統合されており、統一口座のマージン、ステーキング、貸出などのコアシーンで使用できます。以前のデータによると、Bitget の株式トークン rToken はローンチから 1 ヶ月後に管理資産規模（AUM）が 1 億ドルを突破しました。

タイの地元メディアの報道によると、タイは個人が500万タイバーツ（約15万ドル）を超える現金を預け入れる際に、資金の出所を確認することを求めることになります。この介入措置は、商業銀行の現金ネットワーク、大口通貨交換、貴金属取引および疑わしいステーブルコイン取引におけるコンプライアンス責任を拡大し、規制対象の実体が体系的な腐敗や影の経済を助長するのを直接防ぎます。さらに、タイ中央銀行と証券取引委員会（SEC）は共同で監査作業を行い、テザー（USDT）に焦点を当てて違法な資金の流れを特定し阻止することに取り組んでいます。この取り締まり行動には、貴金属取引に対する管理の強化も含まれ、銀行に対して疑わしいパターン、例えば迅速なデジタル購入や当日の現物引き出しを報告するよう求め、マネーロンダリング活動に対抗します。