BSP:Kakarot zkEVM是什么？為何得到Vitalik參投_NBS

作者：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的主要特性如下：

韓國線上銀行KakaoBank將為Coinone用戶提供存取款賬戶:11月7日消息，KakaoBank首席戰略官(CSO)KimSeok近期表示：“KakaoBank正在洽談11月向Coinone客戶提供經過驗證的實名存款和取款賬戶服務，以便為虛擬資產交易提供穩定性和便利性。Coinone用戶將可通過KakaoBank賬戶訪問。KakaoBank是韓國擁有近2000萬用戶的在線銀行，Coinone是韓國五大加密交易所之一。兩家公司在8月宣布了合作關系。（Forkast）[2022/11/7 12:27:47]

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

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

2、什么是Cario？

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

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

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

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

韓企被要求公布持幣量，Kakao和Nexon共持有178萬美元的加密貨幣:在韓國需要披露的71家公司（總資產為5萬億韓元或以上的公司集團）中，只有Kakao和Nexon NXC兩家公司在其業務報告中披露了其持有的加密貨幣。文件顯示，Kakao持有21萬美元的加密貨幣，Nexon持有157萬美元的加密貨幣。除了這兩家企業以外，三星、現代汽車、SK等其余69個企業集團對是否擁有加密貨幣沒有公示。此前13名韓國國會議員于昨日提出了“壟斷監管和公平貿易法的部分修正案”，其中包括大型企業集團披露其持有的加密貨幣的義務。（韓國中央日報）[2021/7/13 0:47:14]

3、EVM架構

EVM架構是成熟且定義良好的VM（虛擬機）架構，具有：

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

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

4、Kakarot架構

Kakarot基于CairoVM開發，它是：

· EVM字節碼解釋器

· 部署在Starknet上的智能合約

· 使用Cario語言

Kakarot支持：

動態 | 韓國互聯網巨頭Kakao正在開發4個加密錢包 其中一個類似于三星區塊鏈錢包:8月30日，據相關人士透露，除此前提及的Klip錢包外，韓國互聯網巨頭Kakao還正在開發另外3個加密錢包，分別為網絡瀏覽器錢包Kaikas、硬件錢包Trezor Wallet和Klaytn Phone Wallet，其中，Klaytn Phone Wallet將搭載到智能手機中，類似于三星區塊鏈錢包，其特點是不用Kakaotalk也可以在智能手機中存儲kakao DApp代幣。此外，Kaikas錢包允許用戶直接管理私鑰。Kakao相關人士表示：“4種錢包都是為普通用戶而開發的加密貨幣錢包，除了預計在第四季度推出的Klip外，其他3個錢包具體能否推出和推出時間還尚未確定。[2019/8/30]

· 原樣部署EVM智能合約

Kakarot不是：

· 區塊鏈

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

截至2023年5月：

· 已實現100%字節碼架構（Type 3 zkEVM）

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

在實現全部9個EVM預編譯后，Kakarot將成為Type 2.5 zkEVM。

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

5、zkEVM的Type分型

（1）Type 1 zkEVM | 完全等效于以太坊

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

優點：

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

缺點：

· 計算密集

· 證明時間長（需要數小時）

舉例：

· Scroll

· Taiko

（2）Type 2 zkEVM | 完全等效于EVM

對以太坊系統進行微小修改（不同的哈希函數）讓開發更加容易，且證明生成速度更快。

優點:

· 支持大多數以太坊dApp

KAKAO在韓國設立“Ground 1”:韓國KAKAO現要在韓國也要設立區塊鏈子公司“Ground 1”的法人，并且招聘區塊鏈的專業人才。Ground 1是KAKAO在日本的子公司Ground X的韓國子公司。前FuturePlay的CTO現Ground X的CEO將會兼任Ground 1 的代表一職。韓國市場設立區塊鏈公司將會推進基于區塊鏈的Dapp服務。[2018/5/16]

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

（3）Type 2.5 zkEVM | 與EVM等效（但gas費除外）

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

· 比更廣泛的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

Tags：BSPNBSKAKAKABSPAYnbs幣未來價格dogekaki幣最新消息Akamaru Inu

以太坊最新價格