前方有趣的时光。 乐观的二层解决方案从来没有"锁定"在永远乐观的状态。它们始终有选择在未来改变证明系统的权利。 我们很快就能看到这些选择的结果。