作者:cookies,風投分析師;翻譯:金色財經xiaozou
Kakarot zkEVM是什么?為什么它能得到V神和StarkWare的支持?Kakarot把EVM帶到Starknet之上,促進了EVM dApp的擴展。讓我們深入了解一下吧!
我們已經啟動并進入了超級賽亞人模式。Kakarot Labs已經正式成立并完成了與頂級投資者的pre-seed早期融資。
讓我們來展望發展愿景、明確當前地位、期待美好的未來吧。
本文將主要介紹以下內容:1、什么是CairoVM?2、什么是Cairo?3、EVM架構;4、Kakarot架構;5、zkEVM的Type分型;6、Kakarot路線圖;7、個人想法。
Kakarot zkEVM是使用Cario語言部署的EVM,通過增強EVM兼容性來擴展Starknet生態系統的可靠性。讓我們來一步一步理解。
1、什么是CairoVM?
Kakarot運行在虛擬機CairoVM之上,是Starknet的基礎架構。CairoVM的主要特性如下:
KAKA NFT WORLD社區自治化(DAO)即將上線:據官方消息,9月15日KAKA 美國基金會總部完成遷址后,將開始部署社區自治化(DAO)功能,首輪治理將就社區的IP NFT 質押挖礦功能進行探討與提案。
DAO是一個以公眾話語權來投票推動想要功能實現的社區,玩家將可以使用自己的話語權推動喜歡的建議實現,打造喜歡的KAKA社區環境。詳情見KAKA官方最新公告。[2021/9/15 23:27:37]
· 將執行表示為多項式方程,以實現可證明的執行。
· 允許所有Starknet交易使用STARK驗證。
2、什么是Cario?
Cario是圖靈完備的STARK友好的CPU架構。
· 圖靈完備:系統能夠計算任何可能的計算/程序。
· Stark友好:StarkWare的驗證系統。鏈下計算完整性由證明者證明,由鏈上驗證者驗證。
那么,Cario是如何運作的?開發人員可以在CaroVM中使用Cairo編寫程序,用高級語言描述statement語句(待證明)。這改善了開發體驗,因為開發人員可以利用ZK證明(ZKP)的可擴展性,而無需學習如何編寫復雜的電路。
SupreNFT與NFT.Metaverse平臺KAKA 達成戰略合作:據官方消息,多元融合NFT平臺SupreNFT宣布與NFT.Metaverse平臺KAKA達成戰略合作。KAKA NFT 作為鏈上IP 聚合價值平臺,將全程參與SuperNFT的盲盒發售。
雙方還將集成優勢、共享資源,在動漫、游戲、電競、虛擬偶像及元宇宙等領域,展開品牌宣傳、市場拓展、社區建設等方面的合作,共同推進Supre NFT與KAKA雙方的生態發展。[2021/7/17 0:59:30]
3、EVM架構
EVM架構是成熟且定義良好的VM(虛擬機)架構,具有:
· 142個操作碼:EVM用于執行交易和智能合約(SC)的指令。需要gas費才能執行。
· 9個預編譯:內置于以太坊中的智能合約用于處理常見操作。可通過標準gas費調用。
4、Kakarot架構
Kakarot基于CairoVM開發,它是:
· EVM字節碼解釋器
· 部署在Starknet上的智能合約
· 使用Cario語言
Kakarot支持:
· 原樣部署EVM智能合約
動態 | 社交巨頭Kakao與IOST孵化項目Contents Protocol達成戰略合作:韓國互聯網社交巨頭Kakao與Contents Protocol達成戰略合作,該合作基于Contents Protocol與Kakao區塊鏈子公司Ground X的關系進行。2018年9月,IOST及其旗下區塊鏈孵化平臺BlueHill對Contents Protocol進行了投資孵化。[2019/3/29]
Kakarot不是:
· 區塊鏈
· 編譯器:不將Solidity代碼轉換為Cairo
截至2023年5月:
· 已實現100%字節碼架構(Type 3 zkEVM)
· 9個EVM預編譯實現了8個
在實現全部9個EVM預編譯后,Kakarot將成為Type 2.5 zkEVM。
5、zkEVM的Type分型
(1)Type 1 zkEVM | 完全等效于以太坊
不改變以太坊系統以支持更容易的證明生成。
優點:
KAKAO在韓國設立“Ground 1”:韓國KAKAO現要在韓國也要設立區塊鏈子公司“Ground 1”的法人,并且招聘區塊鏈的專業人才。Ground 1是KAKAO在日本的子公司Ground X的韓國子公司。前FuturePlay的CTO現Ground X的CEO將會兼任Ground 1 的代表一職。韓國市場設立區塊鏈公司將會推進基于區塊鏈的Dapp服務。[2018/5/16]
· 以太坊擴展的終極解決方案
缺點:
· 計算密集
· 證明時間長(需要數小時)
舉例:
· Scroll
· Taiko
(2)Type 2 zkEVM | 完全等效于EVM
對以太坊系統進行微小修改(不同的哈希函數)讓開發更加容易,且證明生成速度更快。
優點:
· 支持大多數以太坊dApp
· EVM的低效率和不友好性仍然存在
(3)Type 2.5 zkEVM | 與EVM等效(但gas費除外)
增加了EVM中難以使用ZK證明的特定操作的gas成本。
韓國移動社交應用Kakao成立區塊鏈子公司: 韓國移動社交公司Kakao今日透露,正準備建立一個子公司來提供基于區塊鏈的服務,具體細節尚未決定。目前已經通過支付結算公司“Kakao Pay”運行基于區塊鏈接的授權認證服務。[2018/3/5]
· 比更廣泛的EVM變更風險更小
· 降低了開發工具的兼容性
· 部分dApp不兼容
(4)Type 3 zkEVM | 幾乎與EVM等效
移除了那些特別難以實現的特性(例如預編譯)。
· 更快的證明時間
· 更容易的EVM開發
· 部分dApp需要重寫
· Polygon
(5)Tpye 4 zkEVM | 等效于高級語言
智能合約源代碼(高級語言)編譯為ZK-SNARK友好語言。
· 避免了大量的開銷
· 合約地址可能不同于EVM中的地址
· 可能不支持手寫EVM字節碼
· 調試基礎設施不能被繼承,因為它們運行在EVM字節碼上。
· zkSync
· Nethermind
6、Kakarot路線圖
(1)階段1 | 將EVM帶到Starknet
Kakarot最初將作為一個enshrined EVM存于Starknet中。開發體驗和用戶體驗(UX)將與Polygon、Scroll或以太坊相同。
(2)階段2 | L3 zkEVM
通過Kakarot部署zkEVM應用鏈,允許它們利用有效性證明在Starknet上進行交易結算。
通過將Kakarot與Madara Starknet測序器(基于substrate的Starknet測序器)融合為統一的堆棧。
(3)階段2 | zkEVM-Rollup-as-a-Service
只需一次點擊,rollup就會收到:
· 部署在Starknet上的特定應用zkEVM
· 對EVM環境的訪問
· 快速的執行
· 低gas費:使用數據可用性解決方案(Celestia、EigenLayer)
· 加密安全性
zkEVM-Rollup-as-a-Service的優點:
· 通過使用Kakarot在CairoVM中運行Solidity智能合約
·任何部署在EVM上的Solidity智能合約都可以在Starknet上運行,而無需更改代碼
兩全其美:
· 具有EVM的效率
· 智能合約變得可證明
(4)階段3 | Type 1 zkEVM
要進入該階段,Kakarot必須要:
· 在Madara和Kakarot的全節點內使用Cairo編寫以太坊共識規則,以證明L1共識。
· 從Pedersen Merkle Patricia Trie(MPT)切換到Keccak MPT。
然而,階段3具有不確定性。這取決于以太坊路線圖:Verge。目前,以一種可證明且低成本的方式實現Keccak MPT是zkEVM兼容性的主要阻礙。在Verge之后,Keccak可能會被Poseidon取代,成為以太坊的首選哈希函數。
7、個人想法
為Starknet帶來EVM兼容性無疑是一個巨大的進步,但是關于Kakarot的成功仍存在一些顧慮。
(1)高度競爭的ZK領域
競爭對手有:
· 具有不同證明系統(SNARK)的ZK-rollup:Scroll、zkSync、Polygon、Taiko、Linea。
· Optimistic rollup:Optimism、Arbitrum、Base
· 不同的zkVM:RISC Zero、Hyper Oracle
(2)產品市場契合度(PMF)
總的來說,rollup-as-a-service是一個有待驗證的論題,有兩個關鍵方面需要考慮:
· 需要此服務的rollup有多少?
· rollup是否更愿意在內部建設主權和可定制性?
(3)持續的產品迭代
Kakarot正在開發建設一個技術高度復雜的產品,并且可能需要不斷的迭代才能獲得成功。
它還依賴于多個動態組成部分,包括:
· Madara
· 數據可用性解決方案
· 以太坊路線圖:Verge
SevenUp DAO
金色圖覽
LK Venture
金色薦讀
區塊律動BlockBeats
金色周刊是金色財經推出的一檔每周區塊鏈行業總結欄目,內容涵蓋一周重點新聞、礦業信息、項目動態、技術進展等行業動態。本文是其中的新聞周刊,帶您一覽本周區塊鏈行業大事.
1900/1/1 0:00:00以下為Arthur Hayes的全文編譯:幾周前,我在巴黎參觀了一家真正與眾不同的咖啡店后,我對人類未來的信心恢復了。出于對精品咖啡的熱情,這家特別店的咖啡師提供了2小時的咖啡制作體驗.
1900/1/1 0:00:00作者:Lao Bai,ABCDE投研合伙人,Amber Group 研究顧問 來源:推特,@Wuhuoqiu上次寫完 BTC 生態的東西,本來該補上 NFT,NFTFI 的那篇.
1900/1/1 0:00:00作者:Cookie 當以太坊 NFT 圈子被 Azuki Elementals 平地一聲雷地掀起波瀾之時.
1900/1/1 0:00:00編譯:區塊鏈騎士 泰勒·斯威夫特(Taylor Swift)與現已破產的Crypto交易所FTX的合作伙伴關系一直備受關注,此前CNBC的一份報告顯示.
1900/1/1 0:00:00▌梅賽德斯-奔馳NFT Maschine荷蘭拍起拍價為3ETH梅賽德斯-奔馳公布NFT Maschine發售細節,將于6月7日進行荷蘭拍,起拍價為3ETH,價格將在90分鐘內線性下降.
1900/1/1 0:00:00