optimistic乐观
零知识证明有很多应用场景,包括 Rollup、桥接和预言机。这导致了 ZK-Rollup、ZK-bridge 和 ZK-oracle 等项目的开发。
Hybrid(混合)和 Optimistic(乐观) 设计最近已应用于 ZKP 技术。 例如,Orbiter Finance 提出了 Optimistic ZK 桥接协议,而 Taiko 提出了一个渐进的混合 Rollup 解决方案。
Optimistic ZK 假设所有状态转换都是正确的,不需要立即的有效性证明。但是它建立了一个预定的挑战窗口,在此期间,任何参与者都可以通过提交有效性证明或欺诈证明来对欺诈活动提出争议。
这种设计降低了 ZKP 项目的总证明成本,同时通过激励去中心化的挑战者监控系统和挑战欺诈行为来确保安全性。
Optimistic ZK 桥接协议Orbiter Finance 是一个比较知名的跨 Rollup 项目。它提出了“Orbiter 跨 Rollup 协议:对顺从的多数持乐观态度,对恶意的少数进行严厉仲裁”。
![](https://p0.ssl.img.360kuai.com/t01de7ca966518afa26.jpg)
Optimistic Rollup 交叉交易流程 (来自 Orbiter Finance)
它定义了一种去中心化、安全、具有成本效益越的跨 Rollup 设计,由 ZKP 技术支持。
![](https://p0.ssl.img.360kuai.com/t0132ba27853715565a.jpg)
Orbiter 的去中心化设计
这样的设计有几个重要的因素需要考虑:
首先,过去的桥接工程经历了多重安全问题,给用户造成了重大损失。中心化也带来了安全隐患。因此,去中心化对桥接至关重要。
其次,需要有一种机制来确保源链/Rollup 和目的链/Rollup 之间事务流程的准确。
此外,必须找到一种具有成本效益的方式来生成这样的证明。与链上默克尔树相比, ZKP 是一个可行的选择,gas 费更少。
特别是,对于跨 Rollup 桥来说,成本是首要考虑的因素,整个设计的目标都是最小化费用。这意味着减少链上交易和尽可能降低每笔链上交易的 gas 量至关重要。
在 Orbiter 的设计中,除了桥接支付方案,还有另一个方案需要 ZKP 。在这个场景中, 一个名为“提交者 ”(submitter)的角色将交叉汇总的交易信息聚合并发送给 L1 ,以确保去中心化的交易商(dealer)获得精准的奖励。
![](https://p0.ssl.img.360kuai.com/t019b87dc79c77288f1.jpg)
Orbiter 的去中心化提交者设计
Orbiter 的协议假设大多数参与者都是不会犯错,并乐观地处理跨 Rollup 事件,以确保及时执行。如果每个跨 Rollup 事务都需要证明,那么整个桥接事务的执行将会很慢。 因此,在没有恶意行为的情况下,不需要生成证明,节省了成本。但是,如果在制造者(maker)或提交者(submitter)检测到恶意行为,挑战者可以生成证明,被质疑的提交者也应该提交证明。
![](https://p0.ssl.img.360kuai.com/t01bbcfd7defa512faa.jpg)
Orbiter Optimistic zk 桥接设计
ZKPool 请求者-证明者分离模型(Requester Prover Separation Model)当涉及到使用 ZKP 技术时,有不同的模式可用:
1. 全 zk:在这种模式下,每次转换需要一个 ZKP。这可以通过像 ZK-bridge(如 Polyhedra)或 ZK-Rollup(如 Scroll)这样的项目来实现。
2. Optimistic zk:在这种模式下,仅在转换受到挑战时需要 ZKP。 Taiko 和 Orbiter 就是这种模式的一个例子。
![](https://p0.ssl.img.360kuai.com/t016dba16e552a198fa.jpg)
全 zk 和 Optimistic zk
在定义抽象模型时,很明显 ZK-bridge 和 ZK-Rollup 有一些相似之处。 具体来说,这种不同体现在 ZKP 请求者和 ZKP 证明者之间的关系,如下图所示。这里, ZKP 请求者引用具有生成 ZKP 需求的模块。
场景如下:
1. 在 ZK-Rollup 项目中:
- 在全 zk 模式下,序列器作为 ZKP 请求器工作。
- 在 Optimistic zk 模式下,挑战者作为 ZKP 请求者。
2. 在 ZK-bridge 项目中:
- 在全 zk 模式下, 制作者(maker)作为 ZKP 请求者。
- 在Optimistic zk 模式下,挑战者作为 ZKP 请求者。
![](https://p0.ssl.img.360kuai.com/t013f1d1419392608d1.jpg)
ZKP 请求者和 ZKP 证明者
如前所述,在 Optimistic型 zk 中,可能并不总是有证明任务。因此,如果将 ZKP 请求者和 ZKP 证明者合并到同一个模块中,证明者可能处于空闲状态,其计算能力可能没有得到充分利用。
如果我们设计一个请求者-证明者分离模型,并使证明者成为一个共享池,我们就可以提高证明者的利用率。当 Optimistic 场景没有受到挑战时,证明者可以从承担其他 ZKP 项目的证明任务。这意味着 ZKPool 在 zk-bridge 项目中发挥着重要作用,特别是在将 Optimistic 与其他结合的情况下。
![](https://p0.ssl.img.360kuai.com/t016c4ee541a36630fe.jpg)
ZKPool 在 ZKP 请求者之间共享 ZKP 证明者的角色
ZKP 请求者-证明者分离模型不仅适用于 Rollup 和桥接,也适用于预言机和所有其他 ZKP 项目。
小结根据所提供的信息,我们可以得出以下结论:
1. ZKP 技术对于 ZKP 项目至关重要,包括 Rollup、桥接、预言机和其他相关项目。
2. ZKPool 允许我们将 ZK-bridge 的创建者/提交者和 ZK-Rollup 的序列器视为相同的角色,统一称为 ZKP 请求者
3. 通过使用 ZKPool 的 ZKP 请求者-证明者分离模型,可以提高证明者的利用率。这种模式还促进了所有 ZKP 项目的去中心化。
","gnid":"905e7fe3a0cf74de0","img_data":[{"flag":2,"img":[{"desc":"","height":"1046","title":"","url":"https://p0.ssl.img.360kuai.com/t01de7ca966518afa26.jpg","width":"1144"},{"desc":"","height":"640","title":"","url":"https://p0.ssl.img.360kuai.com/t0132ba27853715565a.jpg","width":"1168"},{"desc":"","height":"1174","title":"","url":"https://p0.ssl.img.360kuai.com/t019b87dc79c77288f1.jpg","width":"1026"},{"desc":"","height":"714","title":"","url":"https://p0.ssl.img.360kuai.com/t01bbcfd7defa512faa.jpg","width":"1200"},{"desc":"","height":"936","title":"","url":"https://p0.ssl.img.360kuai.com/t016dba16e552a198fa.jpg","width":"1130"},{"desc":"","height":"1190","title":"","url":"https://p0.ssl.img.360kuai.com/t013f1d1419392608d1.jpg","width":"1136"},{"desc":"","height":"728","title":"","url":"https://p0.ssl.img.360kuai.com/t016c4ee541a36630fe.jpg","width":"1154"}]}],"original":0,"pat":"art_src_3,fts0,sts0","powerby":"cache","pub_time":1699001880000,"pure":"","rawurl":"http://zm.news.so.com/e003eb2545cb3278e0ffef9a0bac64c8","redirect":0,"rptid":"83dff7e281087fc2","rss_ext":[],"s":"t","src":"火星财经","tag":[],"title":"详解 ZKP 桥接新方案:将 Optimistic 引入 zk 的“请求者-证明者“分离模型
邓鲁姚1970乐观的 用英语怎么说
姬薛萱19787049353 ______ optimistic
邓鲁姚1970乐观英语 乐观英语怎么说 -
姬薛萱19787049353 ______ 乐观 [词典] optimistic; optimism; sanguine; hopeful; hope for the best; [例句]这不是乐观,这是妄想. This was not optimism, it was delusion.
邓鲁姚1970negative和optimistic的区别 -
姬薛萱19787049353 ______ negative的意思是消极的 optimistic的意思是乐观的 这两个意思有差别啊
邓鲁姚1970“乐观的”怎么说? -
姬薛萱19787049353 ______ optimistic [简明英汉词典] [7Cpti5mistik] adj.乐观的 optimistical [简明英汉词典] [7Cpti5mistikEl] adj.乐观的, 乐天的 affirmative [简明英汉词典] [E5fE:mEtiv] adj.肯定的, (对正式辩论中的问题)表示赞成的, (态度, 方法等)积极的, 乐观的, 怀有希望的 n.肯定语 roseate [简明英汉词典] [5rEuziit] adj.玫瑰色的, 红润的, 容光焕发的, 愉快的, 乐观的
邓鲁姚1970英语翻译1,乐观是一种素质和修养2,乐观的人的生活中会充满阳光3,未来将会有很多困难挫折 -
姬薛萱19787049353 ______[答案] optimistism is a kind of quality. the life of optimistic people will be full of sunshine. there will be a lot of difficulties in the future.
邓鲁姚1970感到乐观的英语短语有哪些? -
姬薛萱19787049353 ______ cheer up, 打起精神,(使)振作起来. keep positive 保持积极乐观的 everything will be well.一切都会好起来 1、cheer 英[tʃɪə(r)] 美[tʃɪr] vt. 欢呼; 使高兴; 为…喝彩; 为…加油; n. 欢呼,喝彩; 兴致勃勃,愉快; 心情; 令人愉快的事...
邓鲁姚1970乐观开朗的心态用英语怎么 说 -
姬薛萱19787049353 ______ 1.active optimism 2.optimistical psychology开朗乐观的心态 1.optimistic mentality持积极乐观的心态 1.o- optimistic attitude 2.o-optimistic attirude以乐观的心态;乐观的计划;持乐观见解 1.express optimistic view积极乐观的心态造就优秀的你 1.positive attitude
邓鲁姚1970be optimistic about是什么意思 -
姬薛萱19787049353 ______ be optimistic/pessimistic about 乐观/悲观 双语对照 例句: 1. Canadian literature: what makes you optimistic/ pessimistic about it? 迈克尔布赖森加拿大文学的什么让你乐观、什么让你悲观?
邓鲁姚1970什么是乐观锁? -
姬薛萱19787049353 ______ hibernate中两种锁机制: 悲观锁,乐观锁. 悲观锁:采用数据库本身的锁机制,for update或no wait 优点:处理并发彻底,并发处理比较好 缺点:当一个用户锁定记录的时候,其它用户都不能使用了,容易造成长时间的等待. 乐观锁:是...
邓鲁姚1970optimism和optimistic用法上的区别? -
姬薛萱19787049353 ______ optimistic是形容词,译为乐观的,乐观主义的 optimism是名词,译为乐观,乐观主义[U] At the airport, he expressed optimism about the talks. 在机场上,他对谈判表示了乐观. He was optimistic about the deal . 他对这件事很乐观