証明

Animoca Brands 旗下プロジェクト Moca Foundation と Moca Network は、Moca Chain のメインネットがローンチされたことを発表しました。これにより、ユーザーと AI エージェントが異なるアプリケーション間で検証可能な証明書を共有できるようになります。ユーザーは証明書を保管し、証明書をいつ、どこで共有するかを決定できます。Moca Chain は、機関が統一されたデジタルアイデンティティに関連付けられた改ざん防止証明書を発行することを可能にし、認証、会員資格などの情報をカバーします。Moca Network は同時に AIR を発表し、企業がユーザーと AI エージェントに接続するための統一された入り口を提供し、機密情報の保存ニーズを減少させます。Moca Network は、AIR エコシステムに SK Planet、Biletinial、Oyunfor、Open Campus、OneFootball、Automobili Lamborghini、Inveo Kripto、Plume、Nansen など 9 社以上のパートナーが参加していることを明らかにし、2026 年までに統合を完了する計画です。

公式発表によると、Bitgetは第47期の準備金証明（PoR）を発表しました。総準備金率は131%に達し、19種類の資産をカバーしています。その中で、BTC、ETH、USDT、USDCの準備金率はそれぞれ142%、110%、107%、154%です。Bitgetは2022年12月から毎月準備金証明を更新しており、今年の9月にはカバー範囲を4種類の資産から19種類に拡大し、ユーザーにより広範なプラットフォームの準備状況を提供しています。Bitgetの歴史的な平均準備金率は120%以上を維持しており、100%のカバレッジ基準を上回り、保護されたユーザー資産を全額カバーしています。

OpenAIは2026年9月28日に安全に関する記事を発表し、最先端の強化学習トレーニングを続ける前に、構造化された安全文書の提供を求めるべきだと考えています。理想的には、このような文書は航空、原子力などの安全が重要な業界で使用される証拠に基づく構造化リスク論証のレベルに達するべきです。OpenAIはこれを努力の方向性と見なし、AIの能力の出現による複雑性から、同等の厳格さを実現することが難しいことを認めています。この記事は最先端の強化学習トレーニングに焦点を当てており、内部および外部の展開に必要なより広範な整合性属性については触れていません。文中で提案されている内容は現在の実践に属し、今後も進化し続けると予想され、OpenAI内部で実施されています。技術的な防護は、モデルの整合性、隔離、監視をカバーする必要があり、正の強化報酬の投機を避け、オフライン整合性評価とストレステストを行い、自動採点器が思考の連鎖を見ることを防ぎ、マルチレイヤーのインフラストラクチャの安全性、サンドボックスのレッドチーム、高帯域幅のクロスサンプル通信の制限、不可変のエージェント記録の保存を含むべきです。運営の原則には、チーム間の事前異議、高級リーダーによる否決可能な承認、トレーニング責任者が安全論証と事件対応に責任を持つこと、失敗時の一時停止、内部監視、監査アクセス、重大度に応じたエスカレーションが含まれます。重大な不整合事件に対して、OpenAIは原始記録への制御されたアクセス、根本原因分析、運営および文化の振り返りを提案し、事件に基づく評価を回帰テストとして扱います。調査終了後には結果を公開し、振り返りと運営の変更を行い、影響を受けた第三者にできるだけ早く通知します。

アメリカ証券取引委員会（SEC）の委員 Hester Peirce は SIFMA デジタル資産会議で発言し、規制当局は従来の金融監視方法を再検討し、「より多くのデータを収集する」ことから新技術を利用してより正確な検証に移行すべきだと述べました。Peirce は、ゼロ知識証明などの技術が、名前、収入、住所などの基礎的な個人情報を開示することなく、ユーザーが年齢、市民権、適格投資家の資格、制裁リストなどの要件を満たしているかどうかを検証できると述べました。Hester Peirce は、連邦政府および規制当局が技術的に可能な場合、属性ベースの検証を採用し、登録された実体が第三者の身元確認により多く依存できるようにし、敏感な情報の重複収集と保存を減らすことを提案しました。Peirce はまた、パブリックブロックチェーンが永続的で公開され、監査可能な取引記録を持ち、ブロックチェーン証拠収集ツールと組み合わせることで、不必要なデータ収集を減らしながら違法活動の追跡能力を向上させる可能性があると述べました。

Bitgetは、準備金証明（PoR）システムのアップグレードを発表し、資産を従来の4種類の暗号通貨から19種類の主要資産に拡大し、新たにXAUT、SOL、BNB、USDGOなどのトークンを追加しました。今回のアップグレードでは、プラットフォームレベルの準備金開示と個人資産証明の検証範囲も拡大され、ユーザーはPoRページを通じて各資産の準備率、規模、及びオンチェーン分布を確認でき、Merkle Treeを使用して個人の保有が準備スナップショットに含まれているかどうかを独立して確認できます。Bitgetは2022年12月から毎月準備金報告を発表しており、2026年8月までに45回連続で発表しました。最新の全体準備金率は122%です。BitgetのCEOであるGracyは、プラットフォームがサポートする資産の種類が継続的に増加する中で、準備金の透明性と検証能力も同時に拡大する必要があり、より多くのユーザーが自ら資産状況を確認できるようにし、プラットフォームの透明性をさらに向上させることを目指しています。

Aaveの創設者スタニ・クレチョフは、Clarity Actが上院で進展しなかった後、DeFiは「Uberの道」を歩む必要があるかもしれないと述べました。その理念は、数百万のユーザーのために製品を構築し、技術の価値を証明し、立法者がその規制方法を考えなければならないほど重要にすることです。

波場 TRON 創設者の孫宇晨は、「孫宇晨賞」を設立することを発表し、現在は数学にのみ焦点を当てていると述べた。彼はこの賞が個人ではなく問題に従うものであり、年次会議、ノミネーション、年齢制限はないと述べた。各問題には二つの署名欄があり、一つは証明者を記録し、もう一つは証明を形式化して機械に書き込む人を記録する。両者は同一人物であってもよく、人間、AI、またはAIを使用する人であってもよい。賞金の発生条件は、機械が証明を最初の行から最後の行までエラーなく検証することであり、検証が通過した後の二つの署名欄がその問題の賞金所有者となる。ルールには以下も含まれる：機械による検証の前に、数学界が人間の証明を受け入れている場合は、先に名前を掲示でき、賞金はそのままとし、状態は「証明済み、形式化待ち」となる。証明欄の賞金は、問題が掲載された後に解決された場合のみ支払われる；掲載時に既に解決されている問題については、証明者は名前を記載されるが、賞金は形式化を完了した人にのみ支払われ、数学史に対する賞金の補填は行われない。問題リストは孫宇晨の署名によって掲載される問題と価格が決定され、一度掲示されると減少することはなく、金銭は交換されるが返金はされない。誤って書かれた問題はそのまま支払われ、再掲示される；価格設定以外の検証、支払い、名前の掲示については彼自身は投票に参加しない。孫宇晨は、公益の焦点がこの賞に移ることを示し、初期の賞金プールはブロックチェーンに入金され、アドレスと残高は公開され、彼は追加の資金提供の権利のみを保持すると述べた。受賞証明と賞金の支払いはすべて公開され、ブロックチェーンに記録される。彼は人名を冠することで、機関の交代による改名を避けるためであり、富は数学から来ると述べ、「数学から来て、数学に戻る」ことを望んでいる。

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 ファイルを再作成し、他のライトニングネットワークバックエンドの認証文字列を更新することを推奨しています。