Foresight Newsによると、イーサリアム財団のKohakuプライバシープロジェクトのリードであるNico氏は、基盤となるハードフォークのアップグレードを待たずに、イーサリアムはポスト量子時代に向けたアカウント単位での準備を開始できるようになったと述べました。実装コストはアカウントあたりわずか$0.07です。 Nico氏は、Fableとの間でレビューが完了しており、正式な監査が進行中だと明かしました。研究は、イーサリアム財団の暗号チーム、Vitalik Buterin、Justin Drakeらによってレビューされました。Nico氏は、量子コンピューティングのタイムラインが加速するにつれて、ポスト量子署名の導入が差し迫ってきていると強調しました。

Ethereum Researchによると、6月12日、研究者らはSPHINCS-を公開しました。これは、プロトコル変更を必要とせずにEVM互換性を持たせるよう設計された、ステートレスの耐量子署名検証方式です。この提案はnicocsgyが執筆し、Vitalik Buterinが貢献しており、標準のSHAKE256ハッシュ関数をKECCAK256に置き換えることで、量子耐性のウォレット検証をSolidityで実装できるようにしています。 C13バリアントは、標準のSLH-DSA-SHA2-128-24と比べて、量子耐性署名を約127,000ガスで検証し、署名サイズは3,704バイトです。一方、SLH-DSA-SHA2-128-24は142,000ガスで3,856バイトの署名となります。この方式は、一般用途の暗号規格というより、典型的なウォレット利用パターンを反映して、各キーあたり2^14から2^20のサイニング予算を対象にしています。

6月1日、Ethereumの共同創業者であるビタリック・ブテリンは、リスクのある清算を排除し、ゆっくりした価格フィードだけを使うことで実現する、新しい合成資産とステーブルコインのための枠組みを提案した。ETHを担保に借り入れる代わりに、ユーザーは1 ETHを常に同じ金額になる2つのトークンに分割する。システムは、ETHをその2つの間でどう分けるかを決めるために、一定の将来日を対象に価格をチェックする。2つの構成要素は常に1つ分の合計になるため、負債は累積しえず、強制的な売却も不要だ。この提案はウラジーミル・ノヴァコフスキーとCurveの開発者たちによって共同でレビューされた。

PANewsによると、5月28日、Vitalik Buterinが自身の自律型言語モデル（LLM）環境について最新情報を共有し、Ethereumのインフラと人工知能の交差が拡大していることを強調した。彼は、Deepseek V4の2ビット量子化版がAppleのハードウェアでは約90GBのメモリで毎秒35トークンほど動作する一方、AMDでは毎秒7トークンにとどまると述べ、「分散型AI」を「CROPS AI」と区別するには複数のハードウェアベンダー対応が重要だと強調した。Leanコードの執筆に注力したMistralのLeanstralモデルも同様に70GBで動作し、1Tパラメータのモデルと同等の性能を示すという。 Vitalikは、コードのセキュリティを高めるうえで形式検証が果たす役割について詳しく述べ、AI支援による形式検証がSTARKs、コンセンサスアルゴリズム、EVMコンポーネントに適用可能な「エンドツーエンド」のセキュリティ証明を可能にすると提案した。彼はさらに、ブロックチェーンとZK-SNARKsがオープンな検証可能性とプライバシーのスケーラビリティを提供する一方で、AIと形式検

Vitalik Buterinによると、イーサリアム財団の社内チームは過去1年間、Kohakuイニシアチブを推進しており、イーサリアムのアクセス層において、信頼不要性によるセキュリティと読み書き可能なプライバシーを同時に実現することを目指している。これにより、両方の機能が特別なオプションではなく標準設定になる。 先ほど、イーサリアム財団のKohaku部門がウォレット単位でのプライバシー統合向けのSDKをリリースした。

日曜に投稿したVitalik ButerinのXの記事によれば、イーサリアム財団は、イーサリアムの売却を減らしつつ、よりスリムな組織へ移行している。Buterinは、財団は「幅広さよりも長寿」を重視し、CROPSの枠組みのもとで「明確な目的を持つ1つのノード」として機能すると述べた。そこでは、検閲耐性、オープン性、プライバシー、そしてセキュリティが強調される。財団は現在、イーサリアムの総供給量の0.16%を保有しており、その価値は4億800万ドル。Buterinは、自身の個人資産の約90%が依然としてイーサリアムに結びついていることを明かし、財団内での自分の影響力は「継続的に減少していく」と語ったが、これは彼が望むことだと説明した。

ChainCatcherによると、Vitalik Buterinは今朝、自身の純資産の約90％がETHで保有されており、残りは主に約4000万ドル相当のオンチェーンのステーブルコインで構成されていると明らかにした。同共同創業者は、これらの資金の1ドルごとに、オープンソースのバイオテクノロジー、ソフトウェア、またはハードウェアのプロジェクトへの配分が行われていると述べた。

5月20日、Vitalik Buterinによれば、Ethereumは、AAとFOCILの統合を含む短期的な取り組みにより、ネイティブなプライバシーを前進させており、プライバシー・プロトコルの取引、Keyed Nonces、アクセス層の作業に対して、第一級のサポートと強力なシーケンス保証を提供するという。 Vitalikはソーシャルメディアを通じてこれらのプライバシー強化策を詳述し、Ethereumのプライバシー基盤の開発ロードマップを示した。

ChainCatcherによると、Vitalikは本日「形式検証への浅い入門」というタイトルの記事を公開し、形式検証がEthereum開発におけるセキュリティと効率の両方をどのように高められるかを論じました。開発者はLean、EVMバイトコード、またはアセンブリ言語を使ってコードを書き、機械的に検証可能な数学的証明によってその正しさを確認できます。Vitalikは、形式検証はSTARKs、ビザンチン故障許容のコンセンサス、ZK-EVM、ポスト量子署名のような複雑なシステムに特に適している一方で、仕様の誤り、コードのカバレッジ不足、ハードウェアレベルの攻撃といった制限もあると指摘しました。

BlockBeatsによると、イーサリアム共同創設者のVitalik Buterin氏が、Consensys共同創設者のJoseph Lubin氏およびLighter創設者のVlad Novakovski氏とともに、5月18日23時（UTC+8）にファイヤーサイド・チャットへ参加します。議論は、ZKロールアップの実装進捗を含む、イーサリアム・エコシステムにおける高性能アプリケーション、スケーリングのロードマップ、そして分散型金融（DeFi）の未来に焦点を当てます。