翻译说明

Thanks for halo2 Book team's clear explanation about halo2 design and protocol. It's really wonderful :)

halo2 Book清晰系统地讲解了halo2零知识证明的原理:电路算术表示,查找证明,置换证明以及整个协议的形式化表示。同时该文档也讲解零知识证明基础原理,是入门PLONK系零知识证明的极佳入门材料。

在查看halo2实现代码的基础上,对照halo2 Book设计,总结出halo2 Book对应的中文翻译。国内零知识证明技术相关的正规教程/教材比较少,有些术语并没有合适或者统一的翻译。针对用到的术语,整理了一个术语表。有些术语实在无法精准翻译,直接用英文代替。此翻译对应的halo2 Book的最后一个提交信息如下:

658c2db4217b1b19b17ecd29577c0e370e1c4997

halo2 Book的翻译以严格准守原文本意为原则,但是水平有限,有翻译不妥的地方,欢迎更多的小伙伴指正。最后感谢参与翻译和校对的小伙伴们。

Github: Halo2 Book (Chinese)