検証

AIコード検証スタートアップのBlacksmithは、4,500万ドルのBラウンド資金調達を完了したことを発表しました。Peak XV Partnersが主導し、GVとY Combinatorが共同出資しました。会社の評価額は5.5億ドルに達しました。

ChosunBizの報道によると、サムスン電子システムLSI事業部はAnthropicのAIプログラミングツールClaude Codeを導入し、半導体設計および検証作業に使用しており、一部のタスクの周期は元の十分の一以下に短縮されています。顧客カスタマイズのSoCのデータ接続構造の検証では、元々1ヶ月以上かかると予想されていた作業が2日で完了しました。入社2年のエンジニアはClaude Codeを利用して1日でUSBデバイスモデルの開発とAndroidドライバの適応を完了しましたが、以前は同様の作業に通常1ヶ月かかっていました。サムスンは今年5月にソフトウェア開発者にClaude Codeを開放し、その後半導体専門開発分野に拡大しました。システムLSI事業部は約6000人であり、主要な競合他社であるクアルコムの従業員は約5.2万人です。サムスンはAIツールを通じて人材のギャップを埋めようとしています。一方、サムスンDS部門は「AI大転換」を推進しており、生成的AIを研究開発から生産、マーケティング、サポートなどの全業務プロセスに拡大しています。報道では、Claudeが一部の検証タスクにおいて誤った情報を普通のメッセージとして偽装したり、設計コードを勝手に変更したりする行為があったことも指摘されており、サムスンはAIタスクの範囲と結果を厳格に管理し、人間による再確認が必要であると強調しています。

AI安全スタートアップのAttestableは正式に設立され、2000万ドルのシードラウンド資金調達を完了した。このラウンドの資金調達は、Altimeter CapitalのJamin BallとTLV PartnersのYonatan Mandelbaumが主導し、Halcyon Futures、Cerca Partnersなどの機関および複数の投資家が参加した。Attestableの創業者Yogiは、AIが重要なインフラ、国家安全保障、大企業システムに徐々に浸透する中で、AIの運用過程の信頼性を検証する方法が世界的な課題となっていると述べた。同社は、最前線のAIラボ、重要なインフラ、国家レベルのアプリケーション向けの汎用検証レイヤーを構築することを目指している。紹介によると、Attestableはゼロ知識証明（Zero-Knowledge Proof）技術を通じて、AIシステムへの信頼をデータセンターから数学的検証メカニズムに移行させる。この技術は、承認されたモデル、モデルの重み、入力データおよび実行戦略が特定の出力を生成したことを証明できるが、モデルのパラメータやユーザーのプライバシーデータを漏洩させることはなく、モデルを再実行することなく検証を完了できる。Attestableは、その技術が現在、単一のNVIDIA H100 GPU上でMeta Muse Glimmer 30Bモデルの検証推論を実現し、毎秒85トークンの速度に達していると述べている。生成された証明書は小さく、量子耐性特性を備えており、迅速に検証を完了できる。これに対し、イーサリアム共同創設者のVitalik Buterinは投稿し、この成果が大規模言語モデルのゼロ知識証明の性能損失が単位数レベルに近づいていることを意味すると述べた。彼は、次の課題は全同態暗号（FHE）などの技術の性能オーバーヘッドをさらに低減することだと述べた。

"1011 内幕巨鲸"代理人 Garrett Jin が週報分析を発表し、以前にストレージチップの段階的な配置と押し目買いを提案したが、市場は予想された調整を示さず、急騰相場の中で以前の反発ポジションの半分を売却したと述べた。これは投資論理の変化によるものではなく、上昇を促進する資金構造に注目したためであり、「これは市場がファンダメンタルズを最終的に確認するものではなく、むしろショートスクイーズのようなものだ」と述べた。迅速な資金回補のショートは、SK ハイニックスなどのストレージチップ株の短期的な上昇を生むことができるが、持続的な相場を単独で支えることはできない。韓国のレバレッジ ETF リスクはまだ完全には解放されていないが、資産規模の減少は主に純資産の縮小によるものであり、投資家の撤退によるものではない。現在、関連する金融商品は累積純申込が歴史的な最高水準にあり、まだ負の値には転じていない。Garrett Jin は、韓国のレバレッジ ETF の規模の減少は市場がストレージ需要を悲観視しているわけではないと強調した。SK ハイニックスの2026年の生産能力はすでに売り切れており、マイクロンの注文は2028年までカバーされている。2027年の下半期までの需要は依然として強い。しかし、ストレージ業界の本質は周期的な業界であり、株価はすでに数百ポイント先行して上昇している。周期株は通常、長期的に評価の拡張によって推進されることは難しい。現在、市場はAI資本支出周期の新しい段階に入っており、「投入の報酬」から「投入のリターンの評価」へと移行している。ビットコインについて、Garrett Jin は7月の安値以来の底打ち条件を満たし続けていると述べ、現在も6万ドル近くでのポジションを維持している見解を示した。

Coinbaseは2026年第二四半期のSolana検証ノード運営報告を発表し、その運営するSolana検証ノードは収益率、安定性、インフラストラクチャの分布においてネットワークの平均を上回っていると述べました。データによると、Coinbaseは現在23の検証ノードを通じて約4,163万枚のSOLをステーキングしており、Solana全体のステーキング量の9.72%を占めています。ノードはアメリカ、イギリス、ドイツ、日本、シンガポールなど7カ国に分布しています。コア運営データは以下の通りです：ステーキング規模：4,163万SOL、全体のステーキング量の9.72%；ステーキング収益率：2026年第2四半期のAPYは6.52%で、全体の平均6.38%を上回り、14ベーシスポイントリードしています；ブロックスキップ率（skip rate）：0.035%、全体の平均0.136%を下回り、ネットワークの平均の約4分の1です。Coinbaseは、その検証ノードがマルチクライアントアーキテクチャを採用しており、現在Harmonic、Jito、JitoBAM、Firedancerの4種類のクライアントを運営していると述べています。すべてのソリューションはSolana Foundationによる審査を受けており、ユーザー体験に影響を与える可能性のある過激なMEVタイミング戦略は採用していません。インフラストラクチャに関して、Coinbaseは検証ノードを2つの独立したベアメタルサービスプロバイダーに展開し、各ノードに地理的バックアップを設定して単一障害点のリスクを低減しています。同時に、会社は全体の検証ノードクラスターをDoubleZeroネットワークに移行し、約99.9%のセッション可用性を実現したと述べています。Coinbaseはまた、Solanaが2026年後半に進める予定のAlpenglowコンセンサスアップグレードに向けて準備を進めていることを明らかにし、コミュニティテストノードの運営、新しいコンセンサス健康監視ツールの開発、および関連する投票アカウントのアップグレード検証を完了することを含んでいます。

公式の発表によると、イーサリアム財団傘下の「万億ドルセキュリティプラン」（Trillion Dollar Security、1TS）は、自由報道財団（Freedom of the Press Foundation、FPF）に特別助成金を提供し、オープンソースツールWEBCATの継続的な開発を支援し、イーサリアムウォレットと分散型アプリケーション（DApp）の長期的なフロントエンドコード検証のセキュリティギャップを解決します。WEBCAT（Web-based Code Assurance and Transparency）は、ブラウザがウェブサイトが読み込むコードが開発者によって公開されたバージョンと一致しているかどうかを検証するのを助けるオープンソースツールです。今回の助成金は、WEBCATをイーサリアムウォレットとアプリケーションシナリオに拡張し、ユーザーがアクセスするフロントエンドページが改ざんされていないかを検証できるようにします。イーサリアム財団は、現在HTTPSはユーザーが接続するウェブサイトを検証し通信を暗号化できるものの、ウェブサイトが実際に実行しているフロントエンドコードが開発者が公開したバージョンであることを証明できないと述べています。攻撃者がウェブサイトのフロントエンドコードを制御する場合、ユーザーが知らないうちに取引受取先アドレスを変更したり、ページに表示されている内容と一致しない取引に署名させたりする可能性があります。イーサリアム財団は、フロントエンド攻撃がブロックチェーンインフラストラクチャの重要なセキュリティリスクとなっており、悪意のあるウェブページインターフェースの変更がサプライチェーン攻撃、DNSハイジャック後の攻撃、ユーザーインターフェースの欺瞞などの問題を引き起こす可能性があると述べています。WEBCATはもともと自由報道財団によって開発され、SecureDropなどの安全な通信システムのコードの信頼性を高めるために使用されていました。今回のイーサリアムエコシステムへの拡張は、1TSプランの「クリアサイニング（Clear Signing）」などのセキュリティ対策と相互補完的な関係を形成します。前者はウォレットがアプリのフロントエンドが改ざんされていないことを確認するのを助け、後者はユーザーが承認しようとしている取引内容を理解するのを助けます。

Bitget CFD チーフアナリストの Lewis Huang は、ライブ配信中に今週の市場の焦点がテクノロジー株の決算からアメリカの雇用データと Fed の政策期待に移ったと指摘しました。今回の非農業部門雇用者数の重要な点は、新規雇用者数だけでなく、失業率、平均時給、及び前回値の修正が労働市場の「秩序ある冷却」または「明らかな失速」を示すかどうかです。Lewis Huang は、もし非農業部門の雇用と賃金データが予想を上回る場合、市場は短期的な利下げの期待を下方修正し、米国債の利回りとドルが強くなる可能性があり、金と高評価のテクノロジー株は圧力に直面するだろうと述べました。逆に、雇用、賃金、及び前回値の修正が全体的に弱くなる場合、市場は Fed の緩和期待を高め、金と非米通貨が支えられる可能性があります。彼は CFD トレーダーに対し、データ発表の最初の1分間に追随して取引を行うことを避け、アメリカの2年物国債の利回り、ドル指数、及び金が同時に確認を形成するかどうかを重点的に観察し、重要な価格帯の突破後の押し目買いの機会を待つように提案しました。現在の取引の主な焦点は、単純にデータの高低を賭けることではなく、非農業部門が市場の Fed 政策の価格設定をどのように変えるかを判断することです。

慢雾安全チームは警告を発表しました。未検証のコントラクトがセレクタ 0x42be3129 により制限のない低レベル呼び出しの脆弱性を露呈し、アクセス制御とターゲットデータの検証が欠如しているため、約 16.6 枚の WETH が盗まれました。攻撃者はコントラクトの既存の ERC20 認可額を利用し、所有者チェックを回避して未承認の transferFrom 操作を実行しました。

Zcash の創設者 Zooko Wilcox は X プラットフォームで投稿し、一部のユーザーが ZEC の供給量に秘密の増発があると考えており、Ironwood の移行が完了するまで、あるいは数ヶ月または数年待たなければ確認できないと述べていますが、この見解は正しくありません。Zooko Wilcox は、ユーザーが現在、自分のローカルコンピュータを使って ZEC の現在の供給量を検証できると述べており、データによると ZEC の総供給量は 16,848,458 枚です。

Cointelegraphの報道によると、ハンガリー議会は2025年7月1日に施行される予定だった暗号資産の検証要件を廃止するための投票を行った。この要件は、特定の暗号通貨の変換がライセンスを持つ第三者によって資産の出所、ウォレットの所有権、顧客情報を検証された後でなければ実行できないというものであった。財務大臣Kármán Andrásは、以前の厳しい規制が多くのサービスプロバイダーをハンガリー市場から撤退させたと述べており、現在市場は回復の兆しを見せている。同時に、ハンガリー国立銀行（MNB）は7月20日にブダペストの暗号プラットフォームCoinCashの運営者Tiwala SolutionsにEUのMiCAフレームワークに基づく初の国内ライセンスを正式に付与し、その範囲はカストディ、暗号通貨の法定通貨への交換、暗号通貨のスワップ、送金、投資アドバイスおよびポートフォリオ管理などの業務を含む。

Libbitcoinの開発者@evoskuilは、最新版のLibbitcoin Serverが55分以内にビットコインのフルノード初期ブロックのダウンロードを完了し、完全な検証を行うことができると述べています。この速度向上は、新しいGPUベースの署名検証システムによるもので、このシステムは従来のスクリプト検証と並行して動作し、別のステップとして実行されるのではありません。ソフトウェアは、各ECDSAおよびSchnorr署名を検証するために実行を一時停止することはなく、署名チェックをキャッチし、バッチ処理を行い、残りの検証が続行される間にGPUで処理します。@evoskuilは、この方法により約99.5%の署名キャッチ率を実現でき、検証をブロックすることがないため、二重検証を行う必要がないと述べています。もしバッチ署名チェックが失敗した場合、ソフトウェアはそれを対応するブロックに追跡し、そのブロックを無効としてマークします。彼はまた、この設計がほぼ任意の数の署名をバッチ処理できるため、GPUが残りの検証プロセスに対して優位性を保ち、フルノードの同期時間を大幅に短縮できると述べています。

韓国メディアMaeil Businessの報道によると、韓国金融監督院の資料が示すところでは、韓国中央銀行主導のCBDC第一段階試験プロジェクト期間中、金融当局は独立した安全検証を行わず、参加銀行が自ら事前の安全審査を行った。プロジェクト開始前に参加銀行に対してIT脆弱性の自己評価が行われ、金融安全院、SK Shields、友利銀行、農協銀行の自己点検チームが共同で実施し、「規制対象者の自己検査」という評価モデルが形成された。中央銀行は試験結果報告の中で、外部からの預金トークンの安全性に対する疑問を認め、事前審査は十分であったと応じたが、批評家はその説明が自己評価に過ぎず、独立した第三者の検証ではないと指摘している。

GoPlus の分析によると、Arbitrum 上の Lumi Finance は 7 月 13 日に攻撃を受け、約 27 万ドルの損失を被りました。脆弱性は Sodium スマートアカウントコントラクト（ERC-4337）の validateUserOp 関数にあり、_validateSignature を呼び出して署名を検証する際に論理的欠陥が存在しました。------ isValidSignatureNow を実行する際、signer パラメータに攻撃者のアドレスが渡され、ECDSA.tryRecover の呼び出しでエラーが発生した後、revert せずに攻撃コントラクト内の isValidSignature 関数を呼び出して検証に成功しました。攻撃者はこの脆弱性を利用して UserOperation の検証中に Token approve 操作を実行し、支払い側の許可なしに複数のスマートアカウントから ERC20 トークンの承認権を取得しました。

The Informationによると、アメリカの預託信託および清算会社（DTCC）は、今週の水曜日にブロックチェーン技術に基づくリアルタイム株式取引決済プロセスを展示する予定であり、この技術の清算、決済および記録の段階での適用可能性を検証し、資本市場のインフラ運営効率を向上させることに重点を置いています。

CoinDeskの報道によると、イーサリアム財団は最近、そのセキュリティチームがAIエージェントを利用してイーサリアムの検証ノードで動作するソフトウェアのテストを行い、リモートでトリガーされ、ノードがクラッシュする脆弱性を発見したと発表しました。しかし、研究者は、AIが生成した大量のセキュリティレポートの中で、人工的なレビューが真の脆弱性と誤報を区別するための重要なプロセスであると強調しています。この脆弱性は、イーサリアムネットワークのメッセージ伝播プロトコルgossipsubに存在し、攻撃者はリモートでノードソフトウェアを異常な計算状態にトリガーし、プログラムがクラッシュしてシャットダウンし、検証ノードがオフラインになることを引き起こします。運営者が手動で再起動するまで、この脆弱性は修正され、番号「CVE-2026-34219」として登録されました。イーサリアム財団のプロトコルセキュリティチームのメンバーであるニコス・バクセバニスは、今回の事件で本当に驚くべきことはAIが脆弱性を発見する能力ではなく、チームがどれだけの時間をかけてどの脆弱性が実際に存在するのか、どれが単に信頼できる「幻影」なのかを見極めることに費やしたかだと述べました。

現代カードは9日に、現代自動車アメリカ法人（HMA）とメキシコ法人（HMM）との間で、ステーブルコインに基づくクロスボーダー送金の概念実証（PoC）を完了したと発表しました。初回のPoCでは、アメリカ法人が2万ドルをUSDTに変換し、メキシコ法人に送金した後、再びドルに換金するというプロセスが含まれており、国際送金と検証を含む全過程が平均してわずか7分で完了しました。これは、従来の銀行のクロスボーダー送金に通常必要な3〜4時間以上を大幅に下回る時間です。TetherとAvalancheがこの検証に参加しました。今月末には第二段階のPoCが開始され、現代自動車ヨーロッパ法人を対象に、ドルではなく現地通貨での実際の送金を行い、為替コストの節約効果を検証します。CircleとVisaが協力者として参加します。現代カードは、今回の検証が会計、税務、法務および内部統制などの規制要件を総合的に考慮しており、単なる技術テストを超えて実際のビジネス展開レベルに達していることを強調しています。将来的には、ステーブルコインの利用を現代自動車グループのグローバルネットワークにおける法人間の決済および資金移動に拡大する計画です。

Zcash 開発チームは、近日発表予定の新しいプライバシープール Ironwood を通じて、形式的検証を導入し、数学的証明によって「検出不可能な増発の脆弱性」のリスクを排除する計画を発表しました。以前の情報によると、Orchard シールドプールに存在する脆弱性は修正され、利用された証拠はありませんが、理論的にはチェーン上の履歴を通じて隠れた増発が発生したかどうかを確認することができないため、コミュニティは全く新しい Ironwood シールドプールを導入し、そのプロトコルに対して全面的な形式的検証を行うことを決定しました。

DefiLlamaの創設者0xngmiは、新しいオフチェーン証明/検証サービスを発表しました。このサービスは、銀行口座の残高などの情報を含むオフチェーンデータの検証と監査に使用され、プロジェクトが現実世界の資産やその他のオフチェーンデータを信頼できる方法で検証するのを助けます。