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":"pika","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 的“请求者-证明者“分离模型
黎屈桑3277negative和optimistic的区别 -
谭垄琴15595327247 ______ negative的意思是消极的 optimistic的意思是乐观的 这两个意思有差别啊
黎屈桑3277optimistic的近义词是positive吗 -
谭垄琴15595327247 ______ optimistic的意思是开朗的,乐观的,积极的(指性格} positive是指事或物积极的一面,正面的(与负面的相对),有支持的含义
黎屈桑3277乐观用英语怎么说 -
谭垄琴15595327247 ______ 你好!乐观 optimistic
黎屈桑3277请问optimistic用中文怎么读,要谐音的那种,谢谢 -
谭垄琴15595327247 ______ 奥坡踢米斯踢克 重音放在米上
黎屈桑3277乐观英语 乐观英语怎么说 -
谭垄琴15595327247 ______ 乐观 [词典] optimistic; optimism; sanguine; hopeful; hope for the best; [例句]这不是乐观,这是妄想. This was not optimism, it was delusion.
黎屈桑3277悲观的英文,悲观的翻译,怎么用英语翻译悲观,悲观用 -
谭垄琴15595327247 ______ 悲观 bēi guān pessimistic:悲观情绪 pessimism 持悲观看法 take a pessimistic view; take a gloomy view (根本)没有理由对未来悲观. (There is) no reason to be pessimistic about the future.
黎屈桑3277乐观的英语翻译 乐观用英语怎么说 -
谭垄琴15595327247 ______ 你好! 乐观 optimistic 英[ˌɒptɪˈmɪstɪk] 美[ˌɑ:ptɪˈmɪstɪk] adj. 乐观的,乐观主义的; [例句]Michael was in a jovial and optimistic mood. 迈克尔情绪愉快乐观.
黎屈桑3277乐观的英文翻译 -
谭垄琴15595327247 ______ optimistic这是形容词哦
黎屈桑3277Beautiful Forever和Memory Optimistic和love is forever各是什么意思? -
谭垄琴15595327247 ______ Beautiful Forever:永远美丽(驻颜) Memory Optimistic:内心乐观 love is forever:爱是永恒的 希望能帮到你,要是答案还满意的话,记得采纳哦,O(∩_∩)O谢谢~!
黎屈桑3277坚强自信用日语怎么翻译呢 -
谭垄琴15595327247 ______ 坚强自信根性强い、自信たっぷり=こんじょうづよい、じしんたっぷり请参考