在阅读共识协议的安全性和活性证明时，我观察到一个模式，一个固定的法定交集引理集合总是需要的模板。 如果这是真的，我们能不能就把它写成一堆乐高盒子，用形式语言表示，并让这些盒子在任何新的共识协议上始终运行？ 看起来基于应用层需求的新共识协议的研发可以加快，而不是等待多年。