学习 ZK 如何入门 - 学习路线 by Taiko.eth 🥁

以下是 ZK 入门包内容的解读：如果你正在学习 ZK，可以查看一下 🤓

1. PSE – 隐私与扩展探索 @PrivacyScaling – 一个构建免费工具的研究实验室，扩展了密码学的世界。
   以其在以太坊 Type 1 ZK-EVM 上的开源努力而闻名。
   查看他们的所有项目：PSE 项目

2. Rust - 一种常用于电路编写的编程语言（例如，由 @PrivacyScaling、@taikoxyz、@Axiom_xyz 和 @Scroll_ZKP 使用）。

3. 关于学习 Rust 的无尽抱怨，伙计，潜入 halo2 rust 电路，祝我好运

4. Dan Boneh @danboneh ， 斯坦福大学计算机科学与电气工程教授。
   以大量研究和传奇的免费在线密码学课程而闻名：https://crypto.stanford.edu/~dabo/courses/OnlineCrypto/

5. @VitalikButerin 撰写的《ZK-EVM 的不同类型》文章
   Vitalik 撰写的文章 介绍了 Type 1/2/2.5/3/4 ZK-EVM 的分类。

6. 第一个 ZK-EVM
   关于谁是第一个 ZK-EVM 的无法解决的困境。

7. ZK 峰会 – 由 @zeroknowledgefm](https://x.com/zeroknowledgefm) 和 @AnnaRRose 举办的零知识峰会

这是地球上最专注于 zk 的会议，所有 zk 人聚集在一起。ZK 峰会 10 将于 9 月在伦敦举行。更多细节请查看：https://zksummit.com

8. Zac Williamson Zac_Aztec – 以发明 PLONK、运营 @aztecnetwork](https://x.com/aztecnetwork) 和穿着花哨的衬衫而闻名。

9. @zeroknowledgefm](https://x.com/zeroknowledgefm) – 由 @AnnaRRose 主持的传奇播客，有时由 @tarunchitra、@nico_mnbl 和 @kobigurk 共同主持，探索 zk 领域所有可能和不可能的研究主题。

10. Fiat-Shamir 转换或 Fiat-Shamir 启发式（1986 年，由 Amos Fiat 和 Adi Shamir 提出）。一种广泛用于构建 ZK-SNARKs 的密码学原语：将公共币交互式论证转换为非交互式论证。

11. MoonMath 一个免费的开源手册，适合任何对理解和解锁 zk-SNARKs 潜力感兴趣的人，从初学者到专家。 Moon Math 手册学习俱乐部 刚刚在 @zkhack 启动。

12. ZK 代表隐私 一个常见的误解是零知识汇总默认提供隐私。实际上，它并不提供。默认提供隐私的 ZK-Rollups 有时被称为 ZK-ZK-Rollups。最著名的是 @aztecnetwork

13. Circom – 由 @jbaylina 创建的领域特定语言，用于定义可以生成零知识证明的算术电路。https://docs.circom.io

14. Justin Thaler 撰写的《证明、论证与零知识》一书 @SuccinctJT

一本传奇手册，涵盖设计高效、通用 zk 论证的核心方法。因其出色的求和检查协议解释而广为人知。ProofsArgsAndZK.pdf

15. Brecht – @taikoxyz CTO 和 @PrivacyScaling 贡献者
    以关于无信任跨链通信的优雅想法和在 2019 年编写地球上第一个 ZK-Rollup 而闻名。

16. ZK HACK @zkhack – zk 事件、难题、课程、视频、学习俱乐部。

17. 定义战争 – 关于不同 ZK-EVM 之间新鲜出炉的 zk 定义的无尽辩论：https://x.com/_bfarmer/status/1673657984323387392

18. 关于如何书写 zkEVM 或 ZK-EVM 或 Zk-EVM 或 zk-EVM 的无法解决的哲学困境？

19. 拉格朗日插值 – 一种优雅的数学工具，允许根据几个点重构多项式。

所以，这就是首个 ZK 入门包的解锁！现在你准备好进入 ZK 世界并大展拳脚了 🎉