首页>>资讯>>产业

探寻Monad秘法

2024-11-06 14:49:03 20

1. 没落的以太坊村庄

4.png

从前,在以太坊村里住着一群绿色的佩佩蛙。这里曾是一个热闹非凡的国度,去中心化的理念和强大的安全性孕育了繁荣的经济。在这些原则的指引下,村民们定期举行选举,依据各自的利益选出领导者,以监督每12秒生成一个记录交易的区块。通过这种方式,他们勤勉地管理着村庄的繁荣。


然而,曾经的辉煌如今开始褪色,meme病毒肆虐,村庄的力量渐渐被削弱。街道上笼罩着阴影,绿色的佩佩蛙们拖着沉重的步伐,漫无目的地徘徊在荒凉阴暗的村庄中。尽管如此,仍有一些绿色佩佩蛙渴望重振以太坊昔日的辉煌。他们支持一项名为“L2改革”的运动,旨在为村庄注入新的活力。


在他们的努力下,以太坊逐渐恢复了昔日的繁荣,实现了曾被认为不可能的经济复苏。然而,L2改革也面临局限。邻近的村庄如Solana和Sui,虽然年轻且充满不稳定因素,却通过前所未有的科技革命迅速崛起。他们的创新使复杂的金融交易变得无缝衔接,而以太坊尽管进行了改革,仍然举步维艰。因此,佩佩蛙们之间流传着关于迁移到这些邻近村庄的传言。


2. 紫佩佩巫师的到来

4.png

身穿紫袍的佩佩巫师悲伤地凝视着以太坊村失去的辉煌,决心建立一个名为Monad的新国度。一天,他出现在绿色佩佩蛙们面前,宣布了他雄心勃勃的Monad村庄计划。他把绿色佩佩蛙们聚集在中央广场,倾听他们的想法与愿望。


绿色佩佩蛙1发言道:“我希望Monad的生活能与以太坊一样。尽管以太坊在可扩展性上不及Solana或Sui,但我从未考虑过离开,因为他们的文化与我们的文化截然不同。”


绿色佩佩蛙2接着说:“保持相同的生活方式和文化至关重要,但我也希望我们的系统能与其他村庄一样高效。虽然以太坊安全性极高,但对追求速度和灵活性的企业而言,仍显得不足。”


巫师将他们的愿望铭记于心,承诺要创建一个既保留以太坊文化特色,又具备Solana和Sui可扩展性的Monad。他思索着实现这一梦想所需的强大咒语,力求打造一个兼容以太坊传统,同时又能满足新时代高效需求的村庄。


随后,他与满怀期待的佩佩蛙们分享了他的愿景,激发了他们对这个能够真正兼顾两全其美的家园的希望。


3. 秘法一:延迟执行

4.png

以太坊村庄可扩展性的一个限制在于共识过程中每笔交易的处理,这是生成每个新区块的必要步骤。

4.png

在以太坊中,提议区块的领导者必须在提议之前计算区块内的所有交易,以确保每笔交易的结果。此外,接收此区块的验证节点也必须计算所有交易以验证区块的合法性并进行投票。


由于共识过程涉及村民之间的计算和沟通,因此分配给处理交易的时间预算非常低,最终导致可扩展性有限。

4.png

为了解决这个问题,紫色佩佩巫师引入了一个新的咒语,称为“延迟执行”。这个咒语将“共识”过程(排序村民的交易)与“执行”过程(计算这些交易的结果)分开。


简单来说,它不是对每个区块同时进行共识和执行,而是对第 N 个区块进行共识的同时对第 N-1 个区块(交易排序已经确定)进行执行。


通过允许一个完整的区块时间进行执行,这种方法大大增加了可以在同一时间范围内处理的交易数量。


高级法术:延迟 Merkle 根


在以太坊中,节点在达成共识之前进行计算,从而确保区块的有效性。然而,在 Monad 的延迟执行系统中,共识和执行是分开的。这为恶意节点提供了忽略先前达成共识的交易或随意更改计算状态的可能性。


为了防止这种情况,Monad 将 Merkle 根(第 N-10 个区块的计算结果)嵌入到第 N 个区块的提议中。如果超过三分之二的节点就第 N 个区块达成共识,则意味着对第 N-10 个区块的计算达成共识。


如果任何节点第 N-10 个区块的计算结果与第 N 个区块中包含的 Merkle 根不匹配,则该节点将从第 N 个区块开始的共识中被移除。Merkle 根的 10 个区块延迟可确保及时检测到任何计算错误。


值得注意的是,Monad 的区块时间为 1 秒,但这并不意味着 Monad 的最终性需要 10 秒。得益于 Monad 的 MonadBFT 系统,可以实现单槽最终性,即在 1 秒内实现最终性。


4.秘法二:交易哈希

4.png

聪明的紫色佩佩巫师思考着村庄的领导者如何迅速将区块提议广播到其他节点。


在以太坊通常是将整个区块提议(包括所有交易)打包,然后通过网络发送。


然而,佩佩巫师意识到,如果 Monad 采用这种方法,广播包含大量交易的区块提案将是一项艰巨而费力的工作。

4.png

为了解决这一问题,紫色佩佩巫师引入了“交易哈希”的概念。由于所有村民提交的交易已在网络中传播,每个节点都在自己的内存池中维护Monad村庄的交易记录。


这意味着领导者不再需要在每个区块提案中传输完整的交易列表。相反,领导者只需引用交易,发送相应的哈希值即可。这样,Monad的区块提案中仅包含每笔交易的哈希值。收到这些哈希值后,其他节点可以轻松地将其与自己的交易记录进行比对,确保数据的一致性和完整性。


5.秘法三:MonadBFT


在 Monad 村庄中,每个区块内的交易顺序和区块创建的共识由 MonadBFT 控制,这是一种基于 HotStuff 的高性能共识机制。这种分阶段 BFT(拜占庭容错)算法允许分两步达成共识。


区块领导者的角色是根据每个参与者的质押份额随机选择的。在 Monad 中,区块的构建效率比以太坊村庄更高,因为每个区块 N 提案都与前一个区块 N-1 的法定人数证明 (Quorum Certificate,QC) 一起传输,它表明超过三分之二的节点已验证该区块。

4.png

事情的经过如下:


领导者 N 广播了针对区块 N 的提案,并附带了针对区块 N-1 的 QC。


然后,验证者验证了区块 N,并将其投票发送给领导者 N+1。


领导者 N+1 分享了针对区块 N+1 的提案,以及针对区块 N 的 QC。


然而,即使有了 QC N,验证者也无法立即确定区块 N,因为区块链的性质无法确保所有参与者同步在线。


为了完全保护区块 N,验证者必须将他们对包含 QC N 的区块 N+1 的「赞成」投票发送给领导者 N+2。当领导者 N+2 生成 QC N+1 时,它确认了 N+1 轮的成功完成,从而区块 N 最终确定。

因此,凭借巧妙的魔法,紫色佩佩巫师引导 Monad 村进入了一个新时代。


6. 秘法四:并行执行


在Monad中,为了处理大量村民交易,紫色佩佩巫师设计了一个新咒语,交易不同以太坊村庄的串行方式处理,而是以并行方式处理。

4.png

借助延迟执行,只有在区块的交易顺序达成共识后才会开始执行。Monad 村庄由许多熟练的执行者组成,每个人都负责处理交易,独立计算其输入和输出并创建待处理列表。


这些输入和输出不会立即改变村庄的状态,而是以悬浮魔法的形式等待,准备按照共识确定的顺序提交。这种提交是将输出逐一合并到当前状态,就像魔法线编织出无缝有序的挂毯一样。


然而,事情发生了转折。并行处理引入了交易冲突的可能性,这在有序的以太坊村庄中很少见,但在 Monad 却是一个新的挑战。


例如,如果一笔交易(交易 b)显示村民 A 赠送 1 ETH 给村民 B,而另一笔交易(交易 c)显示 B 在村里的小旅馆花费了这笔 ETH,那么它们的顺序就至关重要。如果交易 c 试图在交易 b 之前执行,交易就会失败。在这种情况下,冲突的交易会被重新安排,交易 c 会等待交易 b 完成后再执行。


因此,在 Monad 中,并行执行的核心在于排序:结果是并行计算的,但状态更新按照所需的精确顺序合并。


7.秘法五:MonadDb


紫色佩佩巫师的奇思妙想并未止步于此。他又创造出了MonadDb,这是一种专为Monad村设计的自定义数据库,专门用于存储区块链的状态。以太坊依赖于复杂的Merkle Patricia Trie,这种结构因其弹性而闻名,但同时也因对外部客户端的低效率而受到诟病。


在设计MonadDb时,巫师充分考虑了村庄的并行执行需求,支持多个读取和写入操作同时进行,并且确保了高精度。与传统数据库要求每项任务完成后才能转向下一项任务的模式不同,MonadDb采用了异步I/O魔法,允许任务无缝重叠,从而为真正的并行事务处理开辟了新的可能性。


8. 来参观Monad村吧!


通过一系列奇妙的咒语和复杂的魔法,紫色佩佩巫师成功地创造了Monad村庄。在这里,以太坊的可信账户、加密技术、交易格式、编程语言和钱包与Solana、Sui的可扩展性完美融合。如今,Monad正蓬勃发展,朝着每秒处理10,000笔交易的梦想迈进。


这个诞生于智慧与希望的Monad村庄,能否拯救被meme病毒困扰的世界,并帮助以太坊重获昔日的荣耀?只有时间才能揭示答案。

声明:本网站所有相关资料如有侵权请联系站长删除,资料仅供用户学习及研究之用,不构成任何投资建议!