在閱讀共識協議的安全性和活性證明時，我觀察到一個模式，一組固定的法定交集引理總是需要。 如果這是真的，我們能不能就把這寫成一堆樂高積木的形式語言，並讓這些積木在任何新的共識協議上始終運行？ 看起來基於應用層需求的新共識協議的研發可以加快，而不是等待數年。