2、SoliNomic：自我修改的智能合约游戏探索

SoliNomic：自我修改的智能合约游戏探索

1. SoliNomic概述

在传统游戏中，具有静态规则集的游戏规则可以通过智能合约来实现其功能。智能合约上编写的逻辑会强制执行这些规则，确保玩家不能单方面改变游戏状态或违规作弊。智能合约的不可变性保证了规则在游戏过程中不会被中途修改。

2. 表示SoliNomic规则集

将Nomic用智能合约表示是一个难题，因为Nomic的核心公理是规则集会发生变化。一种可能的方法是将规则集表示为数据，例如用一种特定领域语言的表达式，这种语言要足够丰富，能够表达规则集演变过程中描述的任何潜在行为。这样的数据可以被SoliNomic智能合约解释以执行规则逻辑，同时也能像智能合约中存储的所有数据一样被逻辑本身修改。这就打破了规则集和智能合约之间的同构关系，现在规则集和智能合约状态之间存在对应关系，智能合约逻辑仅作为数据的解释器。

为了保留规则集和智能合约之间的联系，我们使用了一种可更新逻辑的标准设计模式，即允许智能合约的控制权迁移到一个可能具有不同逻辑的新合约。只有当当前规则集智能合约本身调用这些更改时，才会接受这些更改，这样就能保证任何更改都符合SoliNomic的当前规则，不会超出规则的限制。

3. 游戏与规则集

对于非自反性游戏，其身份可以与规则集相关联，例如国际象棋的游戏对应国际象棋的规则。但在自反性规则集的情况下，这种对应关系就会失效。如果使用这种对应关系，Nomic游戏在玩家做出一步行动时，由于规则集发生了变化，就会变成一个新游戏，但玩家仍然会认为自己在玩同一个游戏实例。

在SoliNomic的实现中，我们明确区分了游戏实例和当前规则集。其架构核心是一