学习zkSnarks需要学习多少计算机科学理论&什么是适合它的好书？

Question

我的背景是一个相当有经验的程序员，他还没有正式学习过Comp科学。我现在在业余时间学习密码作为业余爱好&我想我已经通过自学学到了相当多的东西。

我通过自学学习了初等数、抽象代数&一定数量的代数几何。我在这方面都不擅长，但我想我在这些科目上已经达到了令人满意的业余水平。

我还通过自学获得了对密码散列、RSA、DH、ECDH、配对等的公平理解.现在我试着学习zkSNARK&我被非数学部分的自我研究困住了，比如，Comp科学部分--计算理论，复杂性理论，电路，Arithmetization等等。

我正在寻找自学书籍，这将帮助我学习任何我需要了解的zkSNARKS (&可能是其他类似的东西，如STARKs，PLONKs等)。

我试了几本书

1. Borak & Arora -在“关于这本书”中，他们写这本书也是为了自学，但这绝对不是真的。我完全被第3页或什么东西搞糊涂了，在那里，我不能随随便便地弄清楚他们写的东西的头尾。可能是他们假设了一些先决条件。
2. 贾斯汀泰勒的证明，论点和零知识书。我开始的，但似乎你需要了解计算理论来理解这本书，所以这似乎不合适。
3. Michael的书(计算理论概论)-这似乎是一本非常好的书&也可能适合自学，但它是一本相当大的书&我想知道我是否需要了解整本书？有什么地方我可以跳过&跳到前面吗？

所以，我想知道是否有人能告诉我，为了理解zkSNARK，我需要学些什么&如果有一本比Sipser更适合自学的书&我需要学习的书的哪些部分？我需要学什么&我可以跳过什么？我不会做任何考试，所以我认为我不需要一个端到端的知识，至少开始。

Answer 1

在处理ZKP时，我遇到了计算理论的同样重要性.(顺便说一句，如果你在使用zkSNARK之前还不掌握ZKP，我会从ZKP开始)

关于CT的先决条件，我建议你阅读“普林斯顿数学伙伴”第四.20节“计算复杂性”。只有30页，由Oded Goldreich合著(“密码学基金会”的作者，我发现，如果在自学ZKPs中要求很高的话，它会激励-even )：我认为这个作者是我们(作为业余爱好者)需要阅读CT的“正确数量”才能满足我们对密码的渴望的奖励。