Starknet改進語法全解讀_OWN:Australian Safe Shepherd

Cairo 編譯器的第 2 版對 Starknet 語法進行了更改，使代碼更加明確和安全。智能合約公共接口是使用特征定義的，并且對存儲的訪問是通過 ContractState 特征完成的。私有方法必須使用與公共接口不同的實現來定義。事件現在定義為枚舉，其中每個變體都是同名的結構。

就在上周，Cairo 編譯器的新的主要版本 2.0.0-rc0 在 Github 上發布。新的編譯器對 Starknet 插件進行了重大改進，使我們的代碼更安全、更明確、更可重復使用。請注意，Starknet 測試網或主網尚不支持這個新版本的編譯器，因為它仍在集成環境中進行。

本文的目標是向您展示如何將為 Cairo 編譯器版本 1.x 創建的 Starknet 智能合約重寫為與編譯器版本 2.x 兼容的智能合約。我們的起點是上一篇文章中創建的 Ownable 智能合約，它與 Cario 編譯器版本 1.x 兼容。

#[contract]mod Ownable {use starknet::ContractAddress;use starknet::get_caller_address;

#[event]fn OwnershipTransferred(previous_owner: ContractAddress, new_owner: ContractAddress) {}

struct Storage {owner: ContractAddress,}

#[constructor]fn constructor() {let deployer = get_caller_address();owner::write(deployer);}

#[view]fn get_owner() -> ContractAddress {owner::read(。

PUMA開放3D空間Black Station:6月13日消息，運動品牌 PUMA 宣布開放 3D 空間Black Station，允許用戶探索云端之城 UNKAI 和俱樂部 UNTER，PUMA RB Access Token 持有者可以購買實體 Rulebreaker 運動鞋和領取 2 款數字可穿戴設備。[2023/6/13 21:34:23]

#[external]fn transfer_ownership(new_owner: ContractAddress) {only_owner();let previous_owner = owner::read();owner::write(new_owner);OwnershipTransferred(previous_owner, new_owner);}

fn only_owner() {let caller = get_caller_address();assert(caller == owner::read(), 'Caller is not the owner');}}

由于 Protostar 尚不支持編譯器 v2，因此本文將依賴支持它的 Scarb 預發行版本（版本 0.5.0-alpha.1）。要安裝該特定版本的 Scarb，您可以使用以下命令。

$ curl --proto '=https' --tlsv1.2 -sSf | bash -s -- -v 0.5.0-alpha.1

安裝完成后，驗證您是否獲得了正確的版本。

$ scarb --version>>>scarb 0.5.0-alpha.1 (546dad33d 2023-06-19)cairo:2.0.0-rc3()

現在可以創建一個 Scarb 項目。

$ scarb new cairo1_v2$cdcairo1_v2

您應該得到如下所示的文件夾結構。

Aurora與Meta Pool合作推出原生流動性質押代幣stAUR:4月27日消息，NEAR生態EVM擴容網絡Aurora宣布與流動性質押解決方案Meta Pool合作推出Aurora上首個原生流動性質押代幣stAUR，stAUR將提高Aurora代幣的資本效率和流動性。

MetaPool稱，目前Aurora代幣持有者取回部分獎勵和代幣需經歷48小時“冷卻期”，Meta Pool支持讓stAUR代幣持有者快速取消質押，并收取2%的費用。[2023/4/27 14:30:53]

$ tree .>>>.├── Scarb.toml└── src└──lib.cairo

為了讓 Scarb 編譯 Starknet 智能合約，需要啟用 Starknet 插件作為依賴項。

// Scarb.toml...[dependencies]starknet="2.0.0-rc3"

設置完成后，我們可以前往 src/lib.cairo 開始編寫智能合約。

在 Cairo 編譯器的版本 2 中，智能合約仍然由帶有 contract 屬性注釋的模塊定義，只是這次該屬性以定義它的插件的名稱命名，在本例中為 starknet。

#[starknet::contract]mod Ownable {}

內部存儲仍然定義為一個必須稱為 Storage 的結構，只是這次必須使用一個存儲屬性來注釋它。

#[starknet::contract]mod Ownable {use super::ContractAddress; #[storage]struct Storage {owner: ContractAddress,}}

為了定義構造函數，我們使用構造函數屬性來注釋函數，就像在 v1 中所做的那樣，優點是現在函數可以具有任何名稱，不需要像 v1 中那樣被稱為“構造函數”。盡管這不是必需的，但出于習慣，我仍然會將該函數稱為“構造函數”，但您可以以不同的方式調用它。

ConsenSys Mesh選擇Codefi Staking運營其在以太坊上的驗證器:據官方消息，ConsenSys Mesh選擇了ConsenSys的機構級質押服務Codefi Staking來運營其在以太坊上的驗證器。

ConsenSys于2020年12月推出Codefi Staking，作為一個面向交易所、托管方、基金、錢包和其他機構的以太坊質押即服務平臺。Codefi Staking有助于消除質押ETH的技術和操作風險，幫助機構實現回報最大化。如今，Codefi Staking運行著超過8000個以太坊驗證器節點，擁有99.95%的正常運行時間記錄。

Codefi Staking將在其多區域、多云和多客戶端平臺上分發MESH的驗證器。在與Codefi Staking合作時，MESH將保留對其ETH的托管和控制權。[2022/6/1 3:56:48]

另一個重要的變化是，現在構造函數會自動傳遞對 ContractState 的引用，該引用充當存儲變量的中介，在本例中為“所有者”。

#[starknet::contract]mod Ownable {use super::ContractAddress; #[storage]struct Storage {owner: ContractAddress,} #[constructor]fn constructor(ref self: ContractState) {let deployer = get_caller_address();self.owner.write(deployer);}}

請注意，寫入和讀取存儲的語法自 v1 以來已發生變化。之前我們執行owner::write()，而現在執行self.owner.write()。這同樣適用于從存儲中讀取。

順便說一下，ContractState 這個類型不需要手動進入作用域，它已包含在前奏中。

與 Cairo 編譯器版本 1 的一個重要區別是，現在我們需要使用帶有 starknet::interface 屬性注釋的特征來明確定義智能合約的公共接口。

NFT收益生態系統99Starz與體育NFT鑄造平臺Lympo達成合作:11月11日消息，NFT收益生態系統99Starz發推稱，與體育NFT鑄造平臺Lympo達成合作。據悉，Lympo旨在創建一個體育NFT生態系統，該生態系統將擁有自己的Play-to-Earn游戲。[2021/11/11 21:43:46]

#[starknet::interface]trait OwnableTrait { fn transfer_ownership(ref self: T, new_owner: ContractAddress); fn get_owner(self: @T) -> ContractAddress;}

#[starknet::contract]mod Ownable { ...}

如果您還記得 v1 中的原始代碼，我們的智能合約有兩個「公共」方法（get_owner 和 transfer_ownership）和一個「私有」方法（only_owner）。這一特征僅處理公共方法，而不依賴于「外部」或「視圖」屬性來表示哪個方法可以修改合約的狀態，哪個方法不允許。相反，現在通過參數 self 的類型來明確這一點。

如果一個方法需要引用 ContractStorage（一旦實現，通用 T 就是這樣），該方法就能夠修改智能合約的內部狀態。這就是我們過去所說的“外部”方法。另一方面，如果一個方法需要 ContractStorage 的快照，那么它只能讀取它，而不能修改。這就是我們過去所說的“視圖”方法。

現在，我們可以使用關鍵字 impl 為剛剛定義的特征創建一個實現。請記住，Cairo 與 Rust 的不同之處在于，實現是具備名稱的。

#[starknet::contract]mod Ownable { ... #[external(v0)] impl OwnableImpl of super::OwnableTrait { fn transfer_ownership(ref self: ContractState, new_owner: ContractAddress) { let prev_owner = self.owner.read(); self.owner.write(new_owner); }

聲音 | Chart Star首席執行官：比特幣擺脫了對比特幣論壇的依賴:金色財經報道，BTC價格曾經是許多論壇的熱門話題。盡管訂閱用戶數量不斷增長，Reddit的比特幣子板塊及其他一些論壇的用戶似乎正在很大程度上忽略比特幣的價格。Chart Star首席執行官David Gilbert表示，這是人們的關注焦點改變的標志。人們現在對比特幣的新聞和發展更感興趣，而不是未來比特幣將達到什么價格。他認為，這是因為比特幣正變得越來越主流，人們已經習慣了比特幣的快速發展。Gilbert稱，隨著機構投資者和更多主流公司表達了對比特幣的興趣，比特幣設法擺脫了對Reddit或比特幣論壇的依賴。這表明比特幣已經成熟并開始流行。[2020/2/15]

fn get_owner(self: @ContractState) -> ContractAddress { self.owner.read() } }}

我們在定義智能合約的模塊內為我們的特征創建了一個實現，將類型 ContractState 作為通用類型 T 傳遞，這樣就可以像構造函數那樣訪問存儲。

我們的實現用屬性 external(v0) 進行注釋。屬性中的版本 0 意味著選擇器僅從方法名稱派生，就像過去的情況一樣。缺點是，如果您為您的智能合約定義了另一個不同特征的實現，并且兩個特征碰巧對它其中一個方法使用相同的名稱，則編譯器會因為選擇器的重復而拋出錯誤。

該屬性的未來版本可能會添加一種新的方法來計算選擇器，以防止沖突，但目前還不能使用。目前，我們只能使用外部屬性的版本 0。

我們還需要為智能合約定義另一種方法，only_owner。此方法檢查調用它的人是否應該是智能合約的所有者。

因為這是一個不允許從外部調用的私有方法，所以不能將其定義為 OwnableTrait（智能合約的公共接口）的一部分。相反，我們將使用 generate_trait 屬性創建自動生成特征的新實現。

...#[starknet::contract]mod Ownable { ... #[generate_trait] impl PrivateMethods of PrivateMethodsTrait { fn only_owner(self: @ContractState) { let caller = get_caller_address(); assert(caller == self.owner.read(), 'Caller is not the owner'); } }}

現在可以通過在需要的地方調用 self.only_owner() 來使用 only_owner 方法。

#[starknet::contract]mod Ownable { ... #[external(v0)] impl OwnableImpl of super::OwnableTrait { fn transfer_ownership(ref self: ContractState, new_owner: ContractAddress) { self.only_owner(); ... } ... }

#[generate_trait] impl PrivateMethods of PrivateMethodsTrait { fn only_owner(self: @ContractState) { ... } }}

在 Cairo v1 中，事件只是一個沒有主體的函數，并用事件（event）屬性進行注釋，而在 v2 版本中，事件是一個用相同屬性注釋的枚舉（enum），但現在使用派生（derive） 實現了一些附加特征。

...#[starknet::contract]mod Ownable { ... #[event] #[derive(Drop, starknet::Event)] enum Event { OwnershipTransferred: OwnershipTransferred, }

#[derive(Drop, starknet::Event)] struct OwnershipTransferred { #[key] prev_owner: ContractAddress, #[key] new_owner: ContractAddress, }}

事件枚舉的每個變體都必須是同名的結構體。在該結構中，使用可選的 key 屬性定義想要發出的所有值，來通知系統我們希望 Starknet 索引哪些值，以便索引器更快地搜索和檢索。在本例中，我們希望對兩個值（prev_owner 和 new_owner）建立索引。

ContractState 特征定義了一個發出方法，可以用來發出事件。

...#[starknet::contract]mod Ownable { ... #[external(v0)] impl OwnableImpl of super::OwnableTrait { fn transfer_ownership(ref self: ContractState, new_owner: ContractAddress) { ... self.emit(Event::OwnershipTransferred(OwnershipTransferred { prev_owner: prev_owner, new_owner: new_owner, })); } ... } ...}

通過這個最終功能，我們已經完成了 Ownable 智能合約從 v1 到 v2 的遷移。完整代碼如下所示。

#[starknet::contract]mod Ownable { use super::ContractAddress; use starknet::get_caller_address;

#[storage] struct Storage { owner: ContractAddress, }

#[constructor] fn constructor(ref self: ContractState) { let deployer = get_caller_address(); self.owner.write(deployer); }

#[external(v0)] impl OwnableImpl of super::OwnableTrait { fn transfer_ownership(ref self: ContractState, new_owner: ContractAddress) { self.only_owner(); let prev_owner = self.owner.read(); self.owner.write(new_owner); self.emit(Event::OwnershipTransferred(OwnershipTransferred { prev_owner: prev_owner, new_owner: new_owner, })); }

您也可以在 Github 上找到這段代碼。

Cairo 編譯器第 2 版為 Starknet 帶來了新的語法，使智能合約代碼看起來與 Cairo 本身更加一致，并且在擴展上更類似于 Rust。即使犧牲了更多繁瑣的代碼，安全方面的優勢也值得權衡。

在本文中，我們沒有觸及關于新語法的所有內容，特別是如何與其他智能合約交互，但您可以閱讀編譯器的變更日志、閱讀論壇上的這篇文章或觀看 StarkWare 的 YouTube 頻道上的視頻來了解更多信息。

這個新版本的編譯器將在幾周內提供給 Starknet 的測試網，在幾周后提供給主網，所以暫時不要嘗試部署此代碼，它還不能運行。

Cairo 一直在變得更好。

資源

合約語法——遷移指南

Cairo 1：合約語法在不斷發展

StarkNet 中文

個人專欄

閱讀更多

金色財經

金色薦讀

Block unicorn

金色財經 善歐巴

區塊鏈騎士

Foresight News

深潮TechFlow

Tags：OWNNERTRASTAethdown幣怎么樣NervaAustralian Safe ShepherdUnited States Property Coin

幣贏交易所