本文目標:資源、能力、全局存儲、單元測試
介紹
Move語言使得在區塊鏈世界中創造數字“事物”,以及擁有和轉移它們變得非常容易。Move是一種非常簡單的語言——這是有意為之。復雜性總是引入額外風險,漏洞會在意想不到的應用中顯現出來。我們看到過利用智能合約導致數十億美元資產被盜的恐怖故事。因此,我們希望數字資產是安全的。Move語言的簡單性,為這種安全提供了一條實現路徑。
本篇文章,首先比較理論,因為在深入研究代碼之前,對于資源是什么、如何控制資源,有良好正確的感知非常重要。這會包括外行理論與學術理論。
資源:數字事物
Move中的“資源”就是是一種“數字事物”。那東西可以是你想要或想象的任何東西:演唱會門票、NFT、一本書、兩個企業之間的合同、社交媒體文章等。你能想到的東西,都可以是一種資源。我們以Alice和Bob去參加一場演唱會,他們需要門票為例。在Move中,我們可以簡單地這么創建門票類:
structConcertTickethaskey{seat:vector,ticket_code:vector,}
Move模塊中的代碼現在使我們能夠向Alice和Bob發送門票。有了上面的結構,我們可以簡單地創建一張門票:
過去4小時全網爆倉約1608.44萬美元,APT爆倉187.78萬美元:金色財經報道,數據顯示,過去4小時全網爆倉約1608.44萬美元,其中,多單爆倉534.63萬美元,空單爆倉1073.70萬美元。BTC爆倉511.92萬美元,APT爆倉187.78萬美元,XRP爆倉178.98萬美元,ETH爆倉96.16萬美元。[2023/8/9 16:16:02]
publicfuncreate_ticket(account:&signer,seat:vector,ticket_code:vector):ConcertTicket{letseat=vector;letticket_code=vector;ConcertTicket{seat,ticket_code}}
在“外行理論”方法中,可以把資源想象成離散的物理對象,而不是像程序員一樣去思考。我們的“結構”是配方、建筑圖紙、指令列表或任何你想使用的類比。讓我們作個分解:
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}
Aptos基金會提出完全可重現的性能測試基準:4月28日消息,Aptos 基金會提出完全可重現的性能測試基準,并提出了交易和峰值性能等術語的定義,以便正確衡量性能。為了實現此評估的端到端、真實世界設置,Aptos 基金會建立了一個完整的節點網絡,并在其上運行了完整的節點堆棧。為了使其盡可能接近真實世界的設置,Aptos 基金會將其建模為接近主網網絡。[2023/4/28 14:32:20]
你可以隨意命名資源,但它必須以大寫字母A-Z開頭。之后,名稱可以包含下劃線_、字母a-z、字母A-Z或數字0-9。該結構將具有某些“能力”,我們將在稍后介紹。但現在,只要知道這些能力將包括“key”、“store”、“copy”和“drop”中的一種或組合。
在結構中,你可以擁有任意數量的鍵值對。鍵名應該用蛇形命名。每個鍵值對中的值必須是以下類型之一:
boolu8u64u128addresssignervector:vector<{non-referenceMoveTypeId}>struct:{address}::{module_name}::{struct_name}::<{generictypes}>reference:immutable&andmutable&mutreferences
Aptos將在明年二季度初設計把存儲和執行成本分開的Gas模型:12月23日消息,Aptos團隊表示,將在未來幾個月致力于改善Gas費用,第一步是在2023年1月將動態NFT的Gas價格降低10倍(應為變為原來的1/10),第二步是在明年一季度構建Gas高效數據結構,第三步是在2023年第二季度初設計一種新的Gas模型,將存儲和執行成本分開,從而為執行提供需求驅動的Gas成本。[2022/12/23 22:03:35]
我們在這里給我們的包一個名子和版本號。另一個值得注意的是TicketTutorial="0xe110"行。對于我們上面談到的結構和函數路徑,這是我們設置地址的地方。一旦我們編譯項目,我們會將字節碼模塊發布到Aptos區塊鏈上的一個帳戶。我們可以使用離散地址來調用結構和函數,例如:
0x95876b0492fe3912863e55bab6f74703::Module::Struct
但這有點麻煩。Move
這是一個簡單的內聯單元測試,以確保我們的代碼在編譯和部署之前在基礎層面上工作。第一行是編譯器指令,指示下一個函數是一個測試:
#
它還為我們提供了創建簽名者的能力,我們可以使用@0x1地址表示法將其傳遞給測試函數。我們調用create_ticket函數來創建并提供簽名者座位號“K24”,票證代碼為“AB43C7F”。b"string"是一個字符串文字運算符,它給我們創建一個向量。通過這個函數調用,我們創建了ConcertTicket并將其存儲在地址0x1的收件人帳戶中。
Aptos Grant DAO首輪二次方投票結束,38862社區成員參與貢獻:12月21日消息,長期資助計劃Aptos Grant DAO已于北京時間12月20日23:59在DoraHacks.io關閉首輪二次方投票通道。本輪二次方資助共有18個BUIDL入選,收到來自38,862名社區成員的44,418次二次方投票,總計資助14,241.8 ATP。
即日起首輪Aptos Grant DAO進入為期五天的寬限期(Grace Period)。寬限期內,平臺將對項目投票結果進行閉源分析,檢測投票中的女巫攻擊(Sybil Attack),最終結果和排行榜將于寬限期后公布。[2022/12/21 21:58:15]
這是一個測試,所以我們必須確保它有效。我們使用函數Signer::address_of將“recipient”的地址存儲在我們的變量recipient_addr中。然后我們可以使用exists來查看ConcertTicket資源是否實際存儲在該地址。exists指令是另一個具有exists(address):bool接口的全局存儲操作符。傳入我們的類和我們正在檢查的地址,會給我們一個關于該地址是否存在資源的true/false響應。
最后,Assert!是一個類似于宏的操作,可以讓我們測試一個條件,條件不滿足時將退出并返回錯誤代碼。如果我敲了接近4,000字對你們這些超級大腦來說還不夠,更多細節在這里:
流動性質押解決方案 Ditto Finance 在 Aptos 主網上線:10月19日消息,流動性質押解決方案在 Ditto Finance 在 Aptos 主網上線。據悉,預挖礦質押將在幾天后開始。[2022/10/19 17:32:15]
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能夠購買門票,甚至可以交易或出售這些門票,并確保每個人都能在演唱會上獲得他們想要的座位。敬請關注!
隨著數字經濟的持續發展,新興科技概念Web3走進人們的視野。幾乎每一個人都想知道,Web3究竟給這個數字經濟新時代帶來怎樣的機會?創業者和投資人作為Web3生態的參與者,他們的哲思又是什么? 2.
1900/1/1 0:00:00最近,基于Move語言的區塊鏈項目即Aptos,被廣泛關注。截止到今天為主Aptos,社區成員已經突破10w用戶,生態項目覆蓋Wallet、DEX、DeFi、Web3、NFT和MemeCoin、.
1900/1/1 0:00:00在密碼學中,可驗證隨機函數是一種隨機數生成器,可以通過加密手段來驗證隨機性。可驗證的隨機數對許多區塊鏈應用來說都是不可或缺的要素,因為這類隨機數具有防篡改性和不可預測性,可以用來打造刺激的游戲體.
1900/1/1 0:00:00據DappRadar數據,JustLendDAO在過去7日中,用戶增長50.86%,交易數增長37.39%,成交量增長13.15%.
1900/1/1 0:00:00各位朋友,歡迎來到SignalPlus每日晨報。SignalPlus晨報每天為各位更新宏觀市場信息,并分享我們對宏觀趨勢的觀察和看法。歡迎追蹤訂閱,與我們一起關注最新的市場動態.
1900/1/1 0:00:00“波卡知識圖譜”是我們針對波卡從零到一的入門級文章,我們嘗試從波卡最基礎的部分講起,為大家提供全方位了解波卡的內容,當然這是一項巨大的工程,也充滿了挑戰.
1900/1/1 0:00:00