在Scroll，我们正在开放构建zkEVM，并希望将我们正在构建的协议的所有方面保持公开透明。
这篇文章中描述了我们称之为“证明溢出”的问题—?一个由于ZKrollups中执行和证明生成分离而引起的问题。
背景
Scroll的rollup流程大致可以理解为：
1.用户向Scroll的内存池提交交易。
2.排序器(sequencer)节点将一些交易打包到一个区块中。
3.批处理程序(bather)将一些区块打包成一个批次(batch)。
批次的数据被发布或“提交”到以太坊L14.证明者获取批次并生成证明。
该证明可以证明该批次中的所有交易均已正确执行。该证明提交给以太坊L1进行验证。相应的批次被认为是“最终确认的”。我们在Alpha测试网中遇到的一个问题是无法证明某些批次。愿意是它们“太大”而无法放入我们的zkEVM电路中。
新火科技旗下MPC自托管平台：将为香港持牌交易平台提供稳妥保管资产与分隔客户资产解决方案:6月1日消息，5月23日香港证监会刊发适用于持牌资产交易平台运营者的咨询总结，该指引订明多项适用于持牌交易平台的标准和规定，其中包括稳妥保管资产、分隔客户资产、避免利益冲突及网络保安。作为新火科技新近推出的核心业务，公司旗下MPC自托管平台Sinohope在稳妥保管资产和分隔客户资产层面有丰富经验和强大能力，可以为虚拟资产交易平台和散户投资者提供强有力支持和帮助。
Sinohope采用 MPC-CMP 技术支持用户分布式管理私钥分片与协同签名解决私钥单点风险，将用户交易和资产托管分隔开，让用户以Web2.0的体验做到完全控制、恢复私钥，无惧私钥丢失风险，同时实现底层安全，杜绝黑客入侵、盗窃、黑地址转账等风险，有效增加透明性和易用性。[2023/6/1 11:52:15]
人们可以认为zkEVM电路由许多子电路组成，比如n个子电路，它们通过查找表互连。每个子电路用于约束特定的操作——例如，Keccak电路计算Keccak哈希，求幂电路计算求幂。我们的zkEVM电路设计中当前限制是每个子电路必须具有相同的行数，比如m行。
数字资产托管服务提供商Liminal获香港TCSP牌照:5月17日消息，钱包基础设施和数字资产托管服务提供商 Liminal 获香港 TCSP（信托或公司服务提供商）牌照，使得该公司能够在香港提供受监管的数字资产托管服务。
此前消息，Liminal 于 2022 年 6 约宣布完成 Elevation Capital 领投的 470 万美元融资。[2023/5/17 15:09:09]
根据每个子电路中消耗的行数，每个所传入的交易都具有唯一的配置文件。例如，可能有一个交易需要许多Keccak操作，因此在Keccak电路中占用许多行，而在求幂电路中不占用任何行。相反，可能有一个交易在Keccak电路中占用很少的行，而在求幂电路中占用很多行。
由于批次由区块组成，而区块由交易组成，因此批次的行消耗配置文件由组成它的交易所决定。如果一个批次的行消耗超过最大行数m，则该批次将无法证明。当一个批次无法证明时，它无法在L1上最终确认，任何后续的批次也无法证明。
现场丨香港国际区块链金融总会主席：香港区块链监管具有“慢”、“慎”的特点:金色财经7月17日现场报道，在新加坡”世界区块链峰会暨第二届国际区块链游戏论坛”之“区块链在亚洲：应用、社区、政策”圆桌论坛上， 香港国际区块链金融总会主席Simon Je说，香港对于区块链、加密货币持较为开放的态度。香港区块链监管具有“慢”、“慎”的特点，以更好地支持区块链等金融科技创新。香港也提供了“沙盒”监管模式，理清区块链项目。在区块链“百花齐放”的发展状态下，一个好的技术支持项目完全有理由得到良好的发展空间。至于不同的业务是否需要香港1，4，6，9号牌照来做加密货币相关业务，要等待香港政府、证监会政策的进一步明确，针对不同的领域有制定不同的条文，对香港区块链发展是好事。[2018/7/17]
值得注意的是，即使只包含单个交易的批次也可能会溢出电路。
南华早报：ICO上市纷纷投向香港、新加坡:据《南华早报》报道称，区块链初创公司越来越多地涌向香港和新加坡，香港的自由度大于内地，而新加坡则推出了令牌销售。新加坡的加密货币和区块链行业协会主席Anson Zeall称，新加坡虽然目前还不能成为ICO中心，但是从2017年9月起就进行了大量的活动。FunderBeam数据显示，根据募集资金数量排名，2017年新加坡已上升为ICO发行的第三大市场，仅次于美国和瑞士。[2018/4/23]
要解决“证明溢出”问题需要解决以下问题：如何防止创建超出电路容量的批次？
长期解决方案
问题源于我们电路架构的局限性：所有子电路都必须有一些预先确定的、固定数量的行。我们正在研究重新设计我们的架构，以便可以独立地动态调整子电路的大小——每个子电路的大小都可以根据批次证明的要求放大或缩小。例如，如果一个批次在Keccak电路中需要2^20行，但在求幂电路中只需要2^14行，则子电路可以独立缩放。
这种类型的动态设计带来了挑战，我们正在努力解决这些问题。然而，与此同时，我们需要解决固定尺寸电路的问题。
当前解决方案
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限制，这样即使在最坏的情况下，强制交易也不会溢出电路。
从长远来看，我们的目标是开发一个更灵活的证明系统，支持动态大小的子电路，从而完全避免这个问题。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。