StarkNet 徹底改革 Cairo 編程語言以推動開發人員採用

以太坊第 2 層擴展平台 StarkNet 對其內部的 Cairo 編碼語言進行了大修，以使開發人員可以進行 Web3 開發。

與 Cointelegraph 分享的公告概述了 Cairo 1.0 的升級，該版本被吹捧為模仿流行編程語言 Rust 的特性。此次改革旨在讓具有一般編碼經驗的開發人員開始在 StarkNet 的以太坊第 2 層網絡上構建去中心化應用程序。

StarkWare 聯合創始人兼總裁 Eli Ben-Sasson 告訴 Cointelegraph，讓不同背景的開發人員更容易獲得第 2 層開發是 Cairo 改造的主要原因：

“主要驅動因素是安全性和易用性，進行大修提供了一個極好的機會來刪除具有傳統語言背景的開發人員的條目。”

5 月 XNUMX 日發布的技術規範包含對 Cairo 語言的一系列改進，包括改進的語法和語言結構、整體類型系統、直觀的庫、優化的代碼和通過要求數據類型規範的強類型。

StarkNet 強調 Sierra——代表安全中間表示——是開羅改革的主要補充。 Sierra 充當 Cairo 1.0 和 Cairo 字節碼之間的新中間表示層。

正如 Ben-Sasson 解釋的那樣，Sierra 是確保無許可網絡的一個重要方面。升級使還原交易能夠包含在 StarkNet 塊中，幫助協議避免添加複雜的“加密經濟機制”。

Ben-Sasson 表示，Sierra 將允許 StarkNet “繼承以太坊的完整抗審查性”，主要防止 Sequencer 拒絕服務攻擊。

As Cointelegraph 先前報道, Ben-Sasson 開創了 zk-斯塔克密碼學與其他計算機科學家一起。零知識可擴展透明知識論證是一種加密和驗證交易數據以提供安全性、可擴展性和抗量子計算能力的證明系統。

據 StarkNet 稱，按總價值鎖定，Cairo 是第四大最受歡迎的智能合約語言。它是處理超過 300 億筆交易、鑄造 90 萬個不可替代代幣並促成價值 790 億美元的交易在以太坊上結算的應用程序基礎。