硬核科普:以动物园为例,剖析 zkSync 电路工作原理
作者:Haotian
不少人看了@zkSync 新发的动物园科普图文大呼懵圈,把动物园比做电路 circuit,把拥有特殊技能的动物视为「逻辑门 Gate」,把动物们都开心的合影当成「证明 Proof」,这样输入电路的数据在不透露具体内容的前提下,经过一系列复杂计算,生成一个 Proof,就完成一次零知识证明过程。来,我试着硬核科普一下:
1)动物园对应的是「电路」,电路其实是一系列逻辑门约束(加、减、乘、除等公式)的聚合,相当于所有动物们能力的一次集中表现,它也是构成计算机的基本元素。因此传入电路的「数据」一定可被套进各种公式内被执行运算。
在layer2网络中,存储的数据通常是交易哈希值、账户信息和数据余额等。这些数据可以通过转化为公式来进行计算,在电路执行处理之前,必须确保数据能够被公式化。如果数据无法直接转化为公式,则需要进行其他编码转换,以便原始数据可以被处理和计算。这种数据处理的前提是确保数据格式的兼容性,使得在layer2环境中能够顺利进行数据操作和计算。因此,对数据进行适当的编码和转换是确保系统正常运行和数据处理有效性的关键步骤。
在动物园模式中,各种动物对应电路中的逻辑门有特定的象征:木箱代表着不公开显示的数字,也就是所谓的「变量」;玻璃箱则象征着公开展示的数字,作为「公开输入」;而石头则代表那些不可移动的数字,被视为「常数」。这种类比的设定使得逻辑门与动物之间建立了一种奇妙的关联,为电路的理解和学习增添了趣味性和视觉形象。
斑马具有比较两个数是否「相等」的能力,结果相等斑马就开心;鳄鱼则表示「小于」,只有右边的数小于左边的数,鳄鱼才会开心;蜘蛛代表更复杂的多选择门,输入 0 则返回一定是 true,输入 1 则返回是 false;此外还可以让河狸表示除法、松鼠指代百分比;毛毛虫代表加法等等。不同的动物代表不同的加减乘除运算公式,动物们开心或伤心代表公式运算的结构。
很多个动物 + 不同种类的箱子组合起来就是一个电路,比如:要计算一个公式 2 x + 3 = Y,x 代表木箱,Y 代表石头,2 个木箱 和毛毛虫、斑马等前来工作,最后来验证该公式是否成立。注意,不用纠结为啥不同动物具备不同能力,这就是电路元素工作基础原理,是计算机执行计算的基本规则。
一个复杂电路就是形形色色的动物(逻辑门)和箱子(规则)共同构建。
3)假设刚才输入的公式 2x+3 =Y 成立了,相当于斑马 毛毛虫等动物都开心了,然后就会为该公式生成一个「Proof」,需要有一个角色能识别这个 Proof 是否准确才行。因此,为了确保证明的可信性,动物园管理员即电路的构建者,模拟了一个特别的动物叫 Zeek,Zeek 能看出其他动物是否开心,在 layer2 系统中相当于 Verifier。
Zeek 观察动物是否开心的过程其实就是 Prover 系统的验证过程,都开心了则验证通过,Proof 证明才会真正通过上传到主网,并最终确认。当然,动物园成千上万的动物,产生大量证明,Zeek 不可能挨个看,因此 Zeek 也可以观察千千万万个 Zeek 自己的分身状态是否开心,这个过程就叫 Recursive Proof 递归证明。
4)拍照的过程相当于生成 SNARK 证明或 KZG 承诺的过程,而打印的底片则相当于 STARKSNARK 证明本身,动物园的游客相当于一个个进入的 Transaction 交易,只有动物开心合照才会完成并生成 Proof 证明,最终游客拿着照片出了动物园留底证明才能被上链最终确定。
一个动物园有很多动物,不可能同时都开心并按照预定规则工作,有很多逻辑门,也难免会出现掉线等情况。这样就会出现一些,拥堵卡顿以及报错的情况,因此会产生无效的状态转化,Under- Constrained,也就无法通过最终的验证。
以上是硬核科普:以动物园为例,剖析 zkSync 电路工作原理的详细内容。更多信息请关注PHP中文网其他相关文章!

热AI工具

Undresser.AI Undress
人工智能驱动的应用程序,用于创建逼真的裸体照片

AI Clothes Remover
用于从照片中去除衣服的在线人工智能工具。

Undress AI Tool
免费脱衣服图片

Clothoff.io
AI脱衣机

AI Hentai Generator
免费生成ai无尽的。

热门文章

热工具

记事本++7.3.1
好用且免费的代码编辑器

SublimeText3汉化版
中文版,非常好用

禅工作室 13.0.1
功能强大的PHP集成开发环境

Dreamweaver CS6
视觉化网页开发工具

SublimeText3 Mac版
神级代码编辑软件(SublimeText3)

热门话题

随着互联网的发展,MySQL作为一种开源的关系型数据库管理系统,在各类应用中都有广泛应用。其中一个重要的安全问题就是MySQL用户密码的加密和存储。那么,MySQL密码加密的方法都有哪些呢?本文将为大家深入剖析。MySQL密码的存储方式在了解MySQL密码加密方法之前,先来了解一下MySQL密码的存储方式。MySQL在版本5.7以前,采用的是单向哈希算法(S

深入剖析pip协议的意义,需要具体代码示例引言:在Python的世界里,pip(即pipinstall)是我们安装和管理第三方库的首选方式。它是Python包管理工具,以其简洁高效、易用便捷的特点,在开发过程中得到了广泛的应用。本文将深入剖析pip协议的意义,通过具体的代码示例,展示pip的重要作用和使用方法,帮助读者更好地理解和运用pip。一、pip协议

不少人看了@zkSync新发的动物园科普图文大呼懵圈,把动物园比做电路circuit,把拥有特殊技能的动物视为“逻辑门Gate”,把动物们都开心的合影当成“证明Proof”,这样输入电路的数据在不透露具体内容的前提下,经过一系列复杂计算,生成一个Proof,就完成一次零知识证明过程。来,我试着硬核科普一下:1)动物园对应的是“电路”,电路其实是一系列逻辑门约束(加、减、乘、除等公式)的聚合,相当于所有动物们能力的一次集中表现,它也是构成计算机的基本元素。因此传入电路的“数据”一定可被套进各种公式

标题:深度剖析织梦CMS的安全性能,需要具体代码示例织梦CMS(DedeCMS)是一款非常受欢迎的内容管理系统,广泛应用于各种网站类型。然而,随着网络安全问题日益突出,网站安全性成为用户和开发者们关注的焦点之一。本文将对织梦CMS的安全性能进行深度剖析,探讨其存在的安全风险并给出具体的代码示例来提高网站的安全性。一、SQL注入攻击SQL注入是常见的网络攻击手

10月16日消息,随着国内汽车行业竞争日益激烈,各车企为了在市场中脱颖而出,开始在车型命名上下足功夫。在长城汽车的“狗系列”、“猫系列”以及“龙系列”之后,奇瑞汽车也加入了这一行列,似乎要打造自己的“动物园”。据小编了解,近日,奇瑞汽车股份有限公司申请注册了一系列与猛兽相关的商标,包括“华北豹”、“爪哇虎”、“巴厘虎”、“奇瑞金虎”以及“西非狮”。这些商标的国际分类均为运输工具,目前商标状态为等待实质审查。奇瑞似乎对猛兽命名有一定的偏好,而考虑到奇瑞汽车的经典车型奇瑞瑞虎,有可能暗示着奇瑞未来计

作者:Haotian不少人看了@zkSync新发的动物园科普图文大呼懵圈,把动物园比做电路circuit,把拥有特殊技能的动物视为「逻辑门Gate」,把动物们都开心的合影当成「证明Proof」,这样输入电路的数据在不透露具体内容的前提下,经过一系列复杂计算,生成一个Proof,就完成一次零知识证明过程。来,我试着硬核科普一下:1)动物园对应的是「电路」,电路其实是一系列逻辑门约束(加、减、乘、除等公式)的聚合,相当于所有动物们能力的一次集中表现,它也是构成计算机的基本元素。因此传入电路的「数据」

在C++函数中,函数内存销毁的复杂性源自以下因素:指针管理、动态数组、对象销毁、引用循环。为了避免内存泄漏,请使用智能指针、明确释放内存、小心处理引用循环。

深入解析jQuery基本选择器:全面剖析!jQuery是一款非常流行的JavaScript库,它简化了在网页中操作DOM元素和执行事件处理的过程。在使用jQuery的过程中,最常用到的就是选择器。选择器可以帮助我们快速准确地定位到需要操作的元素,从而实现各种功能。本文将深入解析jQuery的基本选择器,为读者全面剖析它们的用法和示例。1.ID