1. 通過zk將驗證與區塊構建解耦。這需要讓實時生成zk證明區塊變得更容易:ePBS或延遲執行,我不在乎哪種。trie遷移有幫助,但在我看來並不是必須的,而確保你在時隙開始而不是結束時進行證明是非常重要的。
2. 將審查抵抗與最弱節點解耦。如果你做到以上幾點,引入低ETH質押節點與FOCIL,他們僅負責審查抵抗,而不負責熱路徑區塊構建和驗證,使我們擺脫了樹莓派的擴展限制,但讓我們繼續使用樹莓派進行審查抵抗。