StarkNet 徹底改造Cairo 編程語言

以太坊第2 層擴展平台StarkNet 改進了其Cairo 編程語言，以簡化新開發人員的入職培訓。StarkNet 徹底改造Cairo 編程語言

以太坊上的第2 層可擴展性平台為了使Web3 編程更容易為開發人員所接受，StarkNet 更新了其內部Cairo 代碼語言。

在提供的聲明中，描述了Cairo 1.0 的改進。 Rust 是一種眾所周知的編程語言，據說Cairo 正在模仿它。

該更新旨在使具有基本編碼技能的程序員能夠開始在StarkNet 的以太坊二層網絡上創建去中心化應用程序。

根據StarkWare 聯合創始人兼總裁Eli Ben-Sasson 的說法，Cairo 重新設計背後的主要動機是讓不同背景的開發人員更容易接受第2 層開發：

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

1 月5 日發布的技術要求包括對開羅的大量語言增強。它具有增強的語言結構和語法、全面的類型系統、用戶友好的庫、優化的代碼以及通過嚴格的數據類型規範實現的強類型。

Safe Intermediate Representation（Safe Intermediate Representation，簡稱Sierra）是對Cairo 的徹底改革，StarkNet 將其作為主要補充進行推廣。在Cairo 1.0 和Cairo 字節碼之間，Sierra 作為一個新的中間表示層。

正如Ben Sasson 所描述的，Sierra 是確保無許可網絡的重要組成部分。該補丁可以在StarkNet 區塊中包含撤回的交易，這有助於協議避免包含複雜的“加密貨幣經濟程序”。

Ben Sasson 表示，Sierra 主要防禦Sequencer 拒絕服務(DoS) 攻擊，並將使StarkNet 能夠“繼承以太坊的完整抗審查性”。

此前有報導稱，Ben-Sasson 和其他計算機科學家發明了ZK-STARK 密碼學。為了提供安全性、可擴展性和對量子計算的抵抗力，零知識可擴展透明知識論證是一個加密貨幣和驗證交易數據的證明系統。

根據StarkNet 的數據，按鎖定的總價值計算，Cairo 是第四大最流行的智能合約語言。它是應用程序的基礎，使超過3 億筆交易得以處理，9000 萬個NFT 被創建，價值超過7.9 億美元的交易在以太坊上結算。

資訊來源：由0x資訊編譯自COINSCREED。版權歸作者Mercy Adeola所有，未經許可，不得轉載