Cairo是第一個用于生成通用計算的STARK證明的生產級平臺,具有圖靈完備,高效等特點。我們開發的所有內容都是用Cairo編寫的,從提交Reddit的競標開始,到我們即將部署的各個項目:DeversiFi、Immutable和dYdX。
無論你的計算和儲蓄需求有多少,如果你需要在以太坊上以較低的Gas成本大規模應用,Cairo都很有用。在接下來的幾個季度中,我們會開始提供Cairo的開發者工具,在此之前,請你直接聯系我們,我們可以一同開發你的應用。
項目背景
擴展Reddit競標對于我們StarkWare來說是一個里程碑,不光是因為我們取得的成績,更因為我們取得該成績的方法。這次Reddit競標是我們第一次在以太坊主網部署Cairo,一個用于生成通用計算的STARK證明的圖靈完備1生產級平臺。我們其他即將在主網部署的項目都會基于Cairo,包括:
Coinbase 研究主管:狗狗幣支付很難在X平臺推出:金色財經報道,Coinbase研究主管David Duong在 Twitter Space中談論了 Twitter 品牌重塑后的新發展。他認為,金融世界自然地將一切連接起來,因為用戶必須為東西付費。如果狗狗幣(DOGE)是允許在平臺上付款的記賬單位,那么狗狗幣價格可能會上漲,這是有道理的。不過,Duong 警告說,馬斯克是否會在 X 平臺上實施狗狗幣支付則是另一個問題,他說:“X 很可能是一款支付應用程序,就像 Apple Pay 一樣,但支付不一定是用加密貨幣進行的,狗狗幣支付很難在X平臺推出”。[2023/7/26 16:00:35]
DeversiFi的StarkEx2.0
支持ImmutableX的StarkEx系統,為Immutable團隊的GodsUnchained游戲打造的NFT交易系統
為dYdX的永續合約打造的StarkEx系統
本文將涵蓋以下內容:1.我們為什么需要Cairo;2.項目的新穎之處,其性能及擴展效率;3.討論我們向社區開發者分享Cnaairo工具鏈的開發計劃。
Klaytn正式發布Klaytn v1.10.0,計劃于明年初執行:12月27日消息,韓國互聯網巨頭Kakao旗下區塊鏈平臺Klaytn發布Klaytn v1.10.0,其中包含硬分叉“Kore”升級,硬分叉包含包括完成鏈上治理投票方法(KIP-81)、新的GC獎勵結構(KIP-82)和EVM更改。
本次硬分叉將根據各自的區塊編號應用于Baobab和Cypress網絡,前者計劃在第111736800區塊高度(北京時間約2023年1月10日上午9點)執行,后者將會在2023年3月下一個版本(v1.10.x)中公布。[2022/12/27 22:10:57]
需求:圖靈完備的生產級STARKs
自從我們成立以來,就一直專注于解決可擴展性問題,從以太坊擴展性開始。我們很早就意識到有效性證明是一個強大的擴展性解決方案,而且STARKs在為通用計算解決擴展性問題上有其獨到之處。快速回顧一下概念:一個鏈下證明器,可以處理大量運算,并產生量級上更小的有效性證明,這些證明反過來又可以在鏈上驗證。
灰度:SEC在其比特幣期貨ETF訴訟中提交法律摘要:金色財經報道,Grayscale Investments表示,美國證券交易委員會已經在該加密貨幣資產管理公司因其現貨比特幣交易所交易基金的申請被拒絕而提起的訴訟中提交了其第一份法律簡報。
在73頁的回應簡報中,美國證券交易委員會認為其拒絕是 \"合理的。期貨和現貨的比特幣基金是 \"根本不同的產品。[2022/12/11 21:37:08]
我們每個合作伙伴都有一類獨特的運算需要下放到Layer2上。DeversiFi的現貨交易,Immutable的NTF生成與交易,而dYdX則要執行永續合約。為每個項目定制手寫打造一個STARK系統2將耗時巨大,就像為每個計算構建一個專用ASIC一樣。因此,我們要想拓展業務并支持高性能和速度,就需要在第二層有一個圖靈完備的生產級STARK系統,因此我們開發出了Cairo。Cairo是CPUAlgebraicIntermediateRepresentation)的首字母縮寫,并包含單個AIR來驗證這個「CPU」的指令集。
幣安今日出現了高達53,000枚比特幣的大額流出:金色財經報道,根據CryptoQuant數據監控,幣安今日出現了高達53,000枚比特幣的大額流出,該交易大概率為內部錢包整理,或為冷錢包轉入儲備證明錢包的行為。[2022/11/17 13:16:39]
解決方案:Cairo,單一AIR的通用方案
Cairo連接了一系列用于構建通用計算可擴展性與零知識證明的工具鏈。
所有先前部署在測試網或者主網上的系統都只能被歸為「電路編寫庫」3。這些庫可以看作是為創建用于特定計算的ASIC的工具鏈。而Cairo與之完全不同,應該看作是從ASIC向CPU的過度。
Cairo是第一個實現圖靈完備的馮諾伊曼結構的生產級證明系統,每個Cairo程序P以及它處理的數據D都存留在虛擬機的內存中。Cairo的單一AIR可以驗證任意Cairo程序,因此驗證器也是單一的,形式可以是智能合約或者WebAssembly程序等。也就是說,Cairo的AIR可以驗證用數據D跑程序P的計算完整性,以及執行后系統狀態的正確性。
BitMEX計劃在今年年底推出平臺Token BMEX:10月2日消息,加密交易平臺 BitMEX 首席執行官 Alexander Hoeptner 在新加坡舉行的 Token2049 會議上接受采訪時表示,計劃在今年年底推出其交易平臺 Token BMEX。
此前報道,今年 7 月,BitMEX 考慮到市場條件不理想決定推遲 BMEX 上線時間,并希望讓 BMEX 在持有者能獲得最佳回報機會的環境中上線。[2022/10/3 18:37:57]
有了Cairo,新的業務邏輯不再需要新的智能合約,而只需要另外一個Cairo程序。由此,業務邏輯和證明系統的界限劃分明確了。
用單一的AIR來解決所有問題還具有一個深遠的意義:我們可以使用單一證明來斷言不同程序執行的完整性。比如,基于VeeDo的密封競標拍賣、GodsUnchained卡牌的生成、一批dYdX上的交易,這些都可以用同一個證明來證實其有效性。我們把這項功能稱為通用驗證服務,我們很快會提供更多相關信息。
Cairo語言
Cairo程序要用到類似匯編語言的、也叫Cairo的語言來編寫,而Cairo語言具有以下功能:內存、函數調用、遞歸和分支條件。Cairo還用到了證明器端的「hints」來創建快捷方式并啟用特定計算。我們說Cairo是生產級的,我們說的不僅是即將到來的主網部署,更是我們為此構建出的強大開發環境,包括一個從Cairo語言到Cairo字節碼的編譯器、一個用于模擬Cairo執行的虛擬機、調試器、集成開發環境、還有上述提到的用Solidity編寫的單一驗證器智能合約。
我們將很快發布白皮書,詳細介紹Cairo的設計理念以及對于該新一代編程語言的完整規范。在下面幾個月中,我們會開始發布用于編寫、調試和運行Cairo程序的工具。
Cairo的效率和安全性
我們可以從兩個方面考慮效率和安全性:涉及數學的方面和工程實現方面;而Cairo會在這兩個方面都使代碼更加高效且安全。
Cairo的AIR相對簡單,也就可以為鏈上驗證和鏈下證明服務提高效率并降低成本。這也提高了安全性,因為審核單個簡單的AIR比審核多個復雜的專用AIR要安全得多。
因此,有了Cairo,我們可以依賴于單一驗證器智能合約,再也不用為每個應用都部署一個驗證器。在安全性方面這意味著:對這一份智能合約的審計就能保護所有應用都免受證明系統風險影響,而應用僅僅需要審計自己的業務邏輯。而對于業務邏輯,理解并審核其代碼相比專用AIR來說要簡單得多了。
為了理解Cairo中實際應用中的具體效率,我們來看這兩個例子:
DeversiFi
目前在以太坊主網上支持DeversiFi2.0的StarkEx系統是個ASIC的STARK,我們在Cairo中也部署了相同的StarkEx,在測試網上運行,并比較兩個系統。通常來說,CPU比ASIC要慢,但在實際案例中,由于Cairo強大的優化,兩個系統幾乎沒有差別:
Cairo證明器比當前的ASIC實現慢30%
驗證器只消耗1.03倍的gas
Reddit競標
我們與以太坊生態中的其他項目一起沖刺完成了Reddit可擴展性競標。多虧了Cairo,我們才能:
我們以前所未有的效率完成了比賽。我們可以把所有30萬個交易都打包成一個證明,還用到了聚合調用數據。這是Cairo可編程性及優化算法所得便捷性的直接成果。我們在6分03秒內完成了所有任務。
值得注意的是:更高級別的編程能輕易增加優化,這些優化帶來的好處通常大于上文提到的CPU劣勢。因此,在多數情況下,使用Cairo比使用量身定制的AIR實際上可能最終實現更好的性能。
我們以超快的速度完成了比賽。沒什么人注意到我們的單個證明在7月15日就提交到主網上了,比六周的沖刺期提前了兩周。這也是Cairo給我們帶來的奇跡。
前路漫漫
我們計劃將我們與其他人開發的Cairo和GPS提供給社區廣大的開發者,為大家提供強大的開發工具,我們計劃開發出從更高級語言到Cairo的編譯器,還要給開發者長期提供我們的云上開發環境。這都需要大量的精力與資源,Cairo不是一天建成的。我們將定期一步一步更新Cairo,為大家提供更強的功能、性能及優化。
目前我們與合作伙伴DeversiFi、Immutable和dYdX一同在使用中不斷調試Cairo,每周都有進展。如果你想現在開始在以太坊上進行開發,但受限于擴展性和日益增長的gas價格,如果你想構建一個真正的生意,需要生產級高性能的工具鏈,請聯系我們。
腳注
:我們使用該術語的通俗含義,即,涵蓋所有現實世界的通用計算
:更準確地說,應用之間的不同點就在于AIR,AIR之于STARK來說就好比運算電路與R1CS系統之于SNARKs。
:根據zkp.science的綜合分類
Uniswap的克隆項目Sushiswap今日正式完成了流動性遷移工作,從Uniswap圈走了近13億美元的流動性,這是迄今為止DeFi領域最重要的一筆交易.
1900/1/1 0:00:00資產管理公司Grayscale在最新的一份報告中指出,當今的比特幣市場就像是2016年初的牛市前夜.
1900/1/1 0:00:00作者?|?Lucas?Outumuro自從11多年前,比特幣誕生以來,比特幣的用例和敘事發生了很大的變化,從點對點的現金到匿名暗網貨幣再到數字黃金等等.
1900/1/1 0:00:00文?|Nancy?編輯|畢彤彤出品|PANews輪番來襲的熱點,正書寫著加密市場一輪又一輪的財富故事。DeFi狂奔的腳步還在繼續,跨鏈又成為投資者競相爭搶的香餑餑.
1900/1/1 0:00:00北京時間9月14日消息,DeFi借貸協議bZx再次遭到攻擊,而這次攻擊共造成了大約800萬美元的損失,據bZx聯合創始人KyleKistner最初提到稱:“這似乎是一次預言機操縱攻擊.
1900/1/1 0:00:00本文作者 周蓉,江哲 來自趣鏈科技數據網格實驗室BitXHub團隊,主要負責區塊鏈賬本互操作技術相關研究工作。導讀:本文是Polkadot系列文第三篇.
1900/1/1 0:00:00