Kakarot zkEVM是什么？為何得到Vitalik參投_Polygon

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？

Kakao旗下游戲公司更名為“Metabora”，正式進軍加密市場:2月9日消息，韓國社交巨頭Kakao旗下的游戲公司 Friends Games 昨日宣布將公司名稱更改為“Metabora”，并公布了擴展 Bora 生態系統的路線圖和合作伙伴關系。Kakao Games CEO Jo Gye-hyun 表示，計劃通過 Metabora 推出基于區塊鏈的游戲和娛樂等各種服務。目前，公司正籌備Bora Decentralized Exchange（DEX）和 Non-Fungible Token（NFT）交易所。

此外，在今年下半年，Metabora 還計劃建立一個支持游戲公會的 DAO 并鼓勵粉絲參與治理和創作。[2022/2/9 9:41:08]

Kakarot運行在虛擬機CairoVM之上，是Starknet的基礎架構。CairoVM的主要特性如下：

·將執行表示為多項式方程，以實現可證明的執行。

·允許所有Starknet交易使用STARK驗證。

2、什么是Cario？

韓國支付巨頭Kakao Pay IPO獲散戶近30倍超額認購:10月27日消息，韓國支付巨頭Kakao Pay即將于11月3日在Kospi主板上市，據悉，其面向散戶公開發售的425萬股已吸引182萬認購者，認購金額達到5.7萬億韓元（49億美元），截至周二晚間，競購比例達到29.6:1。最新的認購規則是平等分配股份，目前為止，每位散戶投資者平均只能獲得2.33股。支付寶作為Kakao Pay第二大股東，上市后可流通其持有股份的73%。如支付寶不拋售股份，可供交易的原始股份將限制在總股份的6%以內。（PulseNews）[2021/10/27 6:15:04]

Cario是圖靈完備的STARK友好的CPU架構。

·圖靈完備：系統能夠計算任何可能的計算/程序。

·Stark友好：StarkWare的驗證系統。鏈下計算完整性由證明者證明，由鏈上驗證者驗證。

那么，Cario是如何運作的？開發人員可以在CaroVM中使用Cairo編寫程序，用高級語言描述statement語句。這改善了開發體驗，因為開發人員可以利用ZK證明的可擴展性，而無需學習如何編寫復雜的電路。

3、EVM架構

EVM架構是成熟且定義良好的VM架構，具有：

動態 | Kakao區塊鏈項目Klaytn新增5個合作伙伴:韓國互聯網巨頭Kakao區塊鏈子公司GroundX宣布，有5個新的合作伙伴加入了其區塊鏈項目Klaytn的生態系統，分別為基于區塊鏈的社交媒體平臺Hiblocks、租賃房地產資產管理平臺HomeButton、金融技術公司Peertec、加密交易所Hanbitco和Dunamu子公司DXM。（digitaltoday）[2020/2/19]

·142個操作碼：EVM用于執行交易和智能合約的指令。需要gas費才能執行。

·9個預編譯：內置于以太坊中的智能合約用于處理常見操作。可通過標準gas費調用。

4、Kakarot架構

Kakarot基于CairoVM開發，它是：

·EVM字節碼解釋器

·部署在Starknet上的智能合約

·使用Cario語言

Kakarot支持：

·原樣部署EVM智能合約

Kakarot不是：

·區塊鏈

·編譯器：不將Solidity代碼轉換為Cairo

動態 | Kakao代幣Klay在交易所Upbit新加坡中以每枚0.00001499BTC的價格結束拍賣:據官方公告，由韓國互聯網巨頭Kakao子公司Ground X發行的代幣Klay在Upbit新加坡進行的荷蘭式拍賣中，在不到一分鐘的時間內便以每枚0.00001499BTC（約182韓元）的價格結束拍賣。 Ground X在此次拍賣中銷售了250萬枚Klay代幣，個人參與限額為5萬枚Klay。此前，Kakao決定共發行100億枚Klay，面向機構投資者進行的的私人折扣價為每枚0.03美元（約35韓元）。因此相關企業預測，拍賣價格可能會在150韓元左右（考慮到多數情況下機構投資者可以以低于上線價格的1/5來購買）。但出乎意料的是，Klay以超過180韓元的價格結束了此次拍賣。分析認為，這是Ground X首次向普通投資者出售Klay，且韓國投資者的參與受到限制，拍賣在不到一分鐘內結束證明了業界對Klay的關注程度很高。（news1）[2019/9/19]

截至2023年5月：

·已實現100%字節碼架構

·9個EVM預編譯實現了8個

在實現全部9個EVM預編譯后，Kakarot將成為Type2.5zkEVM。

動態 | 韓國科技巨頭KAKAO公司即將推出區塊鏈主鏈Klaytn:據Decenter消息，韓國科技巨頭KAKAO公司即將推出區塊鏈主鏈Klaytn。據業內人士透漏：“Klaytn主鏈發布后，相繼會推出Klaytn的錢包，并且將錢包載入到KAKAOTalk軟件里。”[2019/6/26]

5、zkEVM的Type分型

Type1zkEVM|完全等效于以太坊

不改變以太坊系統以支持更容易的證明生成。

優點：

·以太坊擴展的終極解決方案

缺點：

·計算密集

·證明時間長

舉例：

·Scroll

·Taiko

Type2zkEVM|完全等效于EVM

對以太坊系統進行微小修改讓開發更加容易，且證明生成速度更快。

優點:

·支持大多數以太坊dApp

缺點：

·EVM的低效率和不友好性仍然存在

舉例：

·Scroll

Type2.5zkEVM|與EVM等效

增加了EVM中難以使用ZK證明的特定操作的gas成本。

優點:

·比更廣泛的EVM變更風險更小

缺點：

·降低了開發工具的兼容性

·部分dApp不兼容

Type3zkEVM|幾乎與EVM等效

移除了那些特別難以實現的特性。

優點：

·更快的證明時間

·更容易的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

Tags：以太坊PolygonVerge以太坊幣是什么幣Polygon幣是什么幣Verge幣是什么幣

幣贏