DAOrayaki:Aptos & Move实操讲解_THE:SOURCE

DAOrayakiDAO研究奖金池:

资助地址:?DAOrayaki

Struct&Abilities

struct?Counter?has?key,?store?{????value:u64,}

使用struct定义了一个叫做Counter的结构体,同时被key,store两种限制符修饰。

Move的类型系统灵活,每种类型都可以定义四种能力。

它们定义了类型的值是否可以被复制、丢弃和存储。

这四种abilities限制符分别是:Copy,Drop,Store和Key。

它们的功能分别是:

Copy?-值可以被复制。

Drop?-在作用域结束时值可以被丢弃。

Key?-值可以作为键值被「全局存储操作」进行访问。

Store?-值可以被?存储?到全局状态。

这里用key、store修饰,则表示它不能被复制,也不能被丢弃或重新使用,但是它却可以被安全地存储和转移。

Abilities的语法

基本类型和内建类型的abilities是预先定义好的并且不可改变:integers,vector,addresses和boolean类型的值先天具有copy、drop和storeability。

然而,结构体的ability可以按照下面的语法进行添加:

struct?NAME?has?ABILITY??{??}

一个简单的图书馆例子:

运动时尚品牌彪马PUMA将于6月13日正式开放Web3空间“Black Station”:金色财经报道,运动时尚品牌彪马PUMA官方推特账户PUMA.eth宣布将于6月13日正式开放“Black Station”,据悉“Black Station”是PUMA 品牌自己推出的所谓“3D游乐场”,也是一个独有的Web3空间,旨在为PUMA NFT社区提供一种体验品牌的全新方式。此前PUMA已推出PUMA Pass NFT,持有该通行证的用户可以获得独家Black Station产品投放和体验机会。据OpenSea最新数据显示,本文撰写时PUMA Pass NFT地板价约为0.1298 ETH,当前交易总额达到1894 ETH。[2023/6/4 11:56:21]

module?Library?{????//?each?ability?has?matching?keyword????//?multiple?abilities?are?listed?with?comma????struct?Book?has?store,?copy,?drop?{????????year:?u64????}????//?single?ability?is?also?possible????struct?Storage?has?key?{????????books:?vector????}????//?this?one?has?no?abilities????struct?Empty?{}}

什么是Resource

Move白皮书中详细描述了Resource这个概念。最初,它是作为一种名为resource的结构体类型被实现,自从引入ability以后,它被实现成拥有?Key和?Store两种ability的结构体。Resource可以安全的表示数字资产,它不能被复制,也不能被丢弃或重新使用,但是它却可以被安全地存储和转移。

微软支持的区块链HRTech公司ZingHR 战略投资AI创企LokiBots:金色财经报道,微软支持的区块链HRTech公司ZingHR宣布战略投资AI软件即服务初创公司LokiBots,具体投资金额暂未披露,ZingHR旗下产品目前已整合机器学习、深度学习和区块链技术,本次收购后将会把LokiBots的AI机器人、对话式AI纳入。据悉,ZingHR此前曾获得Tata Capital Growth Fund约1000万美元的股权投资,后者已获得该公司33%的股权。(prnewswire)[2023/3/20 13:14:48]

Resource的定义

Resource是一种用?key?和?store?ability限制了的结构体:

module?M?{????struct?T?has?key,?store?{????????field:?u8????}}Resource的限制

在代码中,Resource类型有几个主要限制:

Resource存储在帐户下。因此,只有在分配帐户后才会存在,并且只能通过该帐户访问。

一个帐户同一时刻只能容纳一个某类型的Resource。

Resource不能被复制;与它对应的是一种特殊的kind:resource,它与copyable不同,这一点在泛型章节中已经介绍。

Resource必需被使用,这意味着必须将新创建的Resource?move到某个帐户下,从帐户移出的Resource必须被解构或存储在另一个帐户下。

刚才的案例

struct?Counter?has?key,?store?{????value:u64,}

过去一周Circle USDC流通量减少9亿美元:据官方数据,1月26日至2月2日期间,Circle共发行22亿美元USDC,赎回30亿美元USDC,流通量减少约9亿美元。

截至2月2日,USDC总流通量为424亿美元,储备量为425亿美元,其中现金93亿美元,短期美国国债332亿美元。[2023/2/5 11:48:01]

所以这里就有一个和solidity的区别了,在eth上如果需要发行一个新资产,比如usdc。那这个资产是记录在合约里的某个map中。而move就不同了,资产是作为resource存在用户地址下的。

定义函数

public?fun?init(account:?&signer){????move_to(account,?Counter{value:0});}public?fun?incr(account:?&signer)?acquires?Counter?{????let?counter?=?borrow_global_mut(signer::address_of(account));????counter

public?entry?fun?init_counter(account:?signer){????Self::init(&account。public?entry?fun?incr_counter(account:?signer)??acquires?Counter?{????Self::incr(&account。

定义格式则是:

public?fun?函数名(参数:参数类型){?}

move函数默认是私有函数,只能在定义它们的模块中访问。关键字public将更改函数的默认可见性并使其公开,即可以从外部访问。

init方法参数是一个&signer,意味着该方法必须是一个账户合法签名过后才可以调用,move_to则是move的一个原语,作用是发布、添加Counter资源到signer的地址下。Move的账户模型,code和data是存储在一个账户地址下的。

下面是列举的常用原语

move_to<T>(&signer,T):发布、添加类型为T的?Resource?到signer的地址下。

move_from<T>(addr:address):T-从地址下删除类型为T的?Resource?并返回这个资源。

borrow_global<T>(addr:address):&T-返回地址下类型为T的?Resource?的不可变引用。

borrow_global_mut<T>(addr:address):&mutT-返回地址下类型为T的?Resource?的可变引用。

exists<T>(address):bool:判断地址下是否有类型为T的?Resource。

incr方法参数也是一个&signer,意味着该方法必须是一个账户合法签名过后才可以调用,

关键字?acquires,放在函数返回值之后,用来显式定义此函数获取的所有Resource。

Signer::address_of(account)从签名者中拿到address

borrow_global_mut上面有介绍到,可变借用到address下的resourceCounter,然后将Counter结构体下的value进行1操作。

这下面的两个方法则是script方法,它与上面两个函数有什么区别呢?

publicfun:方法可以在任何模块中被调用。

public(script)fun/publicentryfun:scriptfunction是模块中的入口方法,表示该方法可以通过控制台发起一个交易来调用,就像本地执行脚本一样

下个版本的Move会用publicentryfun替代public(script)fun

Self则是代表自身module。

使用AptosCli编译、部署、调用合约

#?创建新的测试环境aptos?init?--profile?devtest?--rest-url??--faucet-url?#?编译move合约aptos?move?compile?--package-dir?my-counter#?部署合约#?例如:aptos?move?publish?--package-dir?my-counter?--named-addresses?basecoin=0x8e00bd9827faf171996ef37f006dd622bb5c3e43ec52298a8f37fd38cd59664?--profile?devtestaptos?move?publish?--package-dir?my-counter?--named-addresses?basecoin=?--profile?devtest#?调用合约#?例如:#?aptos?move?run?--function-id?0x8e00bd9827faf171996ef37f006dd622bb5c3e43ec52298a8f37fd38cd59664::MyCounter::init_counter?--profile?devtest#?aptos?move?run?--function-id?0x8e00bd9827faf171996ef37f006dd622bb5c3e43ec52298a8f37fd38cd59664::MyCounter::incr_counter?--profile?devtestaptos?move?run?--function-id?::::?--profile?devtest#?列出指定账户的modules/resources信息aptos?account?list?--query?modules?--account?0xa1285adb4b8abedf5faf7a46d260c5844f1f64d59dd9b8869db1543cf5bbadf4?--profile?devtestaptos?account?list?--query?resources?--account?0x4200c2b801870f20a709abba80b6edb90a45ecd9b8acce9842b93d597602edcf?--profile?devtest

AptosSDK调用Move合约

编译好合约之后,我们可以通过sdk调用我们的合约。

我们可以选择通过sdk部署合约,也可以通过sdk调用move合约。

通过sdk部署合约

当我们编译完成之后,会在move合约文件夹下生成?build/?文件夹

我们需要把?my-counter/build/Examples/bytecode_modules/MyCounter

通过SDK发送交易

这里,我们以my-counter合约中的init_counter?和?incr_counter?为例。

构造两个方法用于调用这两个方法,从而实现客户端调用?init?和?incr?的功能。

async?function?initCounter(contractAddress:?string,?accountFrom:?AptosAccount):?Promise?{??const?scriptFunctionPayload?=?new?TxnBuilderTypes

async?function?incrCounter(contractAddress:?string,?accountFrom:?AptosAccount):?Promise?{??const?scriptFunctionPayload?=?new?TxnBuilderTypes

通过?SDK?获取账户里的资源信息。

resource是存放在所属的账户地址下的,我们可以根据account地址,查询相关的resource信息。

getCounter()方法其实就是获取?my-counter?下的**Counter**资源。

async?function?getCounter(contractAddress:?string,?accountAddress:?MaybeHexString):?Promise?{??try?{????const?resource?=?await?client

执行效果

执行成功,在这里通过SDK,给一个随机生成的账户init了Counter资源,然后incr了三次,所以最后Counter的Value为?3。

image-20220831200516865

my-counter相关代码:https://github.com/99Kies/Aptos-Move-Dapp

参考资料

UsingCLItoRunaLocalTestnet|AptosDocs:?https://aptos.dev/nodes/local-testnet/using-cli-to-run-a-local-testnet

源码:?https://github.com/aptos-labs/aptos-core/blob/main/aptos-move/framework/move-stdlib/sources/signer.move

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

金宝趣谈

[0:15ms0-6:313ms