如何通过“流水线模式”提高生成证明的效率？

欧易交易所

软件大小：268.26MB

软件版本：v3.4.2

APP下载

FOX是基于zkEVM的Layer2 zkRollup扩容的项目，对于这个问题，FOX正在探索使用流水线形式的处理方式来对交易分批处理，预期能够对效率产生很大提升。

图1：流水线模式生成交易证明

Sum1=exe(n)+prove(n)

Sum2=exe(n/k)+max{k*prove(n/k),(k-1)*exe(n/k)}+aggr(k)

图2：证明计算流程图

FOX的“流水线模式”主要发生在证明生成这个环节。在交易收集和排序中，Sequencer 收集待处理的交易，并按照某种规则对它们进行排序，确定执行的顺序。在此后的交易分批执行中，Sequencer 将排序后的交易分批执行。每批中的一组交易被发送给执行引擎进行处理。执行引擎模拟执行这些交易，并记录状态转换的中间结果。在每批交易执行完之后，Sequencer 将中间结果发送给Folder。

通过这种流水线方式，Sequencer 可以在执行交易的同时，不断将中间结果发送给Folder，从而逐批地进行证明的生成。这可以提高整个系统的效率和吞吐量，同时减少了证明生成的延迟。