First Principles 第七集：Noam Nisan 30多年前，Gödel奖得主 @noamnisan 开发了一种证明技术，他从未想到它会在现实世界中被使用。 如今，sum-check协议已成为一些最快速的现代SNARKs的核心。Nisan 回顾了这一技术从早期的交互式证明和 IP = PSPACE 的研究到可验证计算实际系统的非凡历程。 但 Nisan 的职业生涯也讲述了一个更广泛的故事：研究如何应对技术变革。当互联网在1990年代兴起时，他主动离开了一个自己已经是顶尖研究者的领域，转而研究一个新问题：当互联网中的独立个体有不同的激励时，如何让他们合作？ 这个问题促成了算法博弈论的诞生——几十年后，又将 Nisan 带回了关于区块链费用、代币经济学和协议设计的问题。 主持人：@Tim_Roughgarden 和 @SuccinctJT 0:00 开场 1:28 Noam Nisan 与可验证计算的起源 2:58 为什么 Noam Nisan 离开了复杂性理论 7:52 POPcorn、分布式计算和早期类似区块链的想法 11:10 算法博弈论的诞生 16:14 Justin Thaler 发现 sum-check 协议 25:05 从算术化到 LFKN 27:06 IP = PSPACE 背后的故事 30:40 为什么 sum-check 对现代 SNARKs 很重要 31:15 什么是 SNARK？ 38:52 sum-check 的关键思想：化二为一 44:03 当 SNARKs 从理论走向实践 46:03 为什么区块链是突破性的用例 50:36 Noam Nisan 转向区块链经济学 56:15 EIP-1559、交易费用和高效区块空间 1:02:07 从理论计算机科学到现实世界系统 1:08:49 sum-check 协议的精髓：化二为一 1:10:58 sum-check 协议是否是最优的？