我们对 Rollups 和 ETH 2.0 进行了深入研究，所有的努力方向都在将计算链外化，而最终的目标可能就是完全的链下计算。在探索的过程中，可以得出这样一个结论：在程序没有二义性的情况下，只要输入输出的存储具备确定性，那么程序的计算结果也一定具备确定性。

存储计算范式是一种完全不同于以往区块链计算模型的新事物，或许还需要很多时间让大众来接受和认可，但它一定是更接近本质（图灵机）的优秀可信计算范式。

感谢以太坊爱好者阿剑老师对 Rollups 和 ETH 2.0 的深度解读，星火矿池喵叔对 SmartWeave 的引介以及星火矿池李培对 Arweave 和 LazyLedger 的深入研究。

(责任编辑：admin)