ep2 证明系统 - ZKP builder 需要了解些什么 - Wen Building

在过去几个月中，Nova 这个名词引起了 zkp 开发者社区和应用生态的关注，尤其是那些密码学家和 zkp 构建者们。Nova 是证明系统中的一些改进，实际上就是我们所说的折叠方案。本质上，它将相同的计算或运算一次又一次地折叠，并将其折叠成 o(1) 的证明大小。也就是说，假设我们做了 10 次，100 次，1000 次同样的事情，生成的证明将是相同的大小。证明系统是整个 ZKP 领域的核心，是每个想要利用 zkp 去实现应用的 builder 们需要理解的概念。在本集博客中，我们请到了 Dr.Cathie 来向我们用比较浅显易懂的话语介绍这些复杂的逻辑，希望让更多对 zkp 感兴趣却因 moon math 望而却步的一些 builder 们获得一些启发。

Dr.Cathie 是以太坊基金会 Privacy and Scaling Explorations Team 的ZKML 研究员。她曾经专注于数据科学和机器学习工程领域，后来在制作一系列 zk 开源课程 ZK University 的机缘下进入零知识证明应用研究领域。她正在研究如何将机器学习应用到 zk 中。

EPISODE NOTES

host：Franci @FrancixDeng

guest: Dr.Cathie @drCathieSo_eth

时间戳

01:16 Dr.Cathie 的背景

02:37 简单介绍 NOVA

05:50 交互性 zkp 如何运作

08:35 区块链 app 中的非交互性 zkp 应用

10:03 从高层次理解证明和验证过程中的数学逻辑

12:28 去中心化证明者意味着什么

14:45 主要的证明系统以及它们的发展

18:57 Groth16 和 plonkish 系统之间的对比

21:42 趋于将证明系统抽象出来，与语言分离开来

23:52 证明和验证过程面临的挑战

30:02 Nova 如何帮助改善证明系统

32:38 证明系统的其他进展 - novaish 和 plonkish

34:30 我们无须完全理解 moon math 才能开始构建 zkp 应用

42:17 证明递归如何应用在 ZKML 中

时间戳

相关链接