CAI:Cairo 或將取代 Solidity 的原因

在這篇文章中，我將論證Cairo可以影響即將到來的可證明計算的浪潮，就像Solidity支持可組合計算一樣。Cairo是StarkNet的原生編程語言，StarkNet是一種用于擴展以太坊的L2網絡。

當我們把智能合約僅僅看作是金融的延伸(DeFi)或網絡的泛化(web3)時，這是令人遺憾的。智能合約網絡實際上是可組合計算的平臺。

以太坊嵌入了一些允許其計算機程序互操作的標準：

透明字節碼（沒有隱藏的Web API）

標準化API結構（稱為ABI）

保證正常運行時間（每個應用都托管在多臺機器上，每個應用程序拒絕服務是不經濟的）

Cairo公布路線圖：新合約語法將與Starknet alpha v0.12.0共同推出:6月29日消息，編程語言Cairo公布其路線圖，為了社區便利性，創建公共板以描述即將推出的一些新功能；很快將推出新的合約語法，與Starknet alpha v0.12.0一起發布，需要進行一些代碼更改，很大程度上豐富了智能合約語言；通過Cairo1.1.0在Starknet主網上的推出以及即將到來的v2版本，已經達到了語言成熟度的一個重要里程碑。文檔、書籍和Starknet Discord等資源足夠幫助用戶開始并從Cairo 0遷移。

隨著新合約語法的發布，Cairo現在足夠穩定和豐富，足以支持復雜的應用程序，并移植現有的Cairo 0邏輯。此外，Starknet的向后兼容性保證確保即使語言發生重大變化，用戶也將有足夠的時間（至少六個月）來完成合約的開發或審核和部署。[2023/6/30 22:09:25]

內置支付基礎設施（不依賴于Stripe等第三方）

Coinbase資產管理成為CAIA最新數字資產微證書贊助商:金色財經報道，據官方消息，Coinbase資產管理公司成為特許另類投資分析師協會（CAIA）新的數字資產微型證書（Microcredential）的主要贊助商。該微型證書可在CAIA的在線教育平臺UniFi by CAIA上使用，面向私人財富管理行業的專業人士。[2023/6/10 21:28:48]

完整的部署和交易沿襲

不同應用程序層（治理、所有權等）之間無摩擦的合約

這些限制可能會降低開發人員的生產力，但也會以前所未有的規模激勵有狀態應用程序的組合和重用。

動態 | 區塊鏈先驅Caitlin Long將在懷俄明州建立加密銀行:金色財經報道，美國懷俄明州區塊鏈工作組聯合創始人、區塊鏈先驅、華爾街資深人士Caitlin Long表示，她創立的懷俄明州公司正準備向該州的銀行部門申請特殊目的存款機構（SPDI）執照。Long今日宣布，該銀行名為Avanti，將專注于為加密資產提供受監管的服務。該公司成立于1月6日，已經籌集了100萬美元的種子資金。 Avanti將為使用數字資產的機構客戶提供付款、托管、證券和商品活動。[2020/2/25]

Solidity被創建為一種與上述標準兼容的簡單語言。它提供了:

基本狀態機功能(狀態、訪問、更新等)

聲音 | Caitlin Long：比特幣并不一定要被視為法幣才能獲得成功:懷俄明州區塊鏈聯盟聯合創始人Caitlin Long近期在播客節目中表示，比特幣并不一定要被特別視為合法貨幣才能獲得成功。Long稱，根據美國憲法，政府有權告知每個人在其境內哪些貨幣是必須接受的。就在不久前，懷俄明州還明確了數字資產的法律地位，主張虛擬貨幣必須得到與貨幣同等的待遇。Long就此表示，這并不是說它（比特幣）是法幣，但出于某些目的，它在法律上與法幣是被同等對待的。Long還評論了與比特幣和其他加密貨幣崛起相關的“恐懼”心理。盡管近期比特幣受歡迎程度大大提升，但她表示，央行不一定要擔心包括穩定幣在內的加密貨幣。（AMBCrypto）[2020/2/24]

無法訪問不可組合的原語(例如，外部數據饋送)

合約對合約交互的接口（組合方式）

用于交易費用的內置gas計量

對底層虛擬機（程序集）的高性能訪問

雖然現有的編程語言可以適應可組合計算，但它們需要擴展（為組合添加接口）和限制（消除所有形式的非確定性和外部訪問）的組合，這很難合并。此外，在優化上其是與優化 Solidity 代碼（gas 成本）完全不同的性能指標（執行足跡），這些語言的編譯器就是這么被定義的。

StarkNet的可擴展性工具ZK-Rollups啟用了一種被稱為可證明計算的新范式。在這個范例中，我們保留了可組合計算的所有優點，但也允許程序證明它們已被執行，而無需重新運行。

這個簡單想法允許我們從一個需要重新運行交易的網絡(以太坊)轉移到一個更好的網絡(StarkNet)，在這個網絡中，通過驗證交易已以特定結果執行的證明來驗證交易，這是一個更經濟的操作。

因為這個范式是如此不同，它也需要一個不同的計算模型，有效地將程序轉換成數值理論方程，而不是在機器上執行它們。

我們可以用什么編程語言來實現呢?

考慮Solidity是很自然的。首先，它已經支持組合(調用其他智能合約)，并被廣泛采用。第二，在Solidity上部署了一系列應用程序，可以很容易地遷移到其他Layer 2解決方案(包括支持可證明計算的zkSync)。第三，Solidity有一個維護良好的多層編譯器，可以適應不同的用例。

但是Solidity并不是可證明計算的固有特性。任何接受慣用的Solidity代碼并將其轉換為證明的編譯器都會遇到以下問題：

依賴于低效的數據結構，如`uint256

語言層面的可變性

缺乏高效的內置插件

沒有底層訪問

技術細節：在實踐中，有兩種不同的技術來證明通用程序(SNARK和STARK)。SNARK青睞的指令集更適合作為Solidity等語言的編譯目標。STARK提供了更多的可伸展性，同時具有不太自然的指令集。當我們說“Solidity 不是可證明計算的有效語言時，我們實際上是指兩件事：1) Solidity 可以有效地編碼為 SNARK，但它們不像 STARK 那樣可擴展 2)Solidity不是編譯到STARK的最佳語言，因為在 Solidity 中常見的構造對于 STARK 來說是“昂貴的”。

Cairo有上述所有解決方案：

一個稱為felt的底層字段整數數據類型是可用的(與uint256類型一起)

Cairo語言習慣上只編寫一次(類似于函數式編程語言)

正在為常見計算開發越來越多的內置非確定性提示

Cairo提供了對底層原語的完全底層訪問

Cairo編程更具挑戰性，生態系統工具仍在不斷成熟。但擴展以太坊的全部意義在于超越現有的限制，構建更好的可組合應用。如果是這樣，為什么止步于Solidity?

Source：https://medium.com/yagi-fi/provable-vs-composable-computation-or-why-cairo-will-supersede-solidity-6b00e69bfc9e

Tags：CAIARKDITLIDMCAIMARKSDITTO價格VSolidus

幣贏