区块链科学会议（SBC 2023）每年在斯坦福大学举行。当地的ZKM团队出席了会议，与会团队的首席研究顾问杰罗恩·范德格拉夫分享了他的经验，并发表了他对活动和研讨会的见解并发表了评论：

今年的版本 区块链科学会议，SBC'23，于8月28日至30日在斯坦福大学举行。这是本次会议的第七个版本，但对我来说这是第一次。

本次会议的使命描述如下：

该会议侧重于区块链生态系统的技术创新，汇集了在该领域工作的研究人员和从业人员。我们对密码学、去中心化协议、形式化方法和实证分析的应用感兴趣，以提高区块链部署的安全性和可扩展性。我们的目标是促进从事区块链协议开发、密码学、分布式系统、安全计算、加密经济学和经济风险分析的从业人员和研究人员之间的合作。

作为区块链领域的研究人员，我 喜爱 这个会议。许多有趣的演讲，有时绝大多数是这样。我之所以这样说，是因为科学学科的范围是巨大的，不可能成为所有学科的专家。举个例子，一个人可以是算法博弈论或智能合约验证形式方法方面的专家，但不能两者兼而有之。我想不出有比这更好的会议了 所有 区块链生态系统的科学方面。用Ben-Sasson的话说，“不可否认是区块链研究的最佳会议”。

许多人对此表示同意，因为该会议已变得非常受欢迎。除科学家外，还有许多人提出他们的想法，还有许多投资者在寻找商机，这为会议营造了纯粹的科学活动所不常见的活跃气氛。甚至有 45 分钟 闪电会说话，任何想要的人都可以聊两分钟。

此外，在会前后几天还组织了一些额外的研讨会。我选择参加一个以共识为重点的研讨会，共识是允许分布式网络就国家达成协议的机制的通用术语，例如工作量证明、权益证明、拜占庭协议、选择领导者的投票协议等。然后我参观了由以下机构举办的研讨会 Starkware。

以下是一些引起我注意的演讲。它有点武断，偏向于密码学（你期望什么？(:-) 请随时查看 项目 你自己出去吧而且几乎所有内容都已记录下来，可以在YouTube上观看：

8 月 28 日星期一

8 月 29 日星期二

8 月 30 日星期三

受邀讲座

• Eli Ben-Sasson — Starks 的未来方向
• Dankrad Feist— 数据可用性抽样：2023 年的理论与实践 （关于分片）
• 丹·罗宾逊— Uniswap V4 和 DEX 研究的未来方向

这些讲座中的每一个都介绍了各自领域的长期视角。

共识会谈

• 埃德·费尔滕— BolD：汇总挑战协议中的有限流动性延迟。*评论：费尔特姆因其在投票机方面的工作而备受尊敬，他在这里提出了一种更好地处理故障证明（即乐观汇总）的新方法。
• 安妮克特·凯特— 使用完整链为简单诚实的多数构建异步系统。 *评论：凯特（来自KZG的K）给出了有趣的结果，巧妙地组合了至少1/2的参与者必须诚实，至少有2/3的参与者必须诚实，至少有2/3必须诚实。
• 大卫·马齐雷斯——已发行资产需要协议证明。*评论：Mazières是制定恒星共识协议的人，该协议中没有预定义的参与者群体；人们可以来来去去。此外，人们只需定义他们决定信任谁即可。
• Dan Boneh、Aditi Partap 和 Lior Rotem — 后量子单一秘密领袖选举（SSLE）来自可公开重新随机化的承诺。 *评论：与其他选举协议的不同之处在于，在这种情况下，获胜者可以将这个秘密保密一段时间。这是为了让他能够进行采矿，而不必冒遭受不当压力或遭受拒绝服务攻击的风险。

关于密码学和隐私的讲座

• Abhiram Kothapalli 和 Srinath Setty — HyperNova：可定制约束系统的递归参数
• Benedikt Bunz 和 Binyi Chen — Protostar：特殊声音协议的通用高效累积/折叠

这两篇论文都提出了关于使用折叠方案提高zk校样效率的令人兴奋的新结果。在第一次演讲中，我了解了可自定义约束系统：R1CS、Plonkish 和 AIR 的概括。

• 耶胡达·林德尔— 在 Coinbase 建立 MPC 钱包。*评论：林德尔以其密码学教科书而闻名，他提出了一个基于二方（据我所见，不是多方）Party Computation的新系统，巧妙地拆分了用户的私钥，以实现实际的安全和备份。这很可能会成为钱包的标准。
• Charalampos Papamanthou、Ismael Hishon-Rezaizadeh、Rahul Ghangas 和 Ugur Sen — WIP：通过递归 SNARKs 批量进行 Merkle 证明，应用可更新的零知识证明。*评论：本次讲座介绍了通过默克尔树更新证明的策略。
• 达斯等人— 来自内部产品参数的阈值签名：简洁、加权和多阈值。*评论：提供了一种非常优雅的多人、基于法定人数的签名方案，其中签名者的权重甚至可能不同。

斯塔克峰会上的会谈

• 这个 与来自Visa的库伊·谢菲尔德的对话 让我想起了一个重要观点，即以太坊距离在几秒钟内处理数千笔交易还有很长的路要走。即使是有效性（zk）汇总也无法完全解决这个问题；它们缩短了处理时间，但距离即时事务处理还很远。
• Lior Goldberg 和 Gidi Kaempfer 提出了 深入了解 Stone Prover 的代码，该验证器目前正用于Starknet和StarkEx的生产中，其代码截至当天已开源。看到这些工具发挥作用令人印象深刻和令人兴奋。
• Eli Ben-Sasson、Shafi Goldwasser 和 Dan Boneh 之间的聊天很有趣，但不如 Dawn Song 主持的与 Goldwasser 和 Boneh 的炉边谈话那么技术性 可以在YouTube上找到。会谈结束后我与 Ben-Sasson 进行了简短的交谈，我问他如何看待他提出的新方法 Jolt&Lasso。他的回答是，他不认为用查询表替换所有指令上行码足够有效。

本文的作者杰罗恩·范德格拉夫是ZKM的高级研究顾问。

关于 ZKM

ZKM 是一个开源基础设施项目，它构建了支持 ZK 的混合汇总技术，以最大安全性实现即时交易。使用我们的技术，任何第 1 层区块链都将能够以基本且真正安全的方式连接到以太坊生态系统，而任何现有的第 2 层 Rollup 都将解决其最大和最艰巨的挑战。我们的目标是将以太坊变成全球结算层。欢迎来到 Web3 革命。

有关我们的更多信息，请访问：

|zkm.io | 优酷 | 推特 |

| ZKM 文档 |Discord |领英 | ZKM 白皮书 |

‍