CESC '22: ゼロ ナレッジ ワークショップのフィールド ノート

編集者注： フィールドノート は、重要な業界、研究、およびその他のイベントで現場を報告するシリーズです。 このエディションでは、a16z 暗号研究パートナーである Valeria Nikolaenko が、 ゼロ知識証明ワークショップ と提携 クリプト エコノミクス セキュリティ カンファレンス (CESC)、カリフォルニア大学バークレー校で 30 月 XNUMX 日に開催されました。 の プログラム 研究者と実践者を集めて、ブロックチェーンと web3 の最新の開発を紹介し、議論することを目的としていました。 プレゼンテーションの録画を見ることができます こちら.

• ドーンソング (UC バークレー) 発表 新しいMOOC 2023 年春に予定されているゼロ知識証明に関する 17 年 2023 月 2022 日に開始し、XNUMX 年の秋に既に実行されている MOOC を思い出しました。

• 張玉鵬 (テキサス A&M 大学) は、 ZKP システムの最近の開発に関するチュートリアル、zk証明システムを構築するためのさまざまなアプローチの例外的な概要であり、それらを4つの軸にマッピングします：簡潔さ、証明者と検証者の効率、透明性と信頼性のセットアップ。

• ダンボネ （スタンフォード大学） PLM platform. 概要 一般的な IOP の抽象化、特に Plonk 多項式 IOP。

ダンはまた、と呼ばれる新しいシステムについても説明しました ハイパープロンクこれにより、証明者側で高価な FFT を排除し、高度なゲートをはるかに効率的に処理できるため、証明者の時間と証明のサイズの両方が削減されます。 覚えておくべき興味深いパラメーターは、ゲート数が 2 を超える場合、FFT が証明者の時間を支配することです。²⁰.

• 天城謝 (カリフォルニア大学バークレー校) zkBridge に表示されます (論文を読む こちら)、最近の多数のハッキングに照らして、橋のより良い設計の重要性を強調しています (RoninBridgeエクスプロイト, ワームホールハック, ノマドブリッジドレン、 等々）。 zkBridge は信頼を最小限に抑え、deVirgo ゼロ知識証明システムでパフォーマンスを向上させます。
• ドーンソング (UC Berkeley) は zkCollective を発表しました — 安全なクロスチェーンの相互運用性の基盤です。 取り組みに参加するためのフォームに記入することができます こちら.
• レオ・ファン (サイシック) は、FPGA でマルチスカラー乗算 (MSM) を高速化した zk-prover の結果を強調しました。MSM は多くの場合、証明者の時間の 50% 以上を占めます。 それらは、同等の作業よりも高速であると推定されています (パイプMSM & サイクロンMSM）。 彼らの最終的な目標は、ASIC を構築することです。
• マレクオルシェフスキ (熱意) は、Celo の軽量クライアントである Plumo の実行に関する素晴らしいデモを行いました。Plumo は 2 年間開発され、今年ローンチされました。 クライアントは、2 つの大規模な回路として開発されます。²⁷ ゲート、および楽観主義者によって供給 タウの力 他のプロジェクトに役立つセレモニー。 コミュニティ メンバーは毎日 (各エポック変更後) SNARK プルーフを生成しています。プルーフは 1 コアのマシンで約 256 時間かかります。 彼らの WASM ライブラリを使用すると、Web アプリからプルーフを検証できます。
• ハワード・ウー (アレオ) は、並行性と効率的な状態更新を可能にするプライベート トランザクション用のブロックチェーンを構築する Aleo の設計の背後にあるアイデアを提示しました。
• ジェレミー・ブレスル (リスク0) は、zkSTARKs で実装された RISC-V 命令セット用の zkVM を構築する背後にある設計理論的根拠を説明しました。 RISC-V には非常に小さな命令セット (<40) があり、さまざまなコンパイラで十分にサポートされており、完全にオープンです。 そして、最も重要なことは、効率的なハードウェア実装のために設計されていることです。これは、zk プルーフのための効率的な回路設計を意味します。
• ユマ・ロイ (簡潔なラボ) は、イーサリアムのコンセンサスを zkSNARKs で簡潔に検証する方法の概要を示し、証明時間はわずか 1 分です。

ヴァレリアニコレンコ a16z crypto のリサーチ パートナーです。 彼女の研究は、暗号化とブロックチェーン セキュリティに焦点を当てています。 彼女はまた、PoS コンセンサス プロトコルでの長距離攻撃、署名スキーム、ポスト量子セキュリティ、マルチパーティ計算などのトピックにも取り組んできました。 彼女はスタンフォード大学で暗号学の博士号を取得しており、コア研究チームの一員として Diem ブロックチェーンに取り組みました。

-

ここに示されている見解は、引用された個々のAH Capital Management、LLC（「a16z」）の担当者の見解であり、a16zまたはその関連会社の見解ではありません。 ここに含まれる特定の情報は、a16zが管理するファンドのポートフォリオ企業を含むサードパーティの情報源から入手したものです。 a16zは、信頼できると思われる情報源から取得したものですが、そのような情報を独自に検証しておらず、情報の永続的な正確性や特定の状況に対するその適切性について表明していません。 さらに、このコンテンツにはサードパーティの広告が含まれる場合があります。 a16zはそのような広告をレビューしておらず、そこに含まれる広告コンテンツを推奨していません。

このコンテンツは情報提供のみを目的として提供されており、法律、ビジネス、投資、または税務に関するアドバイスとして信頼されるべきではありません。 これらの問題については、ご自身のアドバイザーにご相談ください。 証券またはデジタル資産への言及は、説明のみを目的としたものであり、投資の推奨または投資顧問サービスの提供を構成するものではありません。 さらに、このコンテンツは、投資家または将来の投資家による使用を目的としたものではなく、a16zが管理するファンドへの投資を決定する際にいかなる状況においても信頼されない場合があります。 （a16zファンドへの投資の申し出は、私募覚書、サブスクリプション契約、およびそのようなファンドの他の関連文書によってのみ行われ、その全体を読む必要があります。）言及、参照、または記載されているのは、a16zが管理する車両へのすべての投資を代表するものではなく、投資が有益である、または将来行われる他の投資が同様の特性または結果をもたらすという保証はありません。 アンドリーセンホロウィッツが管理するファンドが行った投資のリスト（発行者がa16zに公開を許可していない投資、および公開されているデジタル資産への未発表の投資を除く）は、https：//a16z.com/investmentsで入手できます。 /。

記載されているチャートおよびグラフは、情報提供のみを目的としており、投資を決定する際に信頼することはできません。 過去の実績は将来の結果を示すものではありません。 内容は、示された日付の時点でのみ話されています。 これらの資料に記載されている予測、推定、予測、目標、見通し、および/または意見は、予告なしに変更される場合があり、他の人が表明した意見と異なる場合があります。 その他の重要な情報については、https：//a16z.com/disclosuresを参照してください。