在Scroll,我们正在开放构建zkEVM,并希望将我们正在构建的协议的所有方面保持公开透明。
这篇文章中描述了我们称之为“证明溢出”的问题—?一个由于ZKrollups中执行和证明生成分离而引起的问题。
背景
Scroll的rollup流程大致可以理解为:
1.用户向Scroll的内存池提交交易。
2.排序器(sequencer)节点将一些交易打包到一个区块中。
3.批处理程序(bather)将一些区块打包成一个批次(batch)。
批次的数据被发布或“提交”到以太坊L1
4.证明者获取批次并生成证明。
该证明可以证明该批次中的所有交易均已正确执行。
该证明提交给以太坊L1进行验证。相应的批次被认为是“最终确认的”。
Zeko Labs与O(1) Labs、dcSpark合作推出L2 ZK Rollup生态系统Zeko:7月27日消息,Zeko Labs 与 Mina 开发团队 O(1) Labs 和 dcSpark 合作,推出专门为零知识应用程序(zkApps)设计的 L2 ZK Rollup 生态系统 Zeko,由 Mina Protocol 进行结算,Zeko 将允许开发人员大规模构建具有可编程隐私性的去中心化应用程序。[2023/7/27 16:01:25]
我们在Alpha测试网中遇到的一个问题是无法证明某些批次。愿意是它们“太大”而无法放入我们的zkEVM电路中。
人们可以认为zkEVM电路由许多子电路组成,比如n个子电路,它们通过查找表互连。每个子电路用于约束特定的操作——例如,Keccak电路计算Keccak哈希,求幂电路计算求幂。我们的zkEVM电路设计中当前限制是每个子电路必须具有相同的行数,比如m行。
zk Bored Apes项目Discord服务器已被入侵:金色财经报道,据CertiK监测,zk Bored Apes项目Discord服务器已被入侵,黑客发布了网络钓鱼链接。在团队确认他们已经恢复服务器的控制权之前,请勿点击任何链接。[2023/3/6 12:44:36]
根据每个子电路中消耗的行数,每个所传入的交易都具有唯一的配置文件。例如,可能有一个交易需要许多Keccak操作,因此在Keccak电路中占用许多行,而在求幂电路中不占用任何行。相反,可能有一个交易在Keccak电路中占用很少的行,而在求幂电路中占用很多行。
由于批次由区块组成,而区块由交易组成,因此批次的行消耗配置文件由组成它的交易所决定。如果一个批次的行消耗超过最大行数m,则该批次将无法证明。当一个批次无法证明时,它无法在L1上最终确认,任何后续的批次也无法证明。
值得注意的是,即使只包含单个交易的批次也可能会溢出电路。
ZK Rollup订单簿式DEX ZigZag将于6月24日开启ID0:6月21日消息,据官方消息,ZK Rollup订单簿式DEX ZigZag将于6月24日23时在自身DEX上开启ID0,第一轮公开发售将允许用户在早期阶段成为DAO的一部分,拥有对Token用例的投票权,同时决定空投的详细信息。
ZigZag总量共计1亿枚,本次ID0供应量为200万枚,仅支持USDC支付。目前,由于基础设施限制,ZigZag将仅在zkSync上提供现货交易。在zkSync2.0和StarkNet发布后,将引入杠杆交易和无需许可上市的永续合约。
金色财经此前报道,6月20日,ZK Rollup订单簿式DEX ZigZag疑似已在以太坊上部署Token ZZ的智能合约,总量1亿枚。[2022/6/21 4:41:02]
要解决“证明溢出”问题需要解决以下问题:如何防止创建超出电路容量的批次?
以太坊ZK Rollup扩容方案Hermez Network正式上线:3月24日消息,以太坊ZK Rollup扩容方案Hermez Network正式上线。这意味着Hermez的主网已经启动,用户现在可以以更低的Gas成本转账。Hermez的技术主管Jordi Baylina表示,用户可以因此节省大约90%的Gas成本。目前每笔交易的平均Gas费约为16美元,如果能节省90%的费用,每笔交易的成本将降至1.5美元。(Theblockcrypto)[2021/3/24 19:14:17]
长期解决方案
问题源于我们电路架构的局限性:所有子电路都必须有一些预先确定的、固定数量的行。我们正在研究重新设计我们的架构,以便可以独立地动态调整子电路的大小——每个子电路的大小都可以根据批次证明的要求放大或缩小。例如,如果一个批次在Keccak电路中需要2^20行,但在求幂电路中只需要2^14行,则子电路可以独立缩放。
V神:ZK rollups是目前为止最好的解决方案:推特网友Toast Of Crypto提问称,为什么要推动或强迫人们远离理想的Layer 2扩容协议?以太坊创始人V神对此回复称,因为ZK rollups是最好的解决方案,直到今年晚些时候与EVM兼容的Optimistic rollups出现,eth2将花费更长的时间。(注:ZK rollups是一种混合扩展方法,通过智能合约和零知识方法将链上安全性和第二层网络结合在一起。)[2020/7/28]
这种类型的动态设计带来了挑战,我们正在努力解决这些问题。然而,与此同时,我们需要解决固定尺寸电路的问题。
当前解决方案
1.根据最坏情况下的操作码设置区块Gas限制
这里的想法是根据最坏情况下的操作码来设置区块的Gas限制。换句话说,设置区块Gas限制,即使它被最昂贵的操作码填满,该区块仍然可以适配我们的电路。这保证了任何区块都无法填满电路。
优点:简单
缺点
非常低效
分析表明,最昂贵的操作码(SHA)的证明行与EVMGas之间的比率约为11倍。
每个额外的Keccak字节占用约2.2行,同时消耗约6/32EVMgas。对于m=2^20,我们可以容纳大约2^20/2.2个Keccak字节。这对应于(2^20/2.2)*(6/32)~=89,000gas的最大区块限制。太小!!
2.Gas重新定价?
我们可以修改操作码到Gas的映射表来反映证明成本,而不是执行成本。这将涉及从每个操作码与它在所有子电路中占用的最大行数的静态映射,然后修改我们的Geth分支以使用这个新的Gas定价。
优点:
证明溢出问题在执行层被处理为“OutofGas”错误
缺点
可能会破坏依赖于正常EVMGas定价的合约。
很难以编程方式将操作码映射到行消耗。
这个映射应该是可编程的,因为zkEVM的电路库会随着时间的推移而改变,也因为手工分析容易出错,这里稍有错误就会导致溢出漏洞
需要保持L2GethGas定价和zkEVM电路库之间的同步-不同步将导致漏洞
3.引入额外的“ProofGas”计量
除了正常的EVMGas之外,我们还可以有一个单独的概念“Proof?Gas”。Proof?Gas将用于量化交易在我们的电路中消耗的空间。请注意,这种“Proof?Gas”应该是多维的——因为不同的操作码在不同的电路中占据不同的行。
一旦引入“Proof?Gas”计量的概念,就会出现在哪个级别约束它的问题。
3a.在执行层约束ProofGas
此解决方案与解决方案2类似,不同之处在于它保留了EVMGas和ProofGas的概念。这将再次涉及将每个操作码静态映射到它在每个电路中占用的行数,然后修改L2Geth以添加这种ProofGas的概念。如果特定交易超过了ProofGas限制,则交易将撤销并出现一些自定义的“outofproofgas”的错误。这将确保没有区块可以超过行约束,因为执行层将在此之前停止交易。
优点:
证明溢出问题在执行层被处理为“outofproofgas”错误
缺点
难以生成从操作码到行消耗的静态映射
需要保持L2Geth和zkEVM电路库之间的同步
需要对L2Geth和zkEVM电路库中的逻辑进行重大更改,以支持额外的ProofGas概念
3b.在执行层之外约束ProofGas
我们可以从zkEVM电路库中公开API来报告给定执行踪迹所需的行数,而不是生成操作码到电路行的静态映射。L2Geth可以生成区块的执行踪迹,然后查询电路行消耗——如果超过最大行数,则不会创建区块。
优点:
无需以编程方式将操作码映射到行消耗所需的复杂性。
缺点:
当必须构造一个区块时,L2Geth会增加一些计算开销,因为它需要进行额外的计算来估计电路行消耗。
使强制包含变得复杂。
强制包含是一种机制,用户可以直接通过L1提交L2交易。这些交易被“强制”包含在L2链中,作为一种抗审查机制。
我们无法将交易映射到它在L1上消耗的电路行数,因此无法判断它是否可证明
结语:
似乎解决方案3b是最简单且风险最小,也是可行的解决方案。
伴随这种方案的主要挑战是如何处理强制交易,因为可能存在太大而无法放入电路中的强制交易。这里的一个想法是使用解决方案1中的想法来限制强制交易的Gas限制,这样即使在最坏的情况下,强制交易也不会溢出电路。
从长远来看,我们的目标是开发一个更灵活的证明系统,支持动态大小的子电路,从而完全避免这个问题。
防作恶 MEV 协议 Shutter Network 获得 236 万美元捐赠:6月27日消息.
1900/1/1 0:00:00BTC?概念的加密货币有哪些?或许你脑海里最先浮现出来的是基于?BTC?生态分叉出来的衍生币,比如?BTD、BTK、BTF等等……这个说法在今年以前不算错.
1900/1/1 0:00:00不满足于跟ChatGPT聊天,技术狂人开始为对话机器人创造“楚门的世界”,从上帝视角围观AI如何“吃饭”、社交、谈恋爱......最近,一位神秘人创建了一个AI社交网站Chirper.
1900/1/1 0:00:00跑步赋予女性活力,运动赋予女性魅力。伴随“丽人18”女子半程马拉松的临近,iBox链盒与王者传奇体育文化有限公司,共同携手推出《2023“丽人18”》系列数字藏品,用数字技术呈现女性之美.
1900/1/1 0:00:00AI板块相关标的,不论是A股、美股还是Crypto,都迎来了暴涨。之后的时间里,随着ChatGPT被广泛使用,人们意识到其对整个世界的影响,不断有新的ChatGPT应用场景,以及同类型的产品迭代.
1900/1/1 0:00:00来源:锌刻度,作者|陈邓新,编辑|高智 图片来源:由无界AI工具生成AI,成为游戏的重要一环。当AIGC大潮起,各行各业都面临竞争力重塑,游戏行业也不例外,大大小小的游戏企业纷纷加码,渴望抢占技.
1900/1/1 0:00:00