QRコードをスキャンしてダウンロードしてください。
BTC $61,430.70 -3.60%
ETH $1,595.73 -9.57%
BNB $576.28 -4.55%
XRP $1.11 -5.33%
SOL $64.39 -6.20%
TRX $0.3200 -3.54%
DOGE $0.0823 -6.78%
ADA $0.1583 -11.41%
BCH $210.68 -14.00%
LINK $7.42 -6.98%
HYPE $60.25 -5.47%
AAVE $62.78 -11.71%
SUI $0.7137 -6.56%
XLM $0.2042 +1.53%
ZEC $395.29 -13.17%
BTC $61,430.70 -3.60%
ETH $1,595.73 -9.57%
BNB $576.28 -4.55%
XRP $1.11 -5.33%
SOL $64.39 -6.20%
TRX $0.3200 -3.54%
DOGE $0.0823 -6.78%
ADA $0.1583 -11.41%
BCH $210.68 -14.00%
LINK $7.42 -6.98%
HYPE $60.25 -5.47%
AAVE $62.78 -11.71%
SUI $0.7137 -6.56%
XLM $0.2042 +1.53%
ZEC $395.29 -13.17%

ヴィタリック

ヴィタリック:オプションに基づいて債務ではなくインデックス追跡資産を構築することは検討する価値があり、試みるべきです。

VitalikはXプラットフォームで、オプションに基づくインデックス追跡資産の構築は、債務ではなく考慮し試みる価値があると述べています。オプションをDeFiの基盤として使用し、CDPや清算メカニズムではなくすることが提案されています。この設計は、極端な価格変動による激しい全体的な清算効果を回避でき、インデックスへのエクスポージャーがより滑らかな二次的な方法で好ましいエクスポージャーから逸脱することを可能にします。その重要な利点は、即時オラクルを必要とせず、遅延オラクルで動作できることです。これは予測市場で使用されるオラクルのタイプです。この設計には明らかな欠点があり、定期的なリバランスが必要であり、現在のところリバランスが十分なスリッページ耐性を持つかどうか、またその方法が明確ではありません。Vitalikは、リアルタイムで答えを出す必要があり、人工的な救済時間がない場合に誤ったリアルタイムの答えを出すように誘導される可能性のあるオラクルメカニズムに依存するよりも、このようなメカニズムに置かれたアルゴリズム安定コインを保有する方が安全であると補足しています。

ヴィタリックが投稿した The Interfold の推薦:これは投票や秘密オークションなどのシーンに最適化されたプライバシープロトコルです。

イーサリアムの共同創設者であるVitalik Buterinは、The Interfoldプロジェクトを推奨する投稿をしました。「より多くの人々がInterfoldを理解するべきです。これは、私が過去10年間繰り返し構築を呼びかけてきたMACI(最小反共謀基盤インフラ)理念の一般的な実装バージョンです。このプロジェクトは、投票や秘密オークションなどのシーンに最適化されたプライバシープロトコルであり、より多くの人々がこの技術の進歩に注目し、理解することができます。」Vitalikはさらに、Interfoldのコアメカニズムには、閾値暗号鍵の生成、ユーザーのオンチェーンでのZKP資格証明付き投票の提出、全同態暗号(FHE)での任意計算後の閾値復号が含まれており、無条件の有権者匿名性、イーサリアムレベルの検閲耐性、ZK over FHEによる結果の正確性の確保などの強力なセキュリティ保障を実現しています。現在の主な制約は、複雑な計算(例えば乗算)のコストが高いことであり、加算による投票集計は成熟しています。スラッシングベースなどの最適化を進めており、長期的な目標はM-of-N委員会依存を排除するための混乱技術の実現です。

ヴィタリック:イーサリアム財団は「規模を縮小」し、ETHの販売量を減らす。

The Block の報道によると、イーサリアムの共同創設者である Vitalik Buterin は X プラットフォームで長文を発表し、イーサリアム財団の最近の混乱と研究者の退職ラッシュに応じました。Buterin は、財団が「長期的な生存を選択し、大きさを追求しない」ことを選び、ETH の販売を減少させ、イーサリアムの検閲耐性、オープンソース、プライバシー、安全性などの CROPS 属性に集中していると述べました。彼はこの投稿が個人的な見解のみを表しており、組織内での自分の権限は今後も減少し続けることが自分の意志に合致していると強調しました。Buterin は、EF は「明確な目的を持つノードとして、他のノードと並列に存在する」と理解されるべきであり、イーサリアムの中心ではないと指摘しました。Buterin は、財団が約 0.16% の ETH を保有しているのに対し、他のブロックチェーン財団は通常、自身のトークン供給量の 10% から 50% を保有していると述べました。財団は、財団だけが推進できる重要な活動に集中し、一部の尊敬される貢献者やプロジェクトは財団の外に留まることになり、これが外部資本を引き寄せるのに役立つとしています。技術的な方向性に関して、Buterin は三つの優先事項を提案しました:AI を活用した形式で「証明可能な無欠陥のイーサリアム」を実現すること、利用可能なチェーン合意、そして仲介の最小化です。彼は、イーサリアムが速度で競争することに明確に反対し、それは「平凡への道を歩むことだ」と述べました。Buterin は最後に、EF の規模は昨年よりも小さくなり、立場はより明確になるとし、場合によってはその立場が理解しにくいこともあるが、より長続きするものになるだろうと述べました。財団の新しい長期的な運営モデルは、今後数ヶ月内に安定することが期待されています。

ヴィタリック:AIによる形式的検証の支援は、コードの効率と安全性を同時に向上させることが期待される。

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