今日实时汇率
持有
美元 USD 人民币 CNY 欧元 EUR 英镑 GBP 澳元 AUD 加元 CAD 日元 JPY 港币 HKD 印度卢比 INR 澳门元 MOP 韩元 KRW 墨西哥比索 MXN 阿联酋迪拉姆 AED 阿富汗尼 AFN 阿尔巴尼列克 ALL 亚美尼亚德拉姆 AMD 荷兰盾 ANG 安哥拉宽扎 AOA 阿根廷比索 ARS 阿鲁巴弗罗林 AWG 阿塞拜疆马纳特 AZN 波黑可兑换马克 BAM 巴巴多斯元 BBD 孟加拉国塔卡 BDT 保加利亚列弗 BGN 巴林第纳尔 BHD 布隆迪法郎 BIF 百慕达元 BMD 文莱元 BND 玻利维亚诺 BOB 巴西雷亚尔 BRL 巴哈马元 BSD 不丹努尔特鲁姆 BTN 博茨瓦纳普拉 BWP 白俄罗斯卢布 BYN 伯利兹元 BZD 刚果法郎 CDF 瑞士法郎 CHF 智利比索 CLP 哥伦比亚比索 COP 哥斯达黎加科朗 CRC 古巴比索 CUP 佛得角埃斯库多 CVE 捷克克朗 CZK 吉布提法郎 DJF 丹麦克朗 DKK 多米尼加比索 DOP 阿尔及利亚第纳尔 DZD 埃及镑 EGP 厄立特里亚纳克法 ERN 埃塞俄比亚比尔 ETB 斐济元 FJD 福克兰镑 FKP FOK募集币 FOK 格鲁吉亚拉里 GEL 格恩西岛磅 GGP 加纳塞地 GHS 直布罗陀镑 GIP 冈比亚达拉西 GMD 几内亚法郎 GNF 危地马拉格查尔 GTQ 圭亚那元 GYD 洪都拉斯伦皮拉 HNL 克罗地亚库纳 HRK 海地古德 HTG 匈牙利福林 HUF 印度尼西亚卢比 IDR 以色列新谢克尔 ILS 马恩磅 IMP 伊拉克第纳尔 IQD 伊朗里亚尔 IRR 冰岛克郎 ISK 新泽西岛磅 JEP 牙买加元 JMD 约旦第纳尔 JOD 肯尼亚先令 KES 吉尔吉斯斯坦索姆 KGS 柬埔寨瑞尔 KHR 基里巴斯 KID 科摩罗法郎 KMF 科威特第纳尔 KWD 开曼群岛元 KYD 哈萨克斯坦坚戈 KZT 老挝基普 LAK 黎巴嫩镑 LBP 斯里兰卡卢比 LKR 利比里亚元 LRD 莱索托洛蒂 LSL 利比亚第纳尔 LYD 摩洛哥迪拉姆 MAD 摩尔多瓦列伊 MDL 马达加斯加阿里亚里 MGA 马其顿代纳尔 MKD 缅甸元 MMK 蒙古货币 MNT 毛塔币 MRU 毛里求斯卢比 MUR 马尔代夫拉菲亚 MVR 马拉维克瓦查 MWK 林吉特 MYR 莫桑比克新梅蒂卡尔 MZN 纳米比亚元 NAD 尼日利亚奈拉 NGN 尼加拉瓜新科多巴 NIO 挪威克朗 NOK 尼泊尔卢比 NPR 新西兰元 NZD 阿曼里亚尔 OMR 巴拿马巴波亚 PAB 秘鲁新索尔 PEN 巴布亚新几内亚基那 PGK 菲律宾比索 PHP 巴基斯坦卢比 PKR 波兰兹罗提 PLN 巴拉圭瓜拉尼 PYG 卡塔尔里亚尔 QAR 罗马尼亚列伊 RON 塞尔维亚第纳尔 RSD 俄罗斯卢布 RUB 卢旺达法郎 RWF 沙特里亚尔 SAR 所罗门群岛元 SBD 塞舌尔卢比 SCR 苏丹镑 SDG 瑞典克朗 SEK 新加坡元 SGD 圣赫勒拿镑 SHP 英镑SLE SLE 塞拉利昂利昂 SLL 索马里先令 SOS 苏里南元 SRD 南苏丹币 SSP 圣多美多布拉 STN 叙利亚镑 SYP 斯威士兰里兰吉尼 SZL 泰铢 THB 塔吉克斯坦索莫尼 TJS 土库曼斯坦马纳特 TMT 突尼斯第纳尔 TND 汤加潘加 TOP 土耳其里拉 TRY 特立尼达多巴哥元 TTD 图瓦卢元 TVD 新台币 TWD 坦桑尼亚先令 TZS 乌克兰格里夫纳 UAH 乌干达先令 UGX 乌拉圭比索 UYU 乌兹别克斯坦苏姆 UZS 委内瑞拉玻利瓦尔 VES 越南盾 VND 瓦努阿图瓦图 VUV 萨摩亚塔拉 WST 中非法郎 XAF 东加勒比元 XCD 特别提款权 XDR 西非法郎 XOF 太平洋法郎 XPF 也门里亚尔 YER 南非兰特 ZAR 赞比亚克瓦查 ZMW 津巴布韦币 ZWL
交换
兑换
美元 USD 人民币 CNY 欧元 EUR 英镑 GBP 澳元 AUD 加元 CAD 日元 JPY 港币 HKD 印度卢比 INR 澳门元 MOP 韩元 KRW 墨西哥比索 MXN 阿联酋迪拉姆 AED 阿富汗尼 AFN 阿尔巴尼列克 ALL 亚美尼亚德拉姆 AMD 荷兰盾 ANG 安哥拉宽扎 AOA 阿根廷比索 ARS 阿鲁巴弗罗林 AWG 阿塞拜疆马纳特 AZN 波黑可兑换马克 BAM 巴巴多斯元 BBD 孟加拉国塔卡 BDT 保加利亚列弗 BGN 巴林第纳尔 BHD 布隆迪法郎 BIF 百慕达元 BMD 文莱元 BND 玻利维亚诺 BOB 巴西雷亚尔 BRL 巴哈马元 BSD 不丹努尔特鲁姆 BTN 博茨瓦纳普拉 BWP 白俄罗斯卢布 BYN 伯利兹元 BZD 刚果法郎 CDF 瑞士法郎 CHF 智利比索 CLP 哥伦比亚比索 COP 哥斯达黎加科朗 CRC 古巴比索 CUP 佛得角埃斯库多 CVE 捷克克朗 CZK 吉布提法郎 DJF 丹麦克朗 DKK 多米尼加比索 DOP 阿尔及利亚第纳尔 DZD 埃及镑 EGP 厄立特里亚纳克法 ERN 埃塞俄比亚比尔 ETB 斐济元 FJD 福克兰镑 FKP FOK募集币 FOK 格鲁吉亚拉里 GEL 格恩西岛磅 GGP 加纳塞地 GHS 直布罗陀镑 GIP 冈比亚达拉西 GMD 几内亚法郎 GNF 危地马拉格查尔 GTQ 圭亚那元 GYD 洪都拉斯伦皮拉 HNL 克罗地亚库纳 HRK 海地古德 HTG 匈牙利福林 HUF 印度尼西亚卢比 IDR 以色列新谢克尔 ILS 马恩磅 IMP 伊拉克第纳尔 IQD 伊朗里亚尔 IRR 冰岛克郎 ISK 新泽西岛磅 JEP 牙买加元 JMD 约旦第纳尔 JOD 肯尼亚先令 KES 吉尔吉斯斯坦索姆 KGS 柬埔寨瑞尔 KHR 基里巴斯 KID 科摩罗法郎 KMF 科威特第纳尔 KWD 开曼群岛元 KYD 哈萨克斯坦坚戈 KZT 老挝基普 LAK 黎巴嫩镑 LBP 斯里兰卡卢比 LKR 利比里亚元 LRD 莱索托洛蒂 LSL 利比亚第纳尔 LYD 摩洛哥迪拉姆 MAD 摩尔多瓦列伊 MDL 马达加斯加阿里亚里 MGA 马其顿代纳尔 MKD 缅甸元 MMK 蒙古货币 MNT 毛塔币 MRU 毛里求斯卢比 MUR 马尔代夫拉菲亚 MVR 马拉维克瓦查 MWK 林吉特 MYR 莫桑比克新梅蒂卡尔 MZN 纳米比亚元 NAD 尼日利亚奈拉 NGN 尼加拉瓜新科多巴 NIO 挪威克朗 NOK 尼泊尔卢比 NPR 新西兰元 NZD 阿曼里亚尔 OMR 巴拿马巴波亚 PAB 秘鲁新索尔 PEN 巴布亚新几内亚基那 PGK 菲律宾比索 PHP 巴基斯坦卢比 PKR 波兰兹罗提 PLN 巴拉圭瓜拉尼 PYG 卡塔尔里亚尔 QAR 罗马尼亚列伊 RON 塞尔维亚第纳尔 RSD 俄罗斯卢布 RUB 卢旺达法郎 RWF 沙特里亚尔 SAR 所罗门群岛元 SBD 塞舌尔卢比 SCR 苏丹镑 SDG 瑞典克朗 SEK 新加坡元 SGD 圣赫勒拿镑 SHP 英镑SLE SLE 塞拉利昂利昂 SLL 索马里先令 SOS 苏里南元 SRD 南苏丹币 SSP 圣多美多布拉 STN 叙利亚镑 SYP 斯威士兰里兰吉尼 SZL 泰铢 THB 塔吉克斯坦索莫尼 TJS 土库曼斯坦马纳特 TMT 突尼斯第纳尔 TND 汤加潘加 TOP 土耳其里拉 TRY 特立尼达多巴哥元 TTD 图瓦卢元 TVD 新台币 TWD 坦桑尼亚先令 TZS 乌克兰格里夫纳 UAH 乌干达先令 UGX 乌拉圭比索 UYU 乌兹别克斯坦苏姆 UZS 委内瑞拉玻利瓦尔 VES 越南盾 VND 瓦努阿图瓦图 VUV 萨摩亚塔拉 WST 中非法郎 XAF 东加勒比元 XCD 特别提款权 XDR 西非法郎 XOF 太平洋法郎 XPF 也门里亚尔 YER 南非兰特 ZAR 赞比亚克瓦查 ZMW 津巴布韦币 ZWL
1 美元(USD)=
7.178 人民币(CNY)
反向汇率:1 CNY = 0.1393 USD
更新时间:2025-07-11 03:00:01
立即换算
在 Scroll,我们正在开放构建zkEVM,并希望将我们正在构建的协议的所有方面保持公开透明。
这篇文章中描述了我们称之为“证明 溢出 ”的问题 —一个由于 ZK rollups 中执行和证明生成分离而引起的问题。
背景
Scroll 的 rollup 流程大致可以理解为:
1. 用户向 Scroll 的内存池提交交易。
2. 排序器(sequencer)节点将一些交易打包到一个区块中。
3. 批处理程序(bather)将一些区块打包成一个批次(batch)。
批次的数据(包括其所有交易数据)被发布或“提交”到以太坊 L1
4. 证明者获取批次并生成证明。
该证明可以证明该批次中的所有交易均已正确执行。
该证明提交给以太坊 L1 进行验证。相应的批次被认为是“最终确认的”。
我们在 Alpha 测试网中遇到的一个问题是无法证明某些批次。愿意是它们“太大”而无法放入我们的 zkEVM 电路中。
人们可以认为 zkEVM 电路由许多子电路组成,比如 n 个子电路,它们通过查找表互连。每个子电路用于约束特定的操作——例如,Keccak 电路计算 Keccak 哈希,求幂电路计算求幂。我们的 zkEVM 电路设计中当前限制是每个子电路必须具有相同的行数,比如 m 行。
根据每个子电路中消耗的行数,每个所传入的交易都具有唯一的配置文件。例如,可能有一个交易需要许多 Keccak 操作,因此在 Keccak 电路中占用许多行,而在求幂电路中不占用任何行。相反,可能有一个交易在 Keccak 电路中占用很少的行,而在求幂电路中占用很多行。
由于批次由区块组成,而区块由交易组成,因此批次的行消耗配置文件由组成它的交易所决定。如果一个批次的行消耗超过最大行数 m,则该批次将无法证明(即证明“溢出”)。当一个批次无法证明时,它无法在 L1 上最终确认,任何后续的批次也无法证明(取决于无法证明批次的结果状态)。
值得注意的是,即使只包含单个交易的批次也可能会溢出电路。
要解决“证明溢出”问题需要解决以下问题:如何防止创建超出电路容量的批次?
长期解决方案
问题源于我们电路架构的局限性:所有子电路都必须有一些预先确定的、固定数量的行。我们正在研究重新设计我们的架构,以便可以独立地动态调整子电路的大小——每个子电路的大小都可以根据批次证明的要求放大或缩小。例如,如果一个批次在 Keccak 电路中需要 2^20 行,但在求幂电路中只需要 2^14 行,则子电路可以独立缩放。
这种类型的动态设计带来了挑战,我们正在努力解决这些问题。然而,与此同时,我们需要解决固定尺寸电路的问题。
当前解决方案
1. 根据最坏情况下的操作码设置区块Gas 限制
这里的想法是根据最坏情况下(就电路行消耗而言最昂贵)的操作码来设置区块的 Gas 限制。换句话说,设置区块 Gas 限制,即使它被最昂贵的操作码填满,该区块仍然可以适配我们的电路。这保证了任何区块都无法填满电路。
优点:简单
缺点
非常低效
分析表明,最昂贵的操作码 (SHA) 的证明行与 EVM Gas之间的比率约为 11 倍。
每个额外的 Keccak 字节占用约 2.2 行,同时消耗约 6/32 EVM gas。对于 m = 2^20(大约 100 万行),我们可以容纳大约 2^20 / 2.2 个 Keccak 字节。这对应于 (2^20 / 2.2) * (6/32) ~= 89,000 gas 的最大区块限制。太小!!
2. Gas 重新定价
我们可以修改操作码到Gas的映射表来反映证明成本,而不是执行成本。这将涉及从每个操作码与它在所有子电路中占用的最大行数的静态映射,然后修改我们的 Geth 分支(“L2Geth”)以使用这个新的 Gas 定价。
优点:
证明溢出问题在执行层被处理为“Out of Gas”错误
缺点
可能会破坏依赖于正常 EVM Gas 定价的合约。
很难以编程方式将操作码映射到行消耗。
这个映射应该是可编程的,因为zkEVM的电路库会随着时间的推移而改变,也因为手工分析容易出错,这里稍有错误就会导致溢出漏洞
需要保持 L2Geth Gas定价和 zkEVM 电路库之间的同步 - 不同步将导致漏洞
3. 引入额外的“Proof Gas”计量
除了正常的 EVM Gas之外,我们还可以有一个单独的概念 “Proof Gas ”。Proof Gas 将用于量化交易在我们的电路中消耗的空间。请注意,这种“Proof Gas”应该是多维的——因为不同的操作码在不同的电路中占据不同的行。
一旦引入“Proof Gas”计量的概念,就会出现在哪个级别约束它的问题。
3a.在执行层约束 Proof Gas
此解决方案与解决方案2类似,不同之处在于它保留了 EVM Gas 和Proof Gas 的概念。这将再次涉及将每个操作码静态映射到它在每个电路中占用的行数,然后修改 L2Geth 以添加这种 Proof Gas的概念。如果特定交易超过了 Proof Gas 限制,则交易将撤销并出现一些自定义的“ out of proof gas ”的错误。这将确保没有区块可以超过行约束,因为执行层将在此之前停止交易。
优点:
证明溢出问题在执行层被处理为“out of proof gas”错误
缺点
难以生成从操作码到行消耗的静态映射
需要保持 L2Geth 和 zkEVM 电路库之间的同步
需要对 L2Geth 和 zkEVM 电路库中的逻辑进行重大更改,以支持额外的 Proof Gas 概念
3b.在执行层之外约束 Proof Gas
我们可以从 zkEVM 电路库中公开 API 来报告给定执行踪迹所需的行数,而不是生成操作码到电路行的静态映射。L2Geth 可以生成区块的执行踪迹,然后查询电路行消耗 —— 如果超过最大行数,则不会创建区块。
优点:
无需以编程方式将操作码映射到行消耗所需的复杂性。
缺点:
当必须构造一个区块时,L2Geth 会增加一些计算开销,因为它需要进行额外的计算来估计电路行消耗。
使强制包含(Forced Inclusion)变得复杂。
强制包含是一种机制,用户可以直接通过 L1 提交 L2 交易。这些交易被“强制”包含在 L2 链中,作为一种抗审查机制。
我们无法将交易映射到它在 L1 上消耗的电路行数,因此无法判断它是否可证明
结语:
似乎解决方案 3b 是最简单且风险最小,也是可行的解决方案。
伴随这种方案的主要挑战是如何处理强制交易,因为可能存在太大而无法放入电路中的强制交易。这里的一个想法是使用解决方案 1 中的想法来限制强制交易的 Gas 限制,这样即使在最坏的情况下,强制交易也不会溢出电路。
从长远来看,我们的目标是开发一个更灵活的证明系统,支持动态大小的子电路,从而完全避免这个问题。