作者：Elias Tazartes，Kakarot zkEVM聯(lián)合創(chuàng)始人兼CEO；翻譯：xiaozou

Kakarot zkEVM即將進(jìn)入測(cè)試網(wǎng)發(fā)布，我們欲重申一下我們的愿景：為什么rollup領(lǐng)域還需要另一個(gè)zkEVM？

本文將探討Kakarot的與眾不同之處，它如何提供最簡(jiǎn)單且最經(jīng)得起未來考驗(yàn)的架構(gòu)，以及為何Kakarot對(duì)最終用戶和開發(fā)人員很重要，借此來回答這個(gè)問題。

顛覆性的EVM建設(shè)者擴(kuò)展了用戶體驗(yàn)設(shè)計(jì)空間，他們將在Kakarot看到一個(gè)熱情友好的環(huán)境。

1、Kakarot簡(jiǎn)介

Kakarot是使用Cairo構(gòu)建的zkEVM，Cairo語言是為Starknet和所有StarknetOS鏈（也稱為CairoVM鏈或Starknet應(yīng)用鏈）提供支持的可驗(yàn)證語言。Kakarot是一個(gè)與以太坊兼容的zkRollup，其目標(biāo)是隨著時(shí)間的推移實(shí)現(xiàn)無妥協(xié)的完全等效。除了兼容性之外，Kakarot還努力推動(dòng)L2空間的更多創(chuàng)新，并為EVM增加諸如原生帳戶抽象之類的新功能。Kakarot的驅(qū)動(dòng)精神是證明、擴(kuò)展和創(chuàng)新。

2、Kakarot愿景

本文，我們將介紹是什么使Kakarot與眾不同，以及為什么它對(duì)最終用戶和建設(shè)者很重要。經(jīng)過以太坊生態(tài)系統(tǒng)多年的發(fā)展，我們形成了三個(gè)堅(jiān)定的信念，我們希望通過Kakarot來解決問題，實(shí)現(xiàn)愿景。

• TPS超過一定的閾值就不重要了。用戶想要一個(gè)與web2應(yīng)用程序和快速的web3 dApp相當(dāng)?shù)捻憫?yīng)水平。換句話說，用戶想要亞秒級(jí)的交易速度。這通常意味著想要達(dá)到1萬TPS還需要等上幾年（我們?nèi)匀恍枰黄鸾鉀Q狀態(tài)增長(zhǎng)問題）。

• 交易成本是主要的采用障礙。正如Vitalik在一篇博文中所說的那樣：“我認(rèn)為導(dǎo)致這種轉(zhuǎn)變（web3開放性降低）的罪魁禍?zhǔn)资墙灰踪M(fèi)用的上漲?！苯灰壮杀咀罱K應(yīng)該降到一分錢以下，才能讓人們自由地進(jìn)行實(shí)驗(yàn)和創(chuàng)新。

• 大規(guī)模采用的另一個(gè)主要障礙是用戶體驗(yàn)。在Kakarot，我們相信web3用戶體驗(yàn)的現(xiàn)狀需要大大改善。例如，我們的目標(biāo)是為那些不想管理助記詞的人，或者那些尋求大多數(shù)dApp都可實(shí)現(xiàn)一鍵操作體驗(yàn)（即多調(diào)用）的人提供另一種選擇。

將這三點(diǎn)進(jìn)行總結(jié)，Kakarot可以形成其對(duì)用戶的承諾，以及它在當(dāng)前以太坊rollup競(jìng)爭(zhēng)中的地位：

在提供低成本快速交易的同時(shí)，Kakarot旨在引領(lǐng)以基于賬戶抽象（多調(diào)用、secure enclave signer等）和快速功能發(fā)布（例如，先于大多數(shù)同類的EIP）的以用戶為中心的創(chuàng)新。

3、Kakarot設(shè)計(jì)：密碼學(xué)和工程學(xué)的必然分離

從某種意義上說，Kakarot的架構(gòu)是必然的，因?yàn)樗腔诘谝恍栽韯?chuàng)建的。Kakarot的核心是使用高級(jí)語言Cairo構(gòu)建的。這使得Kakarot成為唯一真正將密碼學(xué)和工程相分離的zkEVM，密碼學(xué)和工程分別對(duì)應(yīng)zkEVM中的“zk”和“EVM”（除了目前處于研究階段的zeth和SP1的Reth之外）。

這種分離對(duì)我們的團(tuán)隊(duì)來說意味著什么？意味著更快的開發(fā)，更少的代碼（比定制電路所需要編寫的代碼少太多了），更輕松的維護(hù)，以及對(duì)Cairo在驗(yàn)證和開源軟件方面的所有創(chuàng)新的展示。

分離的想法不僅優(yōu)雅，而且還是唯一可以支持未來擴(kuò)展的方法。對(duì)于構(gòu)建定制電路的zkEVM來說，支持主網(wǎng)硬分叉并通過提前集成新EIP進(jìn)行創(chuàng)新已被證明是非常困難的。

我們相信，該領(lǐng)域?qū)⒂懈鄥⑴c者轉(zhuǎn)向可證明的中介虛擬機(jī)。今天，編寫可證明和可適應(yīng)軟件的兩種選擇是：

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

• 使用Cairo語言，這是為CairoVM構(gòu)建的“可證明設(shè)計(jì)”的編程語言。

我們有信心Cairo將始終具有更優(yōu)的性能（而其他zkVM可能更加便捷），因?yàn)槠浣ㄔO(shè)融合了證明理念，與其他zkVM不同。未來幾年里，Cairo將被證明是編寫可證明軟件的最實(shí)用高效的工具。

4、致力于以用戶為中心

開發(fā)簡(jiǎn)單易用的軟件當(dāng)然是好的，但最終用戶并不關(guān)心這些。他們并不關(guān)心Whatsapp的后端是在AWS上運(yùn)行還是在它自家云上運(yùn)行，也不在乎Telegram是用哪種編程語言編寫的。最終用戶期望的是明顯的附加價(jià)值。

我們?cè)贙akarot的建設(shè)過程中面臨的挑戰(zhàn)是將這種巨大的工程優(yōu)勢(shì)（一種高級(jí)可證明的中介語言）轉(zhuǎn)化為我們社區(qū)的附加值。

我們希望展示我們對(duì)變化的以太坊的快速適應(yīng)能力。我們?yōu)樯鐓^(qū)提供的前兩個(gè)明顯優(yōu)勢(shì)是：

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

• 一個(gè)相互協(xié)作的產(chǎn)品路線圖，用戶測(cè)試，迭代建設(shè)。

讓我們花點(diǎn)時(shí)間來了解一下第二點(diǎn)。我們是自由的，我們能夠快速實(shí)現(xiàn)重要的功能（因?yàn)槲覀兊纳鐓^(qū)會(huì)進(jìn)行選擇）。在我們的測(cè)試網(wǎng)階段，我們將發(fā)布新功能，并請(qǐng)我們的社區(qū)挑選出最有用的功能。我們很高興能夠在我們的測(cè)試網(wǎng)絡(luò)中嘗試我們的一些想法：原生多調(diào)用，帶有faceID（或硬件signer）的EOA，移動(dòng)優(yōu)先的原生帳戶抽象，EOF早期集成等等！

當(dāng)我們與我們的建設(shè)者和最終用戶社區(qū)一起探索新功能時(shí)，請(qǐng)記住Cairo及其生態(tài)系統(tǒng)正在后臺(tái)積極開發(fā)！Starkware的100多名員工正辛勤努力為Cairo創(chuàng)建下一代prover。與此同時(shí)，Cairo開發(fā)者社區(qū)的500多名開發(fā)人員和基礎(chǔ)設(shè)施參與者正在建設(shè)新的代碼庫和突破，而這些，Kakarot將來都能集成（例如并行執(zhí)行）。

有一個(gè)很好的例子可以體現(xiàn)我們的競(jìng)爭(zhēng)優(yōu)勢(shì)，那就是Starkware與Polygon Labs合作推出的最新prover改進(jìn)研究：Circle STARK。Cairo正變得越來越強(qiáng)大！

Kakarot不僅可以利用生機(jī)勃勃的Cairo生態(tài)系統(tǒng)的創(chuàng)新（證明速度的提高、開源代碼庫如secp256r1的支持），還能以強(qiáng)大的靈活性（適應(yīng)硬分叉和EIP）進(jìn)行高速開發(fā)。

5、Kakarot最新動(dòng)態(tài)

本著純粹的一致性精神和“it just works”的座右銘，Kakarot的目標(biāo)是100%通過以太坊測(cè)試（官方以太坊基金會(huì)EVM測(cè)試）。這一里程碑將確認(rèn)我們與以太坊的完全兼容性，還將使開發(fā)人員免于EVM碎片化煩惱。

通過這種方式，Kakarot將提供無縫的開發(fā)體驗(yàn)，EVM建設(shè)者可以預(yù)期工作順利不出岔子，與以太坊主網(wǎng)沒有任何的不兼容。我們希望開發(fā)人員專注于對(duì)他們來說重要的事情：他們的協(xié)議或dApp。

現(xiàn)在，Kakarot通過了90%以上的測(cè)試（即超過1萬8千次測(cè)試）。我們已經(jīng)對(duì)我們的EVM實(shí)現(xiàn)建立信心，現(xiàn)在是時(shí)候面對(duì)現(xiàn)實(shí)世界了。

Kakarot的最新情況是，我們正邁入測(cè)試網(wǎng)階段！為了實(shí)現(xiàn)這一目標(biāo)，我們正與Karnot和Starkware合作，他們將幫助我們運(yùn)行我們的堆棧。在2024年接下來的兩個(gè)季度，我們將與你（希望如此），與我們的社區(qū)一起驗(yàn)證我們的技術(shù)。你可密切關(guān)注我們?cè)赥witter上的動(dòng)態(tài)了解公共測(cè)試網(wǎng)開放日期！目前，測(cè)試網(wǎng)不對(duì)外公開。

以下是Kakarot測(cè)試網(wǎng)絡(luò)工作原理的簡(jiǎn)化圖：

6、結(jié)論

Kakarot最新動(dòng)態(tài)：2024年第二季度和第三季度上線測(cè)試網(wǎng)。

Kakarot的獨(dú)特優(yōu)勢(shì)在于其設(shè)計(jì)：站在密碼學(xué)巨人的肩膀上，專注于工程。利用這一優(yōu)勢(shì)成為一個(gè)更具適應(yīng)性的團(tuán)隊(duì)，更快地發(fā)布產(chǎn)品（大約6個(gè)人和貢獻(xiàn)者在不到一年的時(shí)間內(nèi)構(gòu)建了2個(gè)獨(dú)特的zkEVM實(shí)現(xiàn)）。

Kakarot的目標(biāo)是與以太坊主網(wǎng)100%兼容。我們完全通過以太坊基金會(huì)測(cè)試來向我們的建設(shè)者社區(qū)提供保證。截至今天，我們通過了90%以上的以太坊測(cè)試。我們的目標(biāo)是讓開發(fā)者在兼容性和功能性方面沒有任何心理負(fù)擔(dān)。

Kakarot的使命是為L(zhǎng)2空間帶來更多創(chuàng)新（多調(diào)用、secure enclave簽名、paymaster、并行執(zhí)行等），同時(shí)支持長(zhǎng)期發(fā)展（type 1 zkEVM、證明主網(wǎng)、純等效等）。

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