@zkSync的动物园科普图文引起了不少人的兴趣，将动物园比喻为电路，将具有特殊技能的动物视为“逻辑门”，将动物们愉快合影视为“证明”，这一过程类似于输入电路的数据通过复杂计算生成Proof，完成零知识证明过程。摘要：来，我试着硬核科普一下：1）动物园对应的是“电路”，电路其实是一系列逻辑门约束（加、减、乘、除等公式）的聚合，相当于所有动物们能力的一次集中表现，它也是构成计算机的基本元素。3）假设刚才输入的公式2x3=Y成立了，相当于斑马毛毛虫等动物都开心了，然后就会为该公式生成一个“Proof”，需要有一个角色能识别这个Proof是否准确才行。...
1）动物园对应电路，是逻辑门约束的聚合，是计算机的基本元素。因此，传入电路的数据可被套进不同公式进行运算。在layer2环境中，交易哈希值、账户、数据余额等数据可转变成公式进行计算，或需进行编码转化。不同的动物代表不同的加减乘除运算公式，动物们的开心或伤心代表公式运算的结构。
2）更深入地阐述了不同动物在电路中的作用，以及它们代表的不同逻辑门。动物们组合起来构建复杂电路。
3）介绍了为生成Proof的过程，需要能识别Proof是否准确的Verifier。这一过程类似动物园管理员模拟一个特别的动物Zeek来验证动物们的开心状态，类似于Prover系统的验证过程。动物们开心合照才会生成Proof，最终被上链确定。
4）将拍照的过程比作生成SNARK证明或KZG承诺的过程，而打印的底片则相当于STARK\SNARK证明本身。动物园的游客是进入的Transaction交易，只有动物开心合照才会生成Proof，最终被上链确定。
通过这个动物园的形象例子，能更深入理解zkSync背后的零知识证明算法全过程。这样的科普方式十分巧妙。
