BTC $84,695.38 +1.35%
ETH $2,699.64 +0.82%
BNB $771.14 +0.67%
XRP $1.49 +0.55%
SOL $117.91 +0.16%
TRX $0.3352 -0.71%
DOGE $0.0941 +0.12%
ADA $0.2464 +1.18%
BCH $309.16 +1.65%
LINK $14.29 -0.03%
HYPE $86.88 -4.44%
AAVE $171.37 +8.04%
SUI $1.17 +1.87%
XLM $0.2191 -2.79%
ZEC $1,322.96 -6.00%
AAPL $330.45 -0.93%
AMZN $248.86 -0.32%
GOOGL $339.55 -2.73%
MSFT $514.15 +0.07%
META $726.26 +0.07%
NVDA $231.39 +1.02%
TSLA $355.21 +0.28%
SNDK $1,780.23 +2.85%
INTC $120.04 +0.10%
SPCX $148.84 -1.36%
MU $1,090.28 +2.84%
AMD $616.25 +0.84%
BTC $84,695.38 +1.35%
ETH $2,699.64 +0.82%
BNB $771.14 +0.67%
XRP $1.49 +0.55%
SOL $117.91 +0.16%
TRX $0.3352 -0.71%
DOGE $0.0941 +0.12%
ADA $0.2464 +1.18%
BCH $309.16 +1.65%
LINK $14.29 -0.03%
HYPE $86.88 -4.44%
AAVE $171.37 +8.04%
SUI $1.17 +1.87%
XLM $0.2191 -2.79%
ZEC $1,322.96 -6.00%
AAPL $330.45 -0.93%
AMZN $248.86 -0.32%
GOOGL $339.55 -2.73%
MSFT $514.15 +0.07%
META $726.26 +0.07%
NVDA $231.39 +1.02%
TSLA $355.21 +0.28%
SNDK $1,780.23 +2.85%
INTC $120.04 +0.10%
SPCX $148.84 -1.36%
MU $1,090.28 +2.84%
AMD $616.25 +0.84%

ゼロ知識証明

すべて
記事
速報

ヴィタリック:ブロックチェーンは単なる帳簿から暗号学に基づく安全な計算ネットワークへと進化しました

イーサリアムの共同創設者であるヴィタリック・ブテリンは、第12回ブロックチェーングローバルサミットで基調講演を行い、ブロックチェーンが誕生した当初は主にツールであり、オープンで中立的かつ安全な特徴を持っているものの、スケーラビリティがなく完全に透明で、プライバシー保護のメカニズムがないと述べました。その後、ゼロ知識証明によるプライバシー取引とスケーラブルな検証がこの状況を変え、実際のEIPとして計画から実行に移され、イーサリアムのロードマップに組み込まれました。同様に、全同態暗号などの技術も適用され始めており、不可区別な混乱が将来的にチェーン上で適用される可能性もあります。プライバシーの他に、ブロックの並行構築と証明により、極限のスケーラビリティが可能になり、業界の考え方もデジタル資産からデジタル資産と情報へ、単純なチェーン上からユーザーサイド、トランザクションメモリプール、チェーン上の一連のパイプライン、さらには誰が何を送信できるかから誰が何を見えるかへと変わっています。現在、ブロックチェーンは単なる帳簿から、徐々に暗号学に基づく安全な計算ネットワークへと進化しています。AIの発展に伴い、暗号学のルールをAIに提供して自動形式的検証を行うことで、検証効率が大幅に向上し、チェーンがより多くの可能性を担うことができるようになります。

first_img Lighterの平均ブロック確認時間が5.3分から約1分に短縮されました。

去中心化永続契約プロトコル Lighter は、過去1ヶ月間の平均ブロック証明時間が約5.3分から約1分に短縮されたことを発表しました。この進展は、7月23日と8月23日に導入された2つの独立した最適化によって実現されました。Lighter は、ブロック検証をより迅速に完了できるようになり、処理能力を向上させ、インフラコストを削減し、さらなる拡張のためのスペースを創出します。最初の最適化は Heavy/Light 分解です。このプランは、取引回路を軽量回路と重量回路に分割し、取引の大多数を占める単純な見積もり更新が軽量制約のみを支払うことで済むようにし、証明時間を半分に短縮しました。2つ目は、Eigen Labsとの協力によって開催された証明コンペティションからもたらされた Prover バックエンドの最適化で、同じ回路条件下で再び証明時間を半分以上に短縮しました。最初の最適化は8月23日にオンラインになり、さらなるバッチが進行中です。さらに、8月10日にはすべての Schnorr 署名検証を各ブロックの単一の Plonky3 証明に統合し、約20%の改善をもたらしました。上記の最適化は相互に直交しており、効果は重ね合わせ可能です。残りのコンペティション最適化は、さらに約2倍の向上をもたらすと予想されており、7月中旬と比較して合計で約10倍に達する見込みです。現在、Lighter の持続的な処理能力は歴史的なピーク負荷を超えており、引き出しの最終性下限は約21~22分から約16~17分に短縮され、トラフィックのピーク時にも安定しています。

Attestableが完成したAIの検証可能な技術の突破により、2000万ドルのシードラウンド資金調達を獲得しました。

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)などの技術の性能オーバーヘッドをさらに低減することだと述べた。

ヴィタリック:イーサリアム財団の予算が40%削減され、長期寄付基金モデルに移行する。

イーサリアムの共同創設者であるVitalik Buterinは、イーサリアム財団(Ethereum Foundation, EF)が今年の予算を約40%削減することを発表したと述べました。これは財政転換計画の一環です。昨年発表された資金管理方針に基づき、EFは「支出型組織」から「長期寄付基金(endowment-based)モデル」へと徐々に移行しており、年支出比率を以前の約15%から2030年以降の約5%に段階的に引き下げることを目指しています。この過程で、財団は不可避な人員と資源の調整を受け入れることを強調し、一部の能力と経験の喪失を認めています。今回の再編成では、EFは約54名の従業員を削減し、全体チームの約20%に相当します。Vitalikは、これらの離職メンバーの多くが将来的に外部の形でイーサリアムのエコシステム構築に引き続き参加する可能性があると述べました。同時に、財団は戦略的焦点をより「軽量化」されたプロトコルガバナンスと開発パスに移行し、「Strawmap」長期ロードマップを推進し、コンセンサスメカニズム、プライバシー技術、アカウントモデル、状態構造などのコアプロトコルのアップグレードをカバーし、イーサリアムを第三段階の進化に導くことを目指しています。具体的な構造調整において、EFは「マルチクライアント冗長優先」モデルを弱め、専門的な分業とAI支援の形式的検証に基づく開発方法に移行します。プライバシーとスケーラビリティ研究チームPSEは、探索型研究開発からより焦点を絞ったエンジニアリングの実現に移行します。Devconなどのエコシステム活動の規模も徐々に縮小されます。さらに、EFは今後、分野を超えた大規模プロジェクトへの投入を減らし、プロトコルの安全性と高価値の改善をより強調し、エコシステム外での革新的な作業をより多く奨励します。経路はより簡素化されますが、イーサリアムは依然として高い検閲耐性と長期的な安定したプロトコルとしてのコアポジションを強化し続けます。

ジョセフ・ルービン:イーサリアムには「第二の財団」は現れず、3〜5年以内に完全にゼロ知識証明に基づくプロトコルにはならない。

The Blockの報道によると、ConsensysのCEOであるJoseph Lubinは、イーサリアムが今後3〜5年以内に完全にゼロ知識証明(ZK Proof)に基づくプロトコルに発展することが期待されており、これによりメインチェーンが最適化されるだけでなく、イーサリアムとLayer 2の相互運用性が強化されると述べています。Joseph Lubinは「Rollup-centricロードマップ」を支持しており、Layer 1を強化し、「Lean Ethereum」プランを導入し、ZK証明を普及させることで、イーサリアムの基盤層が大幅にアップグレードできると考えています。Lean Ethereumは、メインネットの高度な分散化を維持しつつ、毎秒1万件以上のトランザクションを実現し、プライバシーと量子耐性の解決策をサポートすることを目指しています。Layer 2に関して、Joseph LubinはZK技術が一部のL2ネットワークでリアルタイム証明を実現しており、この能力をLayer 1に普及させ、最終的には複数の証明者をサポートする完全なZK基盤プロトコルに移行する計画があると指摘しました。例えば、Consensysが開発したLineaチェーンやGnosisなどのプロジェクトは、ゼロ知識証明を利用してネットワーク間の同期トランザクションを実現しており、これによりブリッジの必要性を排除し、断片化された流動性を統一することが期待されています。Joseph Lubinは、Rollupロードマップの初期「分化段階」がLayer 2技術に実験的なスペースを提供することを目的としていると強調しました。短期的には流動性が分散する可能性がありますが、イーサリアムの将来の無限のスケーラビリティと技術のイテレーションの基盤を築くことになります。彼は、一部のL2技術がシステム的に重要なコンポーネントになると考えており、この探求プロセスは必要であると述べています。さらに、Joseph Lubinはイーサリアム財団(EF)の最近の人事異動と「第二の財団」に関する噂に応じて、第二の財団は存在しないと述べ、EFは引き続きコアプロトコルの開発、可用性とスケーラビリティ、機関との協力に集中し、少なくとも3つの独立したチームがEFから分離し、プロトコル、ユーザーエクスペリエンス、機関の拡張作業に焦点を当てることを支持すると述べました。
app_icon
ChainCatcher Building the Web3 world with innovations.