EST:Aptos开发入门教程:创建资源(一)-ODAILY

本文目标:资源、能力、全局存储、单元测试

介绍

Move语言使得在区块链世界中创造数字“事物”,以及拥有和转移它们变得非常容易。Move是一种非常简单的语言——这是有意为之。复杂性总是引入额外风险,漏洞会在意想不到的应用中显现出来。我们看到过利用智能合约导致数十亿美元资产被盗的恐怖故事。因此,我们希望数字资产是安全的。Move语言的简单性,为这种安全提供了一条实现路径。

本篇文章,首先比较理论,因为在深入研究代码之前,对于资源是什么、如何控制资源,有良好正确的感知非常重要。这会包括外行理论与学术理论。

资源:数字事物

Move中的“资源”就是是一种“数字事物”。那东西可以是你想要或想象的任何东西:演唱会门票、NFT、一本书、两个企业之间的合同、社交媒体文章等。你能想到的东西,都可以是一种资源。我们以Alice和Bob去参加一场演唱会,他们需要门票为例。在Move中,我们可以简单地这么创建门票类:

structConcertTickethaskey{seat:vector,ticket_code:vector,}

Move模块中的代码现在使我们能够向Alice和Bob发送门票。有了上面的结构,我们可以简单地创建一张门票:

Aptos生态首个借贷和杠杆交易协议Aries Markets主网上线:10月27日消息,经多轮内测,Aries Markets目前已通过OtterSec的安全审计并上线Aptos公链主网。平台现支持USDC、APT、SOL等相关资产借贷与杠杆现货交易,未来还将支持期货交易。用户可通过 ariesmarkets.xyz 访问其主网进行交易,并加入其官方Discord社群参与互动反馈。

Aries Markets是基于Move语言的去中心化借贷和交易协议。平台旨在借助完全去中心化的链上订单簿与自动做市商,为用户提供如同中心化交易所般整合的一站式交易体验。通过统一的保证金账户,用户可以直接访问抵押借贷、兑换、杠杆交易及账户风险管理等功能。[2022/10/27 11:47:26]

publicfuncreate_ticket(account:&signer,seat:vector,ticket_code:vector):ConcertTicket{letseat=vector;letticket_code=vector;ConcertTicket{seat,ticket_code}}

在“外行理论”方法中,可以把资源想象成离散的物理对象,而不是像程序员一样去思考。我们的“结构”是配方、建筑图纸、指令列表或任何你想使用的类比。让我们作个分解:

PancakeSwap与Aptos集成,将部署其原生Token CAKE:10月24日消息,BNB Chain链上去中心化交易平台PancakeSwap与Aptos集成,将部署其原生Token CAKE与其他关键产品,使CAKE Token首次实现多链部署。Aptos和PancakeSwap用户及项目将能够使用PancakeSwap的所有核心产品,例如Swap、Farm、Pools和IF0。[2022/10/25 16:37:31]

structWhatYouWantToCallIthasAbilities{any_name_i_want:one_of_a_few_type_choices,any_other_name_i_want:one_of_a_few_type_choices,this_is_the_last_one_i_need:one_of_a_few_type_choices}

你可以随意命名资源,但它必须以大写字母A-Z开头。之后,名称可以包含下划线_、字母a-z、字母A-Z或数字0-9。该结构将具有某些“能力”,我们将在稍后介绍。但现在,只要知道这些能力将包括“key”、“store”、“copy”和“drop”中的一种或组合。

在结构中,你可以拥有任意数量的键值对。键名应该用蛇形命名。每个键值对中的值必须是以下类型之一:

Aptos生态钱包MartianWallet下载量突破10万次:8月23日消息,Aptos生态钱包MartianWallet官方推特表示,其应用下载量突破10万次。目前该钱包还在测试阶段,已与Aptos名称服务集成,允许用户使用Aptos名称发送交易。[2022/8/23 12:42:15]

boolu8u64u128addresssignervector:vector<{non-referenceMoveTypeId}>struct:{address}::{module_name}::{struct_name}::<{generictypes}>reference:immutable&andmutable&mutreferences

我们在这里给我们的包一个名子和版本号。另一个值得注意的是TicketTutorial="0xe110"行。对于我们上面谈到的结构和函数路径,这是我们设置地址的地方。一旦我们编译项目,我们会将字节码模块发布到Aptos区块链上的一个帐户。我们可以使用离散地址来调用结构和函数,例如:

0x95876b0492fe3912863e55bab6f74703::Module::Struct

Tortuga Finance正基于Aptos建立非托管流动性质押协议:8月14日消息,流动性质押项目Tortuga Finance发推称,正在基于Aptos建立非托管流动性质押协议。Tortuga Finance致力于支持独立验证器,并提高Aptos的中本系数。[2022/8/14 12:23:59]

但这有点麻烦。Move

这是一个简单的内联单元测试,以确保我们的代码在编译和部署之前在基础层面上工作。第一行是编译器指令,指示下一个函数是一个测试:

#

它还为我们提供了创建签名者的能力,我们可以使用@0x1地址表示法将其传递给测试函数。我们调用create_ticket函数来创建并提供签名者座位号“K24”,票证代码为“AB43C7F”。b"string"是一个字符串文字运算符,它给我们创建一个向量。通过这个函数调用,我们创建了ConcertTicket并将其存储在地址0x1的收件人帐户中。

这是一个测试,所以我们必须确保它有效。我们使用函数Signer::address_of将“recipient”的地址存储在我们的变量recipient_addr中。然后我们可以使用exists来查看ConcertTicket资源是否实际存储在该地址。exists指令是另一个具有exists(address):bool接口的全局存储操作符。传入我们的类和我们正在检查的地址,会给我们一个关于该地址是否存在资源的true/false响应。

派盾:监测到Raptor2发生Rug Pull,损失855枚BNB:2月21日消息,派盾(PeckShield)监测到Raptor2发生Rug Pull,地址0xdaa5e5692f24b0284cbd9fb6fbe2ddc78bf4d34a已经抛售Raptor2并将855枚BNB存入以太坊隐私交易平台Tornado.cash。[2022/2/21 10:06:20]

最后,Assert!是一个类似于宏的操作,可以让我们测试一个条件,条件不满足时将退出并返回错误代码。如果我敲了接近4,000字对你们这些超级大脑来说还不够,更多细节在这里:

AbortandAssert

在我们的测试中,我们使用exists函数来判断资源是否存在,表示测试成功。让我们运行那个测试。

在项目目录中打开一个终端并运行:

cargotest

如果一切正常,你将得到以下输出:

Finishedtesttarget(s)in0.50sRunningunittests(target/debug/deps/tutorial-6df2116825e4520d)running1testCACHEDMoveStdlibCACHEDCoreFrameworkCACHEDAptosFrameworkBUILDINGtutorialsRunningMoveunittests0xe110::Tickets::sender_can_create_ticketTestresult:OK.Totaltests:1;passed:1;failed:0testmove_unit_tests::move_unit_tests...oktestresult:ok.1passed;0failed;0ignored;0measured;0filteredout;finishedin0.41sRunningunittests(target/debug/deps/tutorial-b1774daddf2e13d8)running0teststestresult:ok.0passed;0failed;0ignored;0measured;0filteredout;finishedin0.00sDoc-teststutorialrunning0teststestresult:ok.0passed;0failed;0ignored;0measured;0filteredout;finishedin0.00s

我们的测试设置正在多个地方尝试测试,但我们现在只专注于第一个测试并且它通过了!为了确保这一点,让我们把测试中的函数调用注释去掉

//create_ticket(&recipient,b"A24",b"AB43C7F");

并再次运行,得到这个输出:

RunningMoveunittests0xe110::Tickets::sender_can_create_ticketTestfailures:Failuresin0xe110::Tickets:┌──sender_can_create_ticket──────│error:testfailure│┌─/Users/culbrethw/Development/Tutorials/Tickets/sources/TicketTutorial.move:42:3│││36│public(script)funsender_can_create_ticket(recipient:signer){││------------------------Inthisfunctionin0xe110::Tickets│·│42│assert!(exists(recipient_addr),1);││^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^Testwasnotexpectedtoabortbutitabortedwith1here││└──────────────────Testresult:FAILED.Totaltests:1;passed:0;failed:1

这里显示失败!我们在错误消息中看到,Test不应该中止,但它在此处以1中止,其中with1是我们在Assert!失败时发出的错误代码。当然,有时我们希望测试在某些条件下失败,但我们的大脑需要看到全绿,以便我们知道一切都按计划进行。我们可以使用另一个编译器指令构建我们的测试,通过将我们的测试修改为:

##public(script)funsender_can_create_ticket(recipient:signer){

其中abort_code是我们预期的错误。再次运行cargo测试,我们又回到了全绿:

RunningMoveunittests0xe110::Tickets::sender_can_create_ticketTestresult:OK.Totaltests:1;passed:1;failed:0testmove_unit_tests::move_unit_tests...ok

你可以在这里深入了解单元测试:UnitTestsdiem.github.io

本章节谈了很多理论,但这至关重要。在下一章节中,我们将深入研究代码,让Alice和Bob能够购买门票,甚至可以交易或出售这些门票,并确保每个人都能在演唱会上获得他们想要的座位。敬请关注!

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

地球链

[0:15ms0-1:81ms