以太坊 (ETH) 的關鍵編程語言 Cairo 獲得重大升級

zk-STARKs（零知識可擴展透明知識論證）已經發展成為以太坊（ETH）區塊鏈的主流基於 zk 的 L2 解決方案。

StarkWare 發布 Cairo 1.0，這是其編程語言的首次升級

根據 StarkWare 團隊分享的官方聲明，其編程語言 Cairo 將進行首次重大升級，稱為 Cairo 1.0。

發佈時間：開羅 1.0 🦅
這是開羅迄今為止最大的進步。

Cairo 1.0 將增強可用性、安全性和便利性。 它將支持 StarkNet 的無許可網絡要求，並將簡化和保護協議https://t.co/HgpR6f1VRm pic.twitter.com/VaCol0cckn

— StarkWare（@StarkWareLtd） 2022 年 9 月 12 日

隨著 v1.0 的升級，Cairo 成為智能合約和 dApps 開發人員更強大、更簡單、更可用的編程語言。

Cairo 的核心是 Sierra（安全中間表示），這是一個中間層，旨在確保每個 Cairo 程序都可以得到安全驗證。

廣告

這種設計讓整個網絡在抗攻擊方面更加可靠。

面向 L2 程序員的高級開發人員體驗

此外，激活 Cairo 1.0 後，其用戶（開發人員）將享受其所有智能合約和應用程序的以太坊級安全性。

這兩項成就都不會使網絡犧牲成本效益和去中心化。

根據 L2Beat 跟踪器，StarkWare 的 StarkEx 技術是 L2 領域最關鍵的技術之一：TVL 的 10 個最大協議中有 XNUMX 個（dYdX、Immutable X 和 Sorare）建立在它之上。