本文档深入探讨了 EigenPod 的重新设计，重点是引入检查点证明系统，旨在解决M2证明系统中存在的歧义性和会计问题，特别是在处理提款和保证ETH与股份对应关系方面。新的检查点系统结合了活跃验证器集合与信标链和EigenPod状态的快照，以明确确定ETH的数量和位置，从而提高股份分配的准确性和安全性，并解决了与部分提款和信标链削减相关的激励问题。
