Sui Move 合约升级与权限定制

一:猜数设计

让我们来设计一个简单的猜数程序,用户猜测一个数字并传入函数,判断与程序随机而成的数字是否相同,如果相同就给予一定奖励。

这里的奖励可以是链上流通的货币或是其它有价值的虚拟物品,不过作为一篇适合 S u i M o v e \mathit {Sui\ Move} Sui Move 初学者的简单用例,直接牵扯到高昂物品似乎有所不妥,所以这里的奖励就用一个整型的 p r i z e \mathit {prize} prize 来表示,将含有奖金的 o b j e c t \mathit {object} object 发送给猜中数字的玩家,以此来作为激励手段。

同时,我们还可以用 E v e n t s \mathit {Events} Events 来记录链上发生的重大事件。在这个例子里,重大事件无疑就是 W i n n e r \mathit {Winner} Winner 了,我们可以用事件来记录胜者玩家的地址,为了让数据有一定的分析价值,还可以记录到这一次猜中数之前的所有玩家的尝试总数。

那么,根据分析,我们可以用三个 s t r u c t \mathit {struct} struct 来存储这些信息。

move 复制代码
struct Count has key {
    id: UID,
    total: u64,
}

struct Prize has key {
    id: UID,
    prize: u8,
}

struct GuessEvent has copy, drop {
    total_count: u64,
    final_winner: address,
}
  • C o u n t \mathit {Count} Count 会作为一个共享对象,让所有玩家都可以访问并修改,其中的 t o t a l \mathit {total} total 将存储一共的尝试猜数的次数,直到猜中时清零重置。
  • P r i z e \mathit {Prize} Prize 直到被猜中数时才会被创建,同时被发送给此次交易的发起者,也就是猜中数字的玩家,其中的 p r i z e \mathit {prize} prize 可以简单设定为猜中的数等值的金额,由于猜数的范围不能太大,不妨就以 0 , 10 \\text 0,\\ \\text {10} 0, 10 这个闭区间为前置条件。
  • G u e s s E v e n t \mathit {GuessEvent} GuessEvent 是定义的一个事件,我们只关心事件当中的值,同时让它在作用域结束时自我消亡,所以设定了 c o p y , d r o p \mathit {copy},\ \mathit {drop} copy, drop 这两个能力。
    触发事件时只需要使用sui::event::emit(<ObjectEvent>);
    而交易产生的事件详情可以在 S u i e x p l o r e r \mathit {Sui\ explorer} Sui explorer 中的 E v e n t s \mathit {Events} Events 标签页查看。

根据上述分析,我们可以很轻松地编写三个函数。

move 复制代码
fun init(ctx: &mut TxContext) {
    let count = Count {
        id: object::new(ctx),
        total: 0,
    };
    transfer::share_object(count);
}

fun send_prize(count: u64, prize: u8, ctx: &mut TxContext) {
    transfer::transfer(Prize {
        id: object::new(ctx),
        prize,
    }, tx_context::sender(ctx));

    event::emit(GuessEvent {
        total_count: count,
        final_winner: tx_context::sender(ctx),
    });
}

public entry fun guess_between_zero_and_hundred(count: &mut Count, number: u8, clock: &Clock, ctx: &mut TxContext) {
    let des_number = ((clock::timestamp_ms(clock) % 11) as u8);
    if (number == des_number) {
        send_prize(count.total, number, ctx);
        count.total = 0;
    } else {
        count.total = count.total + 1;
    }
}
  • i n i t \mathit {init} init 函数只会在发布时被调用一次,用来创建 C o u n t \mathit {Count} Count 并将其共享再好不过。
  • s e n d _ p r i z e \mathit {send\_prize} send_prize 函数是在数字被猜中时调用的,作用是将奖励 P r i z e \mathit {Prize} Prize 发送给中奖者,同时触发一个事件。
  • e n t r y \mathit {entry} entry 函数是指在交易过程中能够被直接调用的,它不应该有返回值,因为即使有也没什么作用,入口函数被不被 p u b l i c \mathit {public} public 修饰的区别在于能否被其它模块调用,以及合约升级时能否被更改等。
    g u e s s _ b e t w e e n _ z e r o _ a n d _ h u n d r e d \mathit {guess\_between\_zero\_and\_hundred} guess_between_zero_and_hundred 函数名就暗示了猜数的范围(一开始是想 0 , 100 \\text 0,\\ \\text {100} 0, 100 的,但一想到测试时会测死,就缩小到了 1 0 \text 10 10,但函数名忘改成 t e n \mathit {ten} ten 了┭┮﹏┭┮),其中有个参数是 C l o c k \mathit {Clock} Clock,我们可以用它来获得时间戳,用这个时间戳来转化成目标数字。
    这种"随机"方式其实并不安全,因为这个值是可控的,真实的交易环境也不会如此草率,不过这并不如此篇的重点,也就不再赘述。
    t i m e s t a m p _ m s \mathit {timestamp\_ms} timestamp_ms 得到的值是 u 64 \mathit u\text{64} u64 类型的,我们可以用 a s \mathit {as} as 关键词简单地将其转化成 u 8 \mathit u\text 8 u8。(这里只是为了顺带提一句 a s \mathit {as} as 的作用才设定成这个类型的整数的,前篇里还提到了它可以为导入的模块取别名,如果忘记了的可以去翻一翻)

好,至此,简单的猜数就设计完毕,但是别忘了这一篇章的主题合约升级与权限定制

二:修改代码以支持版本更迭

发布的合约 p a c k a g e \mathit {package} package 是不可变的 o b j e c t \mathit {object} object​,不可撤回也无法修改。智能合约升级的本质是在新的地址上重新发布新的合约,并且把旧版合约的数据迁移过去。

当然,合约升级并不意味着可以对代码进行肆无忌惮地修改,需要满足如下几条规则:

  • 现有的 p u b l i c \mathit {public} public 函数的输入输出参数格式保持不变
  • 可以添加新的 s t r u c t \mathit {struct} struct 和函数
  • 可以给现有的 s t r u c t \mathit {struct} struct 添加新的能力
  • 可以把现有函数中对泛型参数的约束去掉
  • 可以改变函数的实现
  • 可以修改非 p u b l i c \mathit {public} public 函数的输入输出参数格式,包括 f r i e n d \mathit {friend} friend 和 e n t r y \mathit {entry} entry 函数
  • 可以让非 p u b l i c \mathit {public} public 函数变为 p u b l i c \mathit {public} public 函数

除此之外还需要注意的是, i n i t \mathit {init} init 函数只会在第一次发布合约时执行,后续合约升级时不会被重复执行。同时,如果你的 p a c k a g e \mathit {package} package 依赖了一个外部的 p a c k a g e \mathit {package} package​,你需要手动把它指向新依赖的合约地址,这一过程在升级合约时不会自动进行。

根据上述内容,我们来思考,想要让一份合约支持后续迭代升级,需要添加一些什么?

  1. V E R S I O N \mathit {VERSION} VERSION,定义一个常量来表示版本号。因为升级合约并不会将旧的合约地址销毁,所以我们需要明确版本,非对应版本的调用都不应执行。
  2. 共享对象 C o u n t \mathit {Count} Count 中添加版本号字段,用来判断数据是否已经迁移。(还没来得及迁移的数据,可以接受旧的对应版本的合约的函数调用,但它不能接受新的)
  3. 为了实现数据迁移,自然也就需要添加一个函数来实现这一点,在这个例子当中的主要作用就是更新 C o u n t \mathit {Count} Count 对象当中的版本号字段。
  4. 相关的升级迭代的操作应该都只授权给发布者,其他人不该有权限调用。为了达到这一目的,不妨在共享对象当中再添加一个字段,用来存储发布者的 I D \mathit {ID} ID。我们已经知道, i n i t \mathit {init} init 只会在第一次合约发布时被调用,当时的 T x C o n t e x t \mathit {TxContext} TxContext 一定是发布者,那么该阶段存储进去的 I D \mathit {ID} ID 也将是发布者的。
    那么如何在调用数据迁移时传入这个 I D \mathit {ID} ID?不如再定义一个 s t r u c t \mathit {struct} struct,拥有 k e y \mathit {key} key 能力,将其交给我们的发布者,届时只需要传入该 o b j e c t \mathit {object} object 的地址即可作为凭据。
  5. 至于怎么在版本不对应,或者非授权操作情况下中断并退出,可以使用assert!(<bool>, <error code>),这在前面的篇章当中已有涉及。为了适应更多变的情况,同时提高代码的可读性,可以将 e r r o r c o d e \mathit {error\ code} error code 定义成一个常量再作为参数传入。

修改并整合后的代码如下:

move 复制代码
module guess_number::guess_number {
    use sui::object::{Self, ID, UID};
    use sui::tx_context::{Self, TxContext};
    use sui::transfer;
    use sui::clock::{Self, Clock};
    use sui::event;

    const VERSION: u64 = 1;

    const ENOTVERSION: u64 = 0;
    const ENOTADMIN: u64 = 1;
    const ENOTUPGRADE: u64 = 2;

    struct Count has key {
        id: UID,
        version: u64,
        admin: ID,
        total: u64,
    }

    struct AdminCap has key {
        id: UID,
    }

    struct Prize has key {
        id: UID,
        prize: u8,
    }

    struct GuessEvent has copy, drop {
        total_count: u64,
        final_winner: address,
    }

    fun init(ctx: &mut TxContext) {
        let admin_cap = AdminCap {id: object::new(ctx)};

        let count = Count {
            id: object::new(ctx),
            version: VERSION,
            admin: object::id(&admin_cap),
            total: 0,
        };

        transfer::transfer(admin_cap, tx_context::sender(ctx));
        transfer::share_object(count);
    }

    fun send_prize(count: u64, prize: u8, ctx: &mut TxContext) {
        transfer::transfer(Prize {
            id: object::new(ctx),
            prize,
        }, tx_context::sender(ctx));

        event::emit(GuessEvent {
            total_count: count,
            final_winner: tx_context::sender(ctx),
        });
    }

    public entry fun guess_between_zero_and_hundred(count: &mut Count, number: u8, clock: &Clock, ctx: &mut TxContext) {
        assert!(count.version == VERSION, ENOTVERSION);

        let des_number = ((clock::timestamp_ms(clock) % 11) as u8);
        if (number == des_number) {
            send_prize(count.total, number, ctx);
            count.total = 0;
        } else {
            count.total = count.total + 1;
        }
    }

    entry fun migrate(count: &mut Count, admin_cap: &AdminCap) {
        assert!(count.admin == object::id(admin_cap), ENOTADMIN);
        assert!(count.version != VERSION, ENOTUPGRADE);

        count.version = VERSION;
    }
}

别着急,配置文件 M o v e . t o m l \mathit {Move.toml} Move.toml 也需要做更改,主要是在 p a c k a g e \\mathit {package} package 下添加版本号。(这里的 v e r s i o n \mathit {version} version 和代码中的可以不一致)

ini 复制代码
[package]
name = "guess_number"
version = "0.0.0"

[addresses]
guess_number = "0x0"

三:原始合约发布

scss 复制代码
sui move build
sui client publish --gas-budget 100000000

发布成功后在信息里找到跟 p a c k a g e \mathit {package} package​ 相关的:

所发布的包的 P a c k a g e I D \mathit {PackageID} PackageID,以及 A d m i n C a p , C o u n t , U p g r a d e C a p \mathit {AdminCap},\ \mathit {Count},\ \mathit {UpgradeCap} AdminCap, Count, UpgradeCap 的 P a c k a g e I D \mathit {PackageID} PackageID 都是后续会用到的,可以用 e x p o r t \mathit {export} export 来赋予一个别名,方便取用。

ini 复制代码
export PACKAGE_ID=0x628f33fcf96ebc82f275bddb7ad927b0e260e989f2131e0e1dc844ab931b57f5
export ADMIN_CAP=0x2160bdabbe0321d418cd6572ab24092554c3fbea0b5f24fd32295eaf2b8fa63a
export COUNT=0x415f0255873919cc68c217a715454b54537ad3c0677b7d3b925c777131dbf19c
export UPGRADE_CAP=0x57ae075216a7996c944af979a7fe8057f6d1b2165055cdddce9f7898579fc8cd

接下来,我们就可以用下述命令来猜数了:
sui client call --package $PACKAGE_ID --module guess_number --function guess_between_zero_and_hundred --args $COUNT 6 0x6 --gas-budget 100000000

其中0x6作为 C l o c k \mathit {Clock} Clock 参数的地址传递。

通过sui client object $COUNT得到的信息可以发现,字段 t o t a l \mathit {total} total 的值为 1 \text 1 1,说明一共尝试了一次没有成功,此时,重复猜数,直到猜中。

尝试了好几次(永远的 6 6 6),终于在猜数后得到的信息里, O b j e c t C h a n g e s \mathit {Object\ Changes} Object Changes 看到了它新建了一个 P r i z e \mathit {Prize} Prize 对象,它的拥有者是玩家本人。分别查看 C o u n t \mathit {Count} Count 和 P r i z e \mathit {Prize} Prize 当中存储的内容,如下图所示,发现符合预期。

别忘了事件,除了本文最开始提到的查看方式,其实在执行猜中数的那一次给出的信息当中就有相应的信息:

四:合约升级

在上述代价的基础上,首先来思考,除了功能上的升级之外,需要修改什么?

  1. V E R S I O N \mathit {VERSION} VERSION 作为版本的标志,势必要扩大。
  2. M o v e . t o m l \mathit {Move.toml} Move.toml 中 p a c k a g e \\mathit {package} package 中的 v e r s i o n \mathit {version} version 也需要更改,同时添加新的一行published-at = "<ORIGINAL-PACKAGE-ID>",用来标注旧合约地址是哪儿。如果不知道这个信息,又何来数据迁移和升级。
ini 复制代码
// guess_number.move
const VERSION: u64 = 2;

// Move.toml
[package]
name = "guess_number"
version = "0.0.1"
published-at = "0x628f33fcf96ebc82f275bddb7ad927b0e260e989f2131e0e1dc844ab931b57f5" //这里需要替换成你们自己的旧合约地址

接下来,我们来思考哪些功能存在优化的空间?

真实情况下,奖励的东西应该更加吸引人,这样才能诱使人与之进行交易(猜数),所以我们扩大 p r i z e \mathit {prize} prize,让它等于猜中的那个数乘上一共所猜的次数的十倍,为了不超过 u 8 \mathit u \text 8 u8 的数据范围,还需要跟 255 \text {255} 255 取个最小值。

本次示例就以这一点为代表进行,只要是符合之前所列举的修改规则的都是可以的,你可以自由发挥(๑•̀ㅂ•́)و✧

经过优化后的代码如下:

move 复制代码
module guess_number::guess_number {
    use sui::object::{Self, ID, UID};
    use sui::tx_context::{Self, TxContext};
    use sui::transfer;
    use sui::clock::{Self, Clock};
    use sui::event;
    use sui::math;

    const VERSION: u64 = 2;

    const ENOTVERSION: u64 = 0;
    const ENOTADMIN: u64 = 1;
    const ENOTUPGRADE: u64 = 2;

    struct Count has key {
        id: UID,
        version: u64,
        admin: ID,
        total: u64,
    }

    struct AdminCap has key {
        id: UID,
    }

    struct Prize has key {
        id: UID,
        prize: u8,
    }

    struct GuessEvent has copy, drop {
        total_count: u64,
        final_winner: address,
    }

    fun init(ctx: &mut TxContext) {
        let admin_cap = AdminCap {id: object::new(ctx)};

        let count = Count {
            id: object::new(ctx),
            version: VERSION,
            admin: object::id(&admin_cap),
            total: 0,
        };

        transfer::transfer(admin_cap, tx_context::sender(ctx));
        transfer::share_object(count);
    }

    fun send_prize(count: u64, prize: u8, ctx: &mut TxContext) {
        transfer::transfer(Prize {
            id: object::new(ctx),
            prize,
        }, tx_context::sender(ctx));

        event::emit(GuessEvent {
            total_count: count,
            final_winner: tx_context::sender(ctx),
        });
    }

    public entry fun guess_between_zero_and_hundred(count: &mut Count, number: u8, clock: &Clock, ctx: &mut TxContext) {
        assert!(count.version == VERSION, ENOTVERSION);

        let des_number = ((clock::timestamp_ms(clock) % 11) as u8);
        if (number == des_number) {
            let prize = (math::min((number as u64) * (count.total + 1) * 10, 255) as u8);
            send_prize(count.total, prize, ctx);
            count.total = 0;
        } else {
            count.total = count.total + 1;
        }
    }

    entry fun migrate(count: &mut Count, admin_cap: &AdminCap) {
        assert!(count.admin == object::id(admin_cap), ENOTADMIN);
        assert!(count.version != VERSION, ENOTUPGRADE);

        count.version = VERSION;
    }
}

sui client upgrade --gas-budget 100000000 --upgrade-capability $UPGRADE_CAP尝试升级合约。

如果出现了如下错误,请考虑修改是否完全遵循了那七条规则。

css 复制代码
Error executing transaction: Failure {
    error: "PackageUpgradeError { upgrade_error: IncompatibleUpgrade } in command 1",
}

如果升级成功,我们也将得到一长串信息,同样的,将新的 P a c k a g e I D \mathit {PackageID} PackageID 记录一下:
export NEW_PACKAGE_ID=0x5a3974941fc000890f312c538c47f98c787a89776d6da1762129a4b0379e855b

在调用函数 m i g r a t e \mathit {migrate} migrate 之前,旧合约可以正常使用,但是新合约不行,因为 C o u n t \mathit {Count} Count 中的 v e r s i o n \mathit {version} version 还是 1 \text 1 1,如果此时调用新合约,会出现如下报错:

swift 复制代码
Error executing transaction: Failure {
    error: "MoveAbort(MoveLocation { module: ModuleId { address: 628f33fcf96ebc82f275bddb7ad927b0e260e989f2131e0e1dc844ab931b57f5, name: Identifier(\"guess_number\") }, function: 2, instruction: 14, function_name: Some(\"guess_between_zero_and_hundred\") }, 0) in command 0",
}

如果想要调用 m i g r a t e \mathit {migrate} migrate 的话,就需要之前存储的 A D M I N _ C A P \mathit {ADMIN\_CAP} ADMIN_CAP 的地址,命令如下:
sui client call --package $NEW_PACKAGE_ID --module guess_number --function migrate --args $COUNT $ADMIN_CAP --gas-budget 100000000

如果重复调用则会报错,因为 a s s e r t \mathit {assert} assert 不通过,从错误代码 2 \text 2 2 也可以看出,是assert!(count.version != VERSION, ENOTUPGRADE);出了问题,版本已经不需要更新了。

现在,调用旧合约的话就会出错,新合约就没有问题。不断猜数,观察次数和猜中的数之间的关系,可以发现 p r i z e \mathit {prize} prize 的奖励情况变得更诱人了。

五:权限定制

如果只是按照之前所叙述的七条修改规则,只要用户想(不考虑代码优美)几乎可以重写所有功能,有的时候这并不是开发者想要的,所以, S u i M o v e \mathit {Sui\ Move} Sui Move 也提供了不同的合约升级权限。

  • C o m p a t i b l e : \mathit {Compatible}: Compatible: 最宽松的权限,也是最初发布合约时的默认权限,只要满足那七条规定就可以。
  • A d d i t i v e : \mathit {Additive}: Additive: 可以添加新的函数,比如新的 p u b l i c \mathit {public} public 函数和 s t r u c t \mathit {struct} struct,但不能对现有的函数代码做任何修改。
  • D e p e n d e n c y \mathit {Dependency} Dependency- o n l y : \mathit {only}: only: 只能修改该 p a c k a g e \mathit {package} package 的依赖项。
  • I m m u t a b l e : \mathit {Immutable}: Immutable: 无法再升级该 p a c k a g e \mathit {package} package。

我们尝试执行以下命令,调用0x2地址(也就是 s u i \mathit {sui} sui )下的 p a c k a g e \mathit {package} package 模块中的 m a k e _ i m m u t a b l e \mathit {make\_immutable} make_immutable 函数,将合约升级时必须的 U P G R A D E _ C A P \mathit {UPGRADE\_CAP} UPGRADE_CAP 传入:
sui client call --package 0x2 --module package --function make_immutable --args $UPGRADE_CAP --gas-budget 100000000

此时,再尝试迭代升级,会报错:

Could not find upgrade capability at <address>

这是因为这个函数将 U P G R A D E _ C A P \mathit {UPGRADE\_CAP} UPGRADE_CAP 销毁了,升级合约的必需品无了,自然也就无法再更新了。

类似的,如果你想要切换成其它权限,也可以用类似的命令,具体的函数名以及参数请移步至此 p a c k a g e . m o v e \mathit {package.move} package.move

注意:上述四个权限定制是依次收紧且单向的,也就是说,你可以从 C o m p a t i b l e \mathit {Compatible} Compatible 收紧成 I m m u t a b l e \mathit {Immutable} Immutable,但就再也无法松开了,哪怕是 D e p e n d e n c y \mathit {Dependency} Dependency- o n l y \mathit {only} only 也不行。

六:加入组织,共同进步!

相关推荐
搞科研的小刘选手3 小时前
【中山大学主办】第六届计算机科学与区块链国际学术会议(CCSB 2026)
分布式·神经网络·计算机视觉·区块链·计算机科学·共识算法·自然语言
暗影萨满13 小时前
EthSdkMobile —— 为移动端开发者打造的以太坊 Web3 SDK
web3
Richown15 小时前
用 Three.js + React 打造一个赛博朋克风格的 3D 作品集页面
区块链·react
Upsy-Daisy17 小时前
IOTA 学习笔记(一):IOTA 是什么?从区块链到 Tangle
笔记·学习·区块链
软件工程小施同学17 小时前
最新区块链论文录用资讯 CCF A--WWW 2026 12篇
区块链
master-dragon18 小时前
Solidity 智能合约开发实战:从零构建 PiggyBank 存钱罐合约
区块链
酿情师18 小时前
孤立交易:比特币节点为什么会暂存缺少父交易的交易
区块链
拼尽全力前进1 天前
加密算法分类
区块链
酿情师1 天前
比特币系统中是如何解决货币的发行与验证两大问题
区块链·比特币
酿情师1 天前
SPV:比特币轻客户端如何在不下载完整区块链的情况下验证交易
区块链