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は情報の正確性または完全性を保証せず、当該情報の利用に起因するいかなる損失についても責任を負いません。仮想資産への投資は高いリスクを伴い、大きな価格変動の影響を受けます。投資元本の全額を失う可能性があります。関連するリスクを十分に理解したうえで、ご自身の財務状況およびリスク許容度に基づき慎重に判断してください。詳細は
免責事項をご参照ください。
関連記事
Erebor Bankを後ろ盾に、InfiniteがInfinite Accountsをローンチ—法定通貨とステーブルコインのバンキングサービスを提供
Gate News メッセージ、4月22日 — B2Bステーブルコイン技術プロバイダーのInfiniteは、預金、出金、ACH送金、国内および国際の電信送金、ならびにステーブルコインの鋳造、焼却、オンチェーンの送金を単一のAPIでサポートする、企業向け銀行口座サービス「Infinite Accounts」をローンチしました。
GateNews30分前
Everstakeは4月28日までにCelestiaバリデーターネットワークから退出
Everstakeは4月28日までにCelestiaから撤退し、TIAバリデーターとしての運営を停止します。保有者は、報酬が途切れるのを避けるためにアンステークまたは再委任する必要があり、Celestiaのバリデーター環境の転換を示します。
Everstakeは4月28日までにCelestiaのエコシステムから退出し、TIAバリデーターとしての運営を停止します。ステーカーは、報酬や保有資産の損失を避けるために、その日までにアンステークまたは再委任を行うべきであり、Celestiaのバリデーター環境の変化を示しています。
GateNews45分前
GensynがDelphiをローンチ、AIが決済する情報市場プラットフォームを提供
Gate Newsメッセージ、4月22日 — a16zクリプトによって支えられた分散型AIインフラ・ネットワークのGensynが、旗艦プロダクトDelphiをローンチしました。これは、誰でもマーケットを作成し、取引量に基づいて手数料を得られる、AIが決済する情報市場プラットフォームです。
マーケット作成者は、固定ウェイトのAIモデルを事前に選択し、決済用の「スマートオラクル」として機能させます。結果は、再現可能な実行環境 REE によって検証されます。決済の収益はUSDCで自動的に分配されます。このプロトコルは、未公開のAIトークンの買い戻しとバーンのために、すべての取引量の0.5%を回収します。一方、マーケット作成者は、マーケットが正常に決済された場合に取引量の1.5%を得ます。
Delphiのテストネットは、昨年12月以降、数百万ドル規模の取引量を記録しています。現在、このプラットフォームはクリエイター向けに招待制のモデルで運営されており、数週間以内にメインネットでローンチされる見込みです。
GateNews2時間前
Vitalik：ポスト量子暗号の解決策は成熟している。イーサリアムは量子とAIの両方の脅威への耐性を目指す
ゲートニュースのメッセージ、4月22日 — ビタリック・ブテリンは、孝風（Xiao Feng）との対話の中で、成熟したポスト量子暗号の解決策はすでに存在すると述べ、GeoHashアルゴリズムを好む意向を示しました。彼は、イーサリアムのビジョンは単にポスト量子チェーンになることにとどまらず、ネットワークもまたAI関連の脅威に対抗することを目指していると指摘しました。
GateNews3時間前
オンデバイス鍵管理を備えたAIエージェントウォレットをPicWeが発表
PicWeは、リカバリーフレーズ不要のAIエージェント対応、オンデバイス鍵ウォレットであるPicWe Walletのパブリックベータを発表しました。マルチチェーン資産、スワップ、AIが利用可能な自動化をサポートし、RWAインフラを統合することを目指しています。
PicWeは、鍵をオンデバイスに保存し、リカバリーフレーズを排除し、重要な操作をローカルに保つAIエージェント対応ウォレット「PicWe Wallet」のパブリックベータをローンチしました。ベータでは、マルチチェーン資産管理、スワップ、ステーブルコインに基づく手数料をサポートしつつ、プログラマブルなAIによる対話を可能にします。より広範なPicWeの取り組みにより、このプラットフォームは実世界資産（RWA）の統合インフラとして位置づけられ、発行、流通、決済、クロスボーダー決済、トークン化、企業向けユースケースのためのサプライチェーン連携を可能にします。
GateNews3時間前
ヴィタリック：ユーザーと開発者の間でのイーサリアム普及にはシステム単純化が不可欠
フォーサイト・ニュースのイベントで、ヴィタリック・ブテリンは単純化に2つのレベルがあると説明しました——インターフェース・レベルでの調整と、より広範なシステム・レベルでの変更です。そして、イーサリアムの成長は、ユーザーや開発者の参加を促すためにシステムの複雑さを減らすことに依存していると主張しました。
ブテリンはインターフェースとシステム・レベルの単純化を区別します。イーサリアムにとっては、ユーザーと開発者の参加、そして全体的な普及を後押しするために、システムの複雑さを減らすことが重要です。
GateNews3時間前
