Vitalik Buterin小神童发布文章，Quadratic Arithmetic Programs: from Zero to Hero讲述Zcash和Bitshares使用的零知识验证程序是怎么工作的。
zk-SNARKs are indeed quite challenging to grasp, especially due to the sheer number of moving parts that need to come together for the whole thing to work, but if we break the technology down piece by piece then comprehending it becomes simpler.
要zk-SNARKs是相当具有挑战性的。特别是有些动作需要整体协作。如果我们将其分解成多个小块，那就好理解了。
The purpose of this post is not to serve as a full introduction to zk-SNARKs; it assumes as background knowledge that (i) you know what zk-SNARKs are and what they do, and (ii) know enough math to be able to reason about things like polynomials (if the statementP(x) + Q(x) = (P + Q)(x) , where P and Q are polynomials, seems natural and obvious to you, then you’re at the right level). Rather, the post digs deeper into the machinery behind the technology, and tries to explain as well as possible the first half of the pipeline, as drawn by zk-SNARK researcher Eran Tromer here:
这篇文章的目的不是全面解读zk-SNARKs；假定作为背景知识，你知道zk-SNARKs是什么，干什么用，并且有足够的数学知识，了解多项式（statementp（x）+ Q（x）=（P + Q）（x），其中p和q是多项式的）。你就可以明白，这篇文章的目的是挖掘技术后面的运行机制，试图解释zk-SNARK研究员Eran Tromer 总结的“上半段管道”：
后面内容，等zcash社区的高手翻译吧......