作者：Elias Tazartes，Kakarot zkEVM聯合創始人兼CEO；翻譯：金色財經xiaozou

Kakarot zkEVM即將進入測試網發布，我們欲重申一下我們的愿景：爲什么rollup領域還需要另一個zkEVM？

本文將探討Kakarot的與衆不同之處，它如何提供最簡單且最經得起未來考驗的架構，以及爲何Kakarot對最終用戶和开發人員很重要，借此來回答這個問題。

顛覆性的EVM建設者擴展了用戶體驗設計空間，他們將在Kakarot看到一個熱情友好的環境。

1、Kakarot簡介

Kakarot是使用Cairo構建的zkEVM，Cairo語言是爲Starknet和所有StarknetOS鏈（也稱爲CairoVM鏈或Starknet應用鏈）提供支持的可驗證語言。Kakarot是一個與以太坊兼容的zkRollup，其目標是隨着時間的推移實現無妥協的完全等效。除了兼容性之外，Kakarot還努力推動L2空間的更多創新，並爲EVM增加諸如原生帳戶抽象之類的新功能。Kakarot的驅動精神是證明、擴展和創新。

2、Kakarot愿景

本文，我們將介紹是什么使Kakarot與衆不同，以及爲什么它對最終用戶和建設者很重要。經過以太坊生態系統多年的發展，我們形成了三個堅定的信念，我們希望通過Kakarot來解決問題，實現愿景。

• TPS超過一定的閾值就不重要了。用戶想要一個與web2應用程序和快速的web3 dApp相當的響應水平。換句話說，用戶想要亞秒級的交易速度。這通常意味着想要達到1萬TPS還需要等上幾年（我們仍然需要一起解決狀態增長問題）。

• 交易成本是主要的採用障礙。正如Vitalik在一篇博文中所說的那樣：“我認爲導致這種轉變（web3开放性降低）的罪魁禍首是交易費用的上漲。”交易成本最終應該降到一分錢以下，才能讓人們自由地進行實驗和創新。

• 大規模採用的另一個主要障礙是用戶體驗。在Kakarot，我們相信web3用戶體驗的現狀需要大大改善。例如，我們的目標是爲那些不想管理助記詞的人，或者那些尋求大多數dApp都可實現一鍵操作體驗（即多調用）的人提供另一種選擇。

將這三點進行總結，Kakarot可以形成其對用戶的承諾，以及它在當前以太坊rollup競爭中的地位：

在提供低成本快速交易的同時，Kakarot旨在引領以基於账戶抽象（多調用、secure enclave signer等）和快速功能發布（例如，先於大多數同類的EIP）的以用戶爲中心的創新。

3、Kakarot設計：密碼學和工程學的必然分離

從某種意義上說，Kakarot的架構是必然的，因爲它是基於第一性原理創建的。Kakarot的核心是使用高級語言Cairo構建的。這使得Kakarot成爲唯一真正將密碼學和工程相分離的zkEVM，密碼學和工程分別對應zkEVM中的“zk”和“EVM”（除了目前處於研究階段的zeth和SP1的Reth之外）。

這種分離對我們的團隊來說意味着什么？意味着更快的开發，更少的代碼（比定制電路所需要編寫的代碼少太多了），更輕松的維護，以及對Cairo在驗證和开源軟件方面的所有創新的展示。

分離的想法不僅優雅，而且還是唯一可以支持未來擴展的方法。對於構建定制電路的zkEVM來說，支持主網硬分叉並通過提前集成新EIP進行創新已被證明是非常困難的。

我們相信，該領域將有更多參與者轉向可證明的中介虛擬機。今天，編寫可證明和可適應軟件的兩種選擇是：

• 使用LLVM語言並證明它，例如Rust到LLVM，再到使用RISC-ZERO vkVM證明的Risc-V（例如revm的Rust代碼變得可證明就是zeth）。

• 使用Cairo語言，這是爲CairoVM構建的“可證明設計”的編程語言。

我們有信心Cairo將始終具有更優的性能（而其他zkVM可能更加便捷），因爲其建設融合了證明理念，與其他zkVM不同。未來幾年裏，Cairo將被證明是編寫可證明軟件的最實用高效的工具。

4、致力於以用戶爲中心

开發簡單易用的軟件當然是好的，但最終用戶並不關心這些。他們並不關心Whatsapp的後端是在AWS上運行還是在它自家雲上運行，也不在乎Telegram是用哪種編程語言編寫的。最終用戶期望的是明顯的附加價值。

我們在Kakarot的建設過程中面臨的挑战是將這種巨大的工程優勢（一種高級可證明的中介語言）轉化爲我們社區的附加值。

我們希望展示我們對變化的以太坊的快速適應能力。我們爲社區提供的前兩個明顯優勢是：

• Kakarot zkEVM將立即集成Dencun主網硬分叉：所有新的操作碼和更新將被納入（tstore等）。

• 一個相互協作的產品路线圖，用戶測試，迭代建設。

讓我們花點時間來了解一下第二點。我們是自由的，我們能夠快速實現重要的功能（因爲我們的社區會進行選擇）。在我們的測試網階段，我們將發布新功能，並請我們的社區挑選出最有用的功能。我們很高興能夠在我們的測試網絡中嘗試我們的一些想法：原生多調用，帶有faceID（或硬件signer）的EOA，移動優先的原生帳戶抽象，EOF早期集成等等！

當我們與我們的建設者和最終用戶社區一起探索新功能時，請記住Cairo及其生態系統正在後台積極开發！Starkware的100多名員工正辛勤努力爲Cairo創建下一代prover。與此同時，Cairo开發者社區的500多名开發人員和基礎設施參與者正在建設新的代碼庫和突破，而這些，Kakarot將來都能集成（例如並行執行）。

有一個很好的例子可以體現我們的競爭優勢，那就是Starkware與Polygon Labs合作推出的最新prover改進研究：Circle STARK。Cairo正變得越來越強大！

Kakarot不僅可以利用生機勃勃的Cairo生態系統的創新（證明速度的提高、开源代碼庫如secp256r1的支持），還能以強大的靈活性（適應硬分叉和EIP）進行高速开發。

5、Kakarot最新動態

本着純粹的一致性精神和“it just works”的座右銘，Kakarot的目標是100%通過以太坊測試（官方以太坊基金會EVM測試）。這一裏程碑將確認我們與以太坊的完全兼容性，還將使开發人員免於EVM碎片化煩惱。

通過這種方式，Kakarot將提供無縫的开發體驗，EVM建設者可以預期工作順利不出岔子，與以太坊主網沒有任何的不兼容。我們希望开發人員專注於對他們來說重要的事情：他們的協議或dApp。

現在，Kakarot通過了90%以上的測試（即超過1萬8千次測試）。我們已經對我們的EVM實現建立信心，現在是時候面對現實世界了。

Kakarot的最新情況是，我們正邁入測試網階段！爲了實現這一目標，我們正與Karnot和Starkware合作，他們將幫助我們運行我們的堆棧。在2024年接下來的兩個季度，我們將與你（希望如此），與我們的社區一起驗證我們的技術。你可密切關注我們在Twitter上的動態了解公共測試網开放日期！目前，測試網不對外公开。

以下是Kakarot測試網絡工作原理的簡化圖：

6、結論

Kakarot最新動態：2024年第二季度和第三季度上线測試網。

Kakarot的獨特優勢在於其設計：站在密碼學巨人的肩膀上，專注於工程。利用這一優勢成爲一個更具適應性的團隊，更快地發布產品（大約6個人和貢獻者在不到一年的時間內構建了2個獨特的zkEVM實現）。

Kakarot的目標是與以太坊主網100%兼容。我們完全通過以太坊基金會測試來向我們的建設者社區提供保證。截至今天，我們通過了90%以上的以太坊測試。我們的目標是讓开發者在兼容性和功能性方面沒有任何心理負擔。

Kakarot的使命是爲L2空間帶來更多創新（多調用、secure enclave籤名、paymaster、並行執行等），同時支持長期發展（type 1 zkEVM、證明主網、純等效等）。

通過利用Cairo，Kakarot既穩定又可快速演變。允許我們的些許自大：Kakarot來了，我們是注定要來的。