用动物园作比喻，硬核科普zkSync电路工作原理

不少人看了@zkSync新发的动物园科普图文大呼懵圈，把动物园比做电路circuit，把拥有特殊技能的动物视为“逻辑门Gate”，把动物们都开心的合影当成“证明Proof”，这样输入电路的数据在不透露具体内容的前提下，经过一系列复杂计算，生成一个Proof，就完成一次零知识证明过程。