ヴィタリック

ヴィタリック・ブテリンは、ブロックチェーンのセキュリティ分野における形式的検証（Formal Verification）の応用の展望について考察を発表しました。記事では、イーサリアムの最前線の研究開発において、新しいパラダイムが登場しており、EVMバイトコード、アセンブリ、またはLeanを直接使用してコードを記述し、Lean内で自動的に検証可能な数学的証明を用いてその正確性を検証することが指摘されています。研究者のヨイチ・ヒライは、このパラダイムを「ソフトウェア開発の最終形態」と呼んでいます。ヴィタリックは、AI支援の形式的検証がコードの効率と安全性を同時に向上させる可能性があり、特にSTARK、ZK-EVM、耐量子署名、コンセンサスアルゴリズムなどの安全なコアモジュールに適していると考えています。記事はまた、形式的検証が万能ではなく、証明範囲の不完全さ、仕様の誤り、ハードウェアのサイドチャネルなどの問題により失敗する可能性があることを強調しています。将来的には、ソフトウェアが「安全コア」と「非安全エッジ」に分化する可能性があり、イーサリアムは重要な安全コアの一つになるでしょう。

イーサリアムの共同創設者である Vitalik Buterin は、イーサリアムの状態ストレージ問題についてコメントし、ユーザーがデータを自分で保存し、ブロックチェーンがハッシュのみを保存し、取引が証明を含む場合でも、証明を検証するために必要なデータを保存および更新する必要があり、これらのデータは最終的に状態自体とほぼ同じ大きさになると述べました。Vitalik は、関連する問題には解決策が存在するが、多くの構成要素が関与し、現在のイーサリアムと比較してトレードオフが必要であると述べました。以前、DeFi コンテンツライターの marilyn100x.eth は、イーサリアムには状態ストレージの問題があり、開発者はデータを書き込むために一度だけ料金を支払い、ノードは長期間にわたってストレージコストを負担するが、EIP-8037 は時間加重の家賃や継続的な費用ではなく、新しい契約、アカウント、およびストレージスロットの初期ガスコストを大幅に引き上げ、拡張プロセス中に状態の成長を制御することを目的としていると述べました。

Onchain Lens の監視によると、イーサリアムの共同創設者である Vitalik Buterin は Privacy Pools を通じて 50.25 ETH（11.3 万ドル）を移転しました。

ヴィタリック・ブテリンは、動物福祉基金に64枚のETHを再寄付したと発表し、より多くの人々に動物福祉問題に関心を持つよう呼びかけました。ヴィタリックは、人類が数十億の動物に与えている苦痛は、現在の社会であまり議論されていない重要な問題の一つであると述べましたが、今世紀における動物の生存状況の改善には楽観的な見方を示し、農業の方法と合成代替食品が継続的に進歩していると考えています。彼はまた、近年、世界中の菜食および完全菜食食品の品質が明らかに向上していると述べました。さらに、ヴィタリックは特にエビの福祉問題に言及し、外部が関連する問題の重要性を過小評価しがちであるとし、「眼柄切除術」などの養殖操作についても触れました。

ヴィタリック・ブテリンは5月10日に研究論文を発表し、暗号支払いは仮名性からデフォルトのプライバシーへ移行する必要があると主張し、標準的な送金の代わりにゼロ知識証明（ZK）取引を提案しました。ユーザーは、完全な残高や取引履歴を公開することなく、支払いの有効性を証明できます。ヴィタリックは特に、代理時代において、自律的なAI代理が追跡可能な痕跡を残さずにサービス料金（例えばLLM API料金）を支払う必要があると指摘しました。再帰的SNARKsとZK APIを通じてポイントを使用することで、イーサリアムLayer 2は透明な取引と同等の速度とコストでプライバシー支払いを処理できます。この提案には、選択的開示と無実証明メカニズムも含まれており、ユーザーはデータを公に開示することなく、コンプライアンス機関や税務当局に特定の証明を提供できるようにし、マネーロンダリング規制要件に対応します。ヴィタリックは、ブロックチェーンの公開透明性が暗号支払いが従来の支払いに取って代わる主要な障害であると考えており、ZK支払い標準はプライバシーをデフォルト機能にすることを目的としています。

CoinDesk の報道によると、イーサリアムの共同創設者である Vitalik Buterin が小額のトークン交換を行っている際に、著名な MEV ロボット jaredfromsubway.eth によるサンドイッチ攻撃を受けました。オンチェーンデータによると、Buterin はブロック 24993038 で約 3.86 ドル相当の 26,544 枚の XDB トークンを 0.00197 枚の ETH（約 4.56 ドル）に交換し、その後ロボットは約 114 万ドルの WETH を使用して SushiSwap と Uniswap V2 の間で価格を操作し、挟み撃ちを完了しました。5.14 ドルのガス代を差し引いた後、このロボットの攻撃は実際には損失を出しました。

ヴィタリック・ブテリンはXプラットフォームで、「予測市場の質はそのオラクルに依存する」と述べ、予測市場が非中央集権的で非金融的なオラクルソリューションに移行し始めていることを嬉しく思うと語った。また、次の発展の方向性は、証明者の投票のプライバシー化を実現するべきだとも述べた。

Lookonchain の監視によると、イーサリアムの創始者 vitalik.eth (@VitalikButerin) は、無料で得た Meme トークンを売却し続けており、彼のウォレットを空にしているようです。過去 24 時間で、彼はこれらの無料の Meme トークンを売却することで 114,566 USDC と 155 ETH（合計 35.5 万ドル）を得ました。

Arkham のオンチェーンデータによると、Vitalik Buterin のアドレス（0xAb5...）がさまざまな Meme トークンを集中的に売却しており、転送頻度は分単位で数回に達しています。資金の流れは、同時期に継続的に ETH が流入していることを示しています。市場では、彼が自動化されたスクリプトを使用してウォレット内のエアドロップされたゴミトークンを一括清算しているのではないかと広く推測されています。単一の金額は一般的に数十ドルから数百ドルの範囲です。このような操作は初めてではありません。2021 年、Vitalik は暗号コミュニティから彼のアドレスにエアドロップされた大量の Meme コイン（SHIB などを含む）をすべて売却または寄付し、市場に激しい変動を引き起こしました。今回の操作が人工的にトリガーされたものなのか、完全に自動化されたプログラムによって実行されたものなのかは不明です。Vitalik のアドレスの市場への影響力を考慮すると、関連する Meme コインの保有者は潜在的な売却圧力のリスクに注意する必要があります。

Onchain Lens の監視によると、Vitalik は贈与された MEME トークンの販売を開始しました。彼は 4000 万枚の ASTEROID-2 トークンを売却し、11.4566 万枚の USDC を得ており、さらに贈与されたトークンを売却し続ける可能性があります。

ヴィタリック・ブテリンはXプラットフォームで、最近のパリ空港の気象センサーが干渉され、予測市場の結果に影響を与えた事件について、単一のデータソースには明らかなリスクがあると述べました。彼は、このようなデータ駆動型の予測市場に対しては、少なくとも3つの独立したデータソースの中央値を参考として使用するべきであり、操作される可能性を低減する必要があると指摘しました。

ヴィタリック・ブテリンは2026年の香港Web3カーニバルで、イーサリアムの究極の目標は、ユーザーが中間媒介を信頼する必要のない「自己主権」を持つデジタルインフラを構築することであり、金融、ソーシャル、認証などのさまざまな分散型アプリケーションをサポートし、プライバシー投票、予測市場、分散型ソーシャルなどのオフチェーンアプリケーションの信頼のアンカーとなることだと述べました。

ChainCatcher 現場報導、イーサリアム共同創設者の Vitalik Buterin が 2026 香港 Web3 カーニバルで基調講演を行いました。彼はイーサリアムを二つの核心機能として定義しました：一つは公共掲示板で、アプリケーションがメッセージやデータを公開するためのもの；もう一つはコードによって制御される共有デジタルオブジェクトで、資産、NFT、ENS、DAOなどを含みます。彼は、イーサリアムの目標は高頻度取引プラットフォームと速度で競争することではなく、最も安全で、最も分散化され、常にオンラインの信頼できるチェーンになることだと強調しました。短期的なロードマップに関して、彼はアカウント抽象化提案 EIP-8141 を紹介しました。これはスマートコントラクトウォレット、量子耐性署名アルゴリズム、プライバシープロトコルをネイティブにサポートします；量子耐性の面では、現在ハッシュと格基の二つの署名スキームがあり、チームは EVM を通じてその効率を大幅に向上させるためにベクトル化を進めています。彼は、ZKVM はリアルタイム EVM 実行を証明するのに十分な速さであり、今年の目標はその安全性を確保することだと明らかにしました。小規模ネットワークからの展開を開始し、2028 年までに検証チェーンの主要な方法となることを計画しており、イーサリアムは分散化を犠牲にすることなく大幅にスケールアップすることを目指しています。長期的なビジョンに関して、イーサリアムは AI を積極的に利用して数学的証明を生成し、ソフトウェアの安全性を形式的に検証し、完全な量子安全性と最大の簡潔性を追求して、プラットフォームの安全性がどの単一チームの継続的な存在に依存しないことを確保しています。

Vitalik Buterin は、2026年4月までのローカライズされたプライベート LLM デプロイメントプランを共有しました。核心的な目標は、プライバシー、安全性、自主制御を前提とし、リモートモデルや外部サービスが個人データに接触する機会をできるだけ減らすことです。また、ローカル推論、ファイルのローカルストレージ、サンドボックス隔離などの方法を通じて、データ漏洩、モデルの脱獄、悪意のあるコンテンツの利用リスクを低減します。ハードウェアの面では、NVIDIA 5090 GPU を搭載したノートパソコン、AMD Ryzen AI Max Pro 128 GB 統一メモリデバイス、DGX Spark などのプランをテストし、Qwen3.5 35B および 122B モデルを使用してローカル推論を行いました。その中で、5090 ノートパソコンは 35B モデルで約 90 tokens/s、AMD プランは約 51 tokens/s、DGX Spark は約 60 tokens/s に達しました。Vitalik は、高性能ノートパソコンを基にローカル AI 環境を構築することを好み、同時に llama-server、llama-swap、NixOS などのツールを使用して全体のワークフローを構築しています。

Onchain Lens の監視によると、Vitalik は再び 14.5 ETH（価値 3 万ドル）の価格で贈与された絵文字トークンを販売し始めました。彼はまた、Railgun に 7 万 USDC と 44 ETH を送信し、私的な資金移動を行いました。

Lookonchain の監視によると、Vitalik は過去 6 時間で 197,944 枚の USDC を使って 157,869 枚の ZCHF を購入し、平均価格は約 1.25 ドルです。

イーサリアムの共同創設者であるVitalik Buterinが、新しいイーサリアムの迅速確認ルールメカニズムを紹介する投稿をしました。このメカニズムは、ユーザーがわずか1スロット（12秒）後に、イーサリアムの取引が撤回されない（Non-revert）という硬い保証を得ることを可能にします。Vitalikは、このルールの安全性が2つの前提に基づいていることを指摘しました。一つは、ほとんどのバリデーターが誠実なノードであること、もう一つはネットワークの遅延が約3秒未満であることです。経済的最終性（Economic Finality）に比べて安全性はやや低いものの、多くのアプリケーションシナリオにとっては非常に強い信頼性を持っています。

VitalikはXプラットフォームで、イーサリアムの現在のビーコンクレインと実行クライアントの分離されたアーキテクチャに対してオープンな態度を持つべきだと述べ、2つのデーモンを実行し、それらが相互に通信する複雑さは単一のデーモンを実行するよりも明らかに高いと考えています。Vitalikは、イーサリアムの目標はユーザーが自己管理方式でネットワークを利用し、良好なユーザー体験を得ることであり、多くの場合、これは自分のノードを運営する必要があることを意味すると指摘しましたが、現在のノードの運営方法は不必要な複雑さを増加させています。彼は短期的には、より標準化された基盤のパッケージングソリューションを通じて、ユーザーが異なるクライアントのDockerイメージをインストールし、より便利な通信を実現できるようにすることを提案しました。同時に、LeanEthereumのコンセンサススキームが徐々に成熟するにつれて、将来的には全体のアーキテクチャ設計を再検討することも考慮すべきだと述べています。