看过@zkSync的动物园科普图文没？看完我头都大了！他居然把动物园当电路，动物的特殊本事叫“逻辑门”，还有“证据”就是说我们开心合影。说起来像是要用各种复杂算式造出个“Proof”，最后还得做完这个零知识证明过程。大家明白不？
说白了，动物园就像是个“电路”，由一大堆“逻辑门”组成。“逻辑门”是一些规定好的规则，比如加减乘除之类的算式。要把数据变成能运算的形式，就得先换成这些算式。实在不行，还得换个编码方式处理。同时也得保证所有数据都能用一样的格式，才能在 layered 2 的环境里畅通无阻地运算。
动物园里的每种动物都能变成电子电路中的某一部分。比如木头箱子能表示那些不公开显示的数字——这就是我们经常听到的“变量”。而斑马就能判断两种数是否相等。但只有它们算出来的答案相同，斑马才会玩得高兴！接着，把各种动物加进木箱子组成的组合中，就能构成真正的电路了。就拿想要算出一个公式2x+3=Y来说，x是木头箱子，Y则是石头，你得用两个木箱子、还有毛毛虫、斑马之类的动物一起努力，之后再来确定这个公式到底对不对。
刚咱们算出个公式，是说2x+3=Y，这样斑马和毛毛虫这些就开心了。那俺们得递交一个证据证明这个方程真对，就像电路的建造家，不过这次他引入了一只特殊的动物，叫ZEEK，它能看到大家开不开心，就跟电路里的校验码类似。那ZEKE检测完大家的情绪后，和我们算这个题干是一样的道理，如果大家都开心，那我们就能通过检验，验证过关，然后这证明就可以传送到主网上，最后确认无误！
确实呐，动物园那么多小动物，要检查也太难了。Zeek可不是随便就能搞定的！所以他得看看自己的状态是否愉快，这就叫递归证明。这样的话，动物园里的动物们也就不会突然全都不舒服或者不顺着规定做事。像这种情况，多多少少总会有些漏洞出来。
所以咧，动物园就像个超复杂的电路系统，通过各种聪明伶俐的动物兄弟姐妹们共同协作，完成各种算数任务。在这个过程里，还得核对检查以保证答案没问题，真的好神奇你们是不是也被惊艳到了？读完这篇小知识，我都大开眼界！没想到动物园还有这么有点深度的事情。有没有激发你们的好奇心呀？赶紧来留言，点赞分享~
评论0