解读使用 zk+vdf 实现的隐私 mempool 方案

'使用 zk+vdf 实现的隐私 mempool 方案解读'

现在,大多数L2 Sequencer都采用先到先出(FIFS)的交易排序方式来防止MEV的发生,但这样也会降低区块的价值。然而,通过BlocksLianGuaice的方案,我们可以实现兼顾两者。

具体流程如下:用户发送一个”时间谜题”来加密自己的交易,并同时计算一个”zk proof”来证明这个时间谜题是可解的。然后将时间谜题和对应的zk proof一起发送给Sequencer。

Sequencer收到加密交易后,验证zk proof的有效性。如果证明有效,则说明这个时间谜题在计算一段时间后能够得出答案。将其放入Top BlocksLianGuaice,并给出交易所在的区块内的Order Committee。Sequencer会计算这个时间谜题一段时间,并最终得出一个答案。Sequencer在获得答案后,就可以解密用户的加密交易,得到交易的原始数据。在填满所有Top BlocksLianGuaice之后,Sequencer将只有Top BlocksLianGuaice中有交易的”半成品区块”扔到L2的p2p网络进行广播。

当MEV Searcher收到”半成品区块”后,可以根据Top BlocksLianGuaice中的交易顺序构建自己有利可图的交易bundle。MEV Searcher将自己的交易bundle以及出价发送给L2 Block Builder。此时,Builder已经接收到”半成品区块”,他会将出价最高的那部分交易bundle放入Botton BlocksLianGuaice中。最后,Builder需要进行L2 Mev Boost的流程,Sequencer会接受带有它指定的Top BlocksLianGuaice的最高价值的区块。

这个方案通过引入时间谜题和zk proof的方法,实现了对交易的加密和顺序验证。同时,通过将交易bundle分为Top和Botton BlocksLianGuaice,保证了区块的价值和用户的利益。从整体流程来看,Sequencer和MEV Searcher在各自的角色中发挥了关键作用,确保了交易的顺序和区块的价值。这样的机制在防止MEV的同时,也充分保护了用户的利益。

下表总结了该方案中各个角色和其功能:

角色 功能
用户 发送加密交易和计算zk proof
Sequencer 验证zk proof、计算时间谜题、解密交易、填充区块
MEV Searcher 构造有利可图的交易bundle
L2 Block Builder 接收交易bundle、构建Botton BlocksLianGuaice

这个方案不仅能够防止MEV的发生,还能够提升区块的价值,实现了”鱼和熊掌兼得”的目标。通过合理运用时间谜题、zk proof和区块分割的机制,该方案为区块链技术的发展提供了一种新的思路和解决方案。希望将来可以看到更多类似的创新,为区块链技术的应用和发展带来更多可能性。

参考链接:https://twitter.com/hhh69251498/status/1685345548218650625