KakarotzkEVM是什么?為什么它能得到V神和StarkWare的支持?Kakarot把EVM帶到Starknet之上,促進了EVMdApp的擴展。讓我們深入了解一下吧!
我們已經啟動并進入了超級賽亞人模式。KakarotLabs已經正式成立并完成了與頂級投資者的pre-seed早期融資。
讓我們來展望發展愿景、明確當前地位、期待美好的未來吧。
本文將主要介紹以下內容:1、什么是CairoVM?2、什么是Cairo?3、EVM架構;4、Kakarot架構;5、zkEVM的Type分型;6、Kakarot路線圖;7、個人想法。
KakarotzkEVM是使用Cario語言部署的EVM,通過增強EVM兼容性來擴展Starknet生態系統的可靠性。讓我們來一步一步理解。
1、什么是CairoVM?
KAKA 塔蘭大陸游戲將在Conflux公鏈部署:據KAKA官方最新資訊,KAKA 塔蘭大陸游戲將在Conflux公鏈部署。隨著KAKA聯合烤仔潮物合作的Conflux吉祥物烤仔英雄系列NFT盲盒,在Conflux上的去中心化交易平臺MoonSwap上進行發售,雙方取得了更進一步的認可和合作多元化意向,并達成一致發展方針。[2021/7/23 1:11:30]
Kakarot運行在虛擬機CairoVM之上,是Starknet的基礎架構。CairoVM的主要特性如下:
·將執行表示為多項式方程,以實現可證明的執行。
·允許所有Starknet交易使用STARK驗證。
2、什么是Cario?
Cario是圖靈完備的STARK友好的CPU架構。
·圖靈完備:系統能夠計算任何可能的計算/程序。
·Stark友好:StarkWare的驗證系統。鏈下計算完整性由證明者證明,由鏈上驗證者驗證。
那么,Cario是如何運作的?開發人員可以在CaroVM中使用Cairo編寫程序,用高級語言描述statement語句。這改善了開發體驗,因為開發人員可以利用ZK證明的可擴展性,而無需學習如何編寫復雜的電路。
KAKA在幣安NFT平臺開啟力量寶石計劃:據官方消息,KAKA在幣安NFT除了發售IP系列8級NFT卡牌盲盒,同時開啟力量寶石計劃,9級NFT卡牌,總量7張,持有者中將再抽取一位用戶獲得1.6克拉粉色鉆石。9級NFT卡牌總數不超過一百張,在幣安NFT平臺購買任意盲盒的用戶都有機會獲得獎勵。詳情見官方公告。[2021/6/24 0:03:57]
3、EVM架構
EVM架構是成熟且定義良好的VM架構,具有:
·142個操作碼:EVM用于執行交易和智能合約的指令。需要gas費才能執行。
·9個預編譯:內置于以太坊中的智能合約用于處理常見操作。可通過標準gas費調用。
4、Kakarot架構
Kakarot基于CairoVM開發,它是:
·EVM字節碼解釋器
·部署在Starknet上的智能合約
·使用Cario語言
Kakarot支持:
·原樣部署EVM智能合約
Kakarot不是:
·區塊鏈
·編譯器:不將Solidity代碼轉換為Cairo
動態 | 韓國科技巨頭KAKAO公司即將推出區塊鏈主鏈Klaytn:據Decenter消息,韓國科技巨頭KAKAO公司即將推出區塊鏈主鏈Klaytn。據業內人士透漏:“Klaytn主鏈發布后,相繼會推出Klaytn的錢包,并且將錢包載入到KAKAOTalk軟件里。”[2019/6/26]
截至2023年5月:
·已實現100%字節碼架構
·9個EVM預編譯實現了8個
在實現全部9個EVM預編譯后,Kakarot將成為Type2.5zkEVM。
5、zkEVM的Type分型
Type1zkEVM|完全等效于以太坊
不改變以太坊系統以支持更容易的證明生成。
優點:
·以太坊擴展的終極解決方案
缺點:
·計算密集
·證明時間長
舉例:
·Scroll
動態 | Kakao和Terra合作建立區塊鏈生態系統:韓國最大的移動運營商Kakao已與穩定幣項目Terra簽訂合作協議,合作開發基于區塊鏈的支付系統。[2018/11/17]
·Taiko
Type2zkEVM|完全等效于EVM
對以太坊系統進行微小修改讓開發更加容易,且證明生成速度更快。
優點:
·支持大多數以太坊dApp
缺點:
·EVM的低效率和不友好性仍然存在
舉例:
·Scroll
Type2.5zkEVM|與EVM等效
增加了EVM中難以使用ZK證明的特定操作的gas成本。
優點:
·比更廣泛的EVM變更風險更小
缺點:
·降低了開發工具的兼容性
·部分dApp不兼容
Type3zkEVM|幾乎與EVM等效
移除了那些特別難以實現的特性。
優點:
·更快的證明時間
韓國移動社交應用Kakao成立區塊鏈子公司: 韓國移動社交公司Kakao今日透露,正準備建立一個子公司來提供基于區塊鏈的服務,具體細節尚未決定。目前已經通過支付結算公司“Kakao Pay”運行基于區塊鏈接的授權認證服務。[2018/3/5]
·更容易的EVM開發
缺點:
·部分dApp需要重寫
舉例:
·Scroll
·Polygon
Tpye4zkEVM|等效于高級語言
智能合約源代碼編譯為ZK-SNARK友好語言。
優點:
·避免了大量的開銷
缺點:
·合約地址可能不同于EVM中的地址
·可能不支持手寫EVM字節碼
·調試基礎設施不能被繼承,因為它們運行在EVM字節碼上。
舉例:
·zkSync
·Nethermind
6、Kakarot路線圖
階段1|將EVM帶到Starknet
Kakarot最初將作為一個enshrinedEVM存于Starknet中。開發體驗和用戶體驗將與Polygon、Scroll或以太坊相同。
階段2|L3zkEVM
通過Kakarot部署zkEVM應用鏈,允許它們利用有效性證明在Starknet上進行交易結算。
通過將Kakarot與MadaraStarknet測序器融合為統一的堆棧。
階段2|zkEVM-Rollup-as-a-Service
只需一次點擊,rollup就會收到:
·部署在Starknet上的特定應用zkEVM
·對EVM環境的訪問
·快速的執行
·低gas費:使用數據可用性解決方案
·加密安全性
zkEVM-Rollup-as-a-Service的優點:
·通過使用Kakarot在CairoVM中運行Solidity智能合約
·任何部署在EVM上的Solidity智能合約都可以在Starknet上運行,而無需更改代碼
兩全其美:
·具有EVM的效率
·智能合約變得可證明
階段3|Type1zkEVM
要進入該階段,Kakarot必須要:
·在Madara和Kakarot的全節點內使用Cairo編寫以太坊共識規則,以證明L1共識。
·從PedersenMerklePatriciaTrie切換到KeccakMPT。
然而,階段3具有不確定性。這取決于以太坊路線圖:Verge。目前,以一種可證明且低成本的方式實現KeccakMPT是zkEVM兼容性的主要阻礙。在Verge之后,Keccak可能會被Poseidon取代,成為以太坊的首選哈希函數。
7、個人想法
為Starknet帶來EVM兼容性無疑是一個巨大的進步,但是關于Kakarot的成功仍存在一些顧慮。
高度競爭的ZK領域
競爭對手有:
·具有不同證明系統的ZK-rollup:Scroll、zkSync、Polygon、Taiko、Linea。
·Optimisticrollup:Optimism、Arbitrum、Base
·不同的zkVM:RISCZero、HyperOracle
產品市場契合度
總的來說,rollup-as-a-service是一個有待驗證的論題,有兩個關鍵方面需要考慮:
·需要此服務的rollup有多少?
·rollup是否更愿意在內部建設主權和可定制性?
持續的產品迭代
Kakarot正在開發建設一個技術高度復雜的產品,并且可能需要不斷的迭代才能獲得成功。
它還依賴于多個動態組成部分,包括:
·Madara
·數據可用性解決方案
·以太坊路線圖:Verge
在2022年所經歷的一切之后,我們可以合理地得出結論,建立不需要信任的基礎設施是我們前進的唯一方式。我們需要建立分散化、不需要信任和無需授權的基礎設施.
1900/1/1 0:00:00作者:Archetype負責人DannySursock、普通合伙人AshEgan 來源:Bankless 基本面總是很重要.
1900/1/1 0:00:00這些被資本加持過的NFT項目,究竟會給市場帶來怎樣的影響?盡管八月份整個Opensea的交易量已跌破5000萬美金,但似乎資本卻正在加速腳步進場.
1900/1/1 0:00:00毫無疑問,隨著主流行業開始承認Web3的潛力,Web3是當今最熱門的話題之一。然而,其中一個角度似乎沒有得到很多報道,那就是Web3架構.
1900/1/1 0:00:00Synthetix、Uniswap們都使用了哪種Layer2方案?DeFi戰事正酣,領軍者另辟戰場.
1900/1/1 0:00:00對外界來說,加密貨幣只是互聯網的一個角落,充滿了詐騙和騙局。但Bankless對加密貨幣有不同的看法:一個充滿機遇的土地、一個新的前沿、一個數字世界,建立在免費和開源軟件之上,使我們能夠打破華爾.
1900/1/1 0:00:00