A16z Crypto – アンドリーセン・ホロウィッツのWeb3投資部門は、最近のJolt zkVMに関するブログ記事で、開発者コミュニティで一般的に使われているが正確性に欠ける「ZK」という用語の使い方を批判した。
記事によると、「多くのzkVMは実際にはゼロ知識の意味でのゼロ知識ではなく、‘ラッピング’と呼ばれる高コストな手順を適用しない限りそうではない。」この手順は、zkVMの証明を検証することを繰り返し示す証明を、別の証明システム内で行う必要があり、真のゼロ知識性を実現するためには非常にコストがかかることが多い。この方法は計算資源を大量に消費するだけでなく、信頼設定(trusted setup)を必要とするため、透明性を犠牲にすることもある。
著者たちはまた、多くの場合、「zk」は「簡潔性(succinctness)」の略語として使われており、これは証明のサイズが小さく、検証が迅速であることを意味するが、実際のゼロ知識によるプライバシー保護を保証するものではないと指摘している。
A16z Cryptoは、コミュニティがますますプライバシーに注目する中で、ゼロ知識の真の実現が必要とされているにもかかわらず、誤った用語の使用が深刻な問題になりつつあると強調している。
ZK証明とは何か?
ゼロ知識証明(ZK proof)は、ある主張が正しいことを、証明者(prover)が検証者(verifier)に対して、背景情報を一切明かさずに納得させる暗号技術である。
最初は学術的な環境で開発され、商業的な大規模応用は暗号業界、特にZcashの登場によって始まったと考えられる。このプロジェクトはzk-SNARKsと呼ばれる簡潔な証明を導入し、取引データを隠すことでオンチェーンのプライバシーを提供した。
それ以降、ゼロ知識暗号は多くの新しいブロックチェーンモデルに広く応用されており、特にEthereumのLayer 2拡張ソリューションやzk-Rollupsにおいて重要な役割を果たしている。
プライバシーは現在、暗号開発者や投資家にとって重要な関心事に戻ってきており、多くの意見は、現在の多くのブロックチェーンの絶対的な透明性が、広範な採用を妨げる可能性があると指摘している。特に金融機関からの受け入れには障壁となることもある。
例えば、Digital Currency GroupのCEOバリー・シルバートは、最近、プライバシーに焦点を当てたブロックチェーンに多くの資金が流入すると期待していると述べている。
Joltのソリューション
A16zのオープンソースzkVMであるJoltは、火曜日に重要なアップグレードを実施し、真のネイティブなゼロ知識証明をサポートできるようになった。
Zero-Knowledge Virtual Machine(zkVM)は、プログラムを実行した証明を生成し、入力データを明かすことなく、そのコードが正しく実行されたことを証明できる環境である。
従来、多くのアプリケーションと同様に、Joltも当初はプライバシー全体を保証するのではなく、証明の簡潔性を重視していた。この制約を克服するために、開発チームは1990年代に由来する「folding scheme(折りたたみ方式)」を採用した。
具体的には、JoltはNovaBlindFoldという仕組みを統合し、情報漏洩を防ぐために証明を盲目化(blinded proofs)し、プライバシーを必要とするアプリケーションに適したシステムを構築している。
ブログによると、最終的な結果は、ZK属性を持つ証明が従来のJolt証明より約3KB大きくなるだけで、追加のサイズコストはプライバシーの利益に比べて比較的小さいことを示している。
免責事項:このページの情報は第三者から提供される場合があり、Gateの見解または意見を代表するものではありません。このページに表示される内容は参考情報のみであり、いかなる金融、投資、または法律上の助言を構成するものではありません。Gateは情報の正確性または完全性を保証せず、当該情報の利用に起因するいかなる損失についても責任を負いません。仮想資産への投資は高いリスクを伴い、大きな価格変動の影響を受けます。投資元本の全額を失う可能性があります。関連するリスクを十分に理解したうえで、ご自身の財務状況およびリスク許容度に基づき慎重に判断してください。詳細は
免責事項をご参照ください。
関連記事
OpenClawは今週日曜日に新しいバージョンをリリースする予定で、プラグインのアーキテクチャを最適化し、Claude CodeとOpenAI Codexをサポートします。
OpenClawの創設者ピーター・スタインバーガーは、Xプラットフォーム上で、チームがプラグインシステムを強化しつつ、コアシステムを簡素化し続けていると述べました。次の日曜日に新しいバージョンをリリースし、AIエージェントがタスクを実行している間にユーザーが質問できるようにします。同時に、開発された自動フィルタリングシステムは5分ごとに稼働し、迷惑メッセージを除去してインタラクションの体験を向上させます。
GateNews37分前
ブラックロック「イーサリアム・ステーキングETF」登場!上場初日の取引額が1,550万ドルを突破
ブラックロックが発売した「iShares 質押型イーサリアム信託 ETF(ETHB)」の初日の取引額は1,550万ドルを超え、機関投資家によるイーサリアムへの資金流入の重要な節目となりました。このETFはイーサリアムを保有し、ステーキングを行うことで、投資者に価格変動とステーキング報酬を提供します。ETHBは、70%から95%のイーサリアムをステーキングに投入し、82%の収益を月次で保有者に分配する予定です。
区块客1時間前
Streamex が前某 CEX グローバル財務責任者 Christine Plummer を CFO に任命
Streamex Corp.は、Christine Plummerを新たな最高財務責任者(CFO)に任命したと発表しました。彼女は30年以上の金融経験を持ち、複数の著名な企業で重要な役職を務めてきました。CEOは、彼女の経歴が同社のコモディティのトークン化製品を支援することになると述べています。
GateNews1時間前
Virtuals Protocol (VIRTUAL) イーサリアム上でAIエージェントが成功できることを実証 – その意味するところ
Virtuals Protocolは、AIエージェント間の信頼不要な決済を可能にするERC-8183トークンなどの革新的な機能を備え、暗号資産とAI分野で大きな進展を遂げています。トップクラスのアルトコインとして認識されており、実世界のアプリケーションを促進し、そのエコシステムの需要と成長を促進しています。
CaptainAltcoin2時間前
カルダノの創設者チャールズ・ホスキンソン、数年後に「離婚」したイーサリアム財団に提案を行う - U.Today
Charles Hoskinsonは、Ethereum Foundationがそのマンデートを公開した後、Vitalik Buterinに対して異議を唱え、それがCardanoのガバナンスアプローチに似ていることを示唆しています。彼は、EthereumがCardanoのオンチェーンガバナンスの構造を模倣しようとしていると主張し、2つのプロジェクト間の管理メカニズムの明確な違いを強調しています。
UToday2時間前
Byreal AI Agent Skill がClawHubにローンチ、OpenClawがSolana DEX取引の自主実行をサポート
Gate News: On March 16, Byreal AI's agent Skill went live on the ClawHub platform, providing autonomous discovery, installation, and execution capabilities for OpenClaw AI agents. Through this Skill, AI agents can achieve autonomous trading operations on Solana decentralized exchanges (DEX), as well as autonomous management functions for liquidity pools (LP).
GateNews3時間前