作者: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來了,我們是注定要來的。