修复了证明器中不健全的公理，并添加了原生位置 StateKey 变体及每区块原生事务写入。