CESC '22:零知识研讨会的现场笔记

编者按: 现场笔记 是我们在重大行业、研究和其他活动中实地报道的系列。 在本期中,a16z 加密研究合作伙伴 Valeria Nikolaenko 分享了她从 零知识证明研讨会 隶属于 加密经济安全会议 (CESC),于 30 月 XNUMX 日在加州大学伯克利分校举行。 这 程序 旨在将研究人员和从业者聚集在一起,展示和讨论区块链和 web3 的最新发展。 您可以观看演示文稿的录音 点击此处.

  • 黎明宋 (加州大学伯克利分校)宣布 一种新的慕课 2023 年春季关于零知识证明,计划于 17 年 2023 月 2022 日开始,并提醒已经在 XNUMX 年秋季运行的 MOOC:
  • 张玉鹏 (德克萨斯 A&M 大学)提出了一个 ZKP 系统最新开发教程,对构建 zk 证明系统的不同方法的特殊概述,将它们映射到 4 个轴:poof 简洁性、证明者和验证者效率,以及透明与可信设置。

  CESC '22:零知识研讨会 PlatoBlockchain 数据智能的现场笔记。垂直搜索。人工智能。

  • 丹·博内 (斯坦福大学) 呈现 概述 一般的 IOP 抽象,特别是 Plonk 多项式 IOP。

CESC '22:零知识研讨会 PlatoBlockchain 数据智能的现场笔记。垂直搜索。人工智能。

CESC '22:零知识研讨会 PlatoBlockchain 数据智能的现场笔记。垂直搜索。人工智能。

Dan 还解释了一个名为 超级普朗克,这可以消除证明方昂贵的 FFT 并更有效地处理高度门,从而减少证明方的时间和证明的大小。 要记住的有趣参数是,当门数大于 2 时,FFT 支配证明者的时间20.

  • 谢天成 (加州大学伯克利分校) 在 zkBridge 上呈现(阅读论文 点击此处),鉴于最近的许多黑客攻击,强调了更好的桥梁设计的重要性(浪人桥漏洞利用, 虫洞黑客, 游牧桥漏, 等等)。 zkBridge 通过 deVirgo 零知识证明系统最大限度地减少信任并提高性能。
  • 黎明宋 (加州大学伯克利分校)宣布 zkCollective——安全跨链互操作性的基础。 可以填写参与努力的表格 点击此处.
  • 里奥范 (西西奇) 强调了他们在 FPGA 上为 zk-prover 加速多标量乘法 (MSM) 的结果,其中 MSM 通常占 prover 时间的 50% 以上。 据估计,它们比类似的努力更快(管道MSM旋风MSM)。 他们的最终目标是建立一个 ASIC。
  • 马雷克·奥尔塞夫斯基(Marek Olszewski) (热情) 对运行 Celo 的轻客户端 Plumo 进行了很好的演示,该客户端已经开发了 2 年,并于今年推出。 客户端被开发为具有 2 个大规模电路27 门,并由一个乐观的 tau的权力 仪式对其他项目很有用。 社区成员每天都在生成 SNARK 证明(在每个 epoch 变化之后),在 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 管理的车辆的所有投资,并且不能保证这些投资将是有利可图的,或者将来进行的其他投资将具有类似的特征或结果。 由 Andreessen Horowitz 管理的基金进行的投资清单(不包括发行人未允许 a16z 公开披露的投资以及对公开交易的数字资产的未宣布投资)可在 https://a16z.com/investments 获得/。

其中提供的图表仅供参考,在做出任何投资决定时不应依赖。 过去的表现并不预示未来的结果。 内容仅在所示日期生效。 这些材料中表达的任何预测、估计、预测、目标、前景和/或意见如有更改,恕不另行通知,并且可能与他人表达的意见不同或相反。 有关其他重要信息,请参阅 https://a16z.com/disclosures。

时间戳记:

更多来自 安德森霍洛维茨