Testnetが間もなくリリース カカロットzkEVMを1つの記事で見る

著者: Elias Tazartes (Kakarot zkEVM 共同創設者兼 CEO); 翻訳: Golden Finance xiaozou

KakarotのzkEVMはベータリリースに入ろうとしています。

私たちのビジョンを再確認したいと思います: なぜロールアップスペースに別のzkEVMが必要なのでしょうか

この記事では、Kakarotが他と異なる点、最もシンプルで将来性のあるアーキテクチャを提供する方法、そしてKakarotがエンドユーザーや開発者にとって重要な理由を探ります。

この記事では、Kakarotは何が違うのか、どのように最もシンプルで将来性のあるアーキテクチャを提供するのか、そしてなぜKakarotがエンドユーザーや開発者にとって重要なのかを探ることで、この疑問に答えます。

破壊的なEVMビルダーはユーザーエクスペリエンスデザインの領域を広げ、カカロットの歓迎されたフレンドリーな環境を目にするでしょう。

1, Kakarotの紹介

KakarotはCairoを使って構築されたzkEVMです。Kakarotはイーサリアム互換のzkRollupで、時間をかけて妥協することなく完全な同等性を達成することを目指しています。互換性に加えて、KakarotはL2スペースでさらなるイノベーションを推進し、EVMのネイティブアカウント抽象化のような新機能を追加するよう努めています。Kakarotの推進理念は、証明、拡張、革新です。

2, Kakarotのビジョン

この記事では、Kakarotが他と何が違うのか、なぜそれがエンドユーザーやビルダーにとって重要なのかを説明します。イーサのエコシステムで何年も開発を続けてきた結果、私たちはKakarotで解決したい問題や実現したいビジョンについて、3つの強い信念を持つようになりました。

• ある閾値以上のTPSは重要ではありません。ユーザーは、Web2アプリや高速なWeb3 dAppsに匹敵するレベルのレスポンスを求めています。言い換えれば、ユーザーは秒以下のトランザクション速度を求めているのです。これは通常、10,000TPSに到達したいと思うまでには数年かかることを意味します（そして、私たちはまだ州の成長を一緒に解決する必要があります）。

• トランザクションコストは主な採用障壁です。Vitalik氏がブログ投稿で述べているように、「（Web3におけるオープン性の低下という）このシフトの主な原因は、取引コストの上昇だと思います。人々が自由に実験や革新を行えるようにするために、取引コストは最終的には1円以下に下がるはずです。

• 大量導入のもう1つの大きな障壁は、ユーザーエクスペリエンスです。カカロットでは、ウェブ3のユーザーエクスペリエンスの現状を大幅に改善する必要があると考えています。例えば、私たちの目標は、補助語を管理したくない人や、ほとんどのdAppsで利用可能なワンクリックのアクション体験（つまり、複数の呼び出し）を求める人のための代替手段を提供することです。

これら3つのポイントをまとめると、Kakarotはユーザーへの約束と、現在のイーサリアムのロールアップ競争におけるポジションを定式化することができます。

低コストで高速なトランザクションを提供する一方で、Kakarotは、アカウントベースの抽象化（マルチコール、安全なenclave signerなど)と迅速な機能リリース(例えば、EIPはほとんどの同業者よりも早くリリースされています)に基づいて、現在のイーサリアムのロールアップに代わるものを提供する先導役となることを目指しています。

3、Kakarotの設計: 暗号とエンジニアリングの必然的な分離

ある意味、Kakarot のアーキテクチャは必然的でした。Cairoを使って作られた。このため、Kakarotは暗号とエンジニアリングを真に分離した唯一のzkEVMとなっており、暗号とエンジニアリングはそれぞれzkEVMの「zk」と「EVM」に対応しています（現在研究段階にあるzethと、SP1のReth)。

この分離は私たちのチームにとって何を意味するのでしょうか?より速い開発、より少ないコード(カスタム回路用に書く必要があるコードよりずっと少ない)、より簡単なメンテナンス、そして検証やオープンソースソフトウェアにおけるCairoの革新のショーケースです。

分離というアイデアはエレガントなだけでなく、将来の拡張をサポートする唯一の方法でもあります。メインネットのハードフォークをサポートし、新しいEIPを先行して統合することで革新することは、カスタム回路を構築するzkEVMにとって非常に困難であることが証明されています。

私たちは、この分野のより多くのプレーヤーが、証明可能な仲介VMに移行すると信じています。

• LLVM 言語を使用し、それを証明する、たとえば、Rust から LLVM へ、RISC-ZERO を使用する。vkVMで証明されたRisc-V（たとえば、revmのRustコードが証明可能なzethになる）を使用します。

• CairoVMのために作られた「証明可能な設計」のプログラミング言語であるCairoを使います。

Cairoは他のzkVMとは違い、証明の考え方を組み込んだ構造になっているので、常にパフォーマンスが良くなると確信しています(他のzkVMの方が便利かもしれません)。今後数年のうちに、Cairoは証明可能なソフトウェアを書くための最も実用的で効率的なツールであることが証明されるでしょう。

4, ユーザー中心主義へのコミットメント

使いやすいソフトウェアを開発することはもちろん良いことですが、エンドユーザーはそんなことは気にしていません。WhatsappのバックエンドがAWSで動いていようが、独自のクラウドで動いていようが、Telegramがどのプログラミング言語で書かれていようが、エンドユーザーは気にしない。エンドユーザーが期待しているのは、明らかな付加価値なのだ。

Kakarotの構築における私たちの挑戦は、この巨大なエンジニアリングの優位性（高レベルで証明可能な仲介言語）を、私たちのコミュニティの付加価値に変換することでした。

私たちは、変化するイーサリアムに素早く適応する能力を示したかったのです。

• KakarotのzkEVMは、Dencunメインネットのハードフォークに即座に統合されます: すべての新しいオペコードとアップデートは、Dencunメインネットのハードフォークに組み込まれます。(tstoreなど)に組み込まれます。

• 共同の製品ロードマップ、ユーザーテスト、反復的な構築。

2つ目のポイントを理解するために、少し時間を取りましょう。私たちは自由であり、重要な機能を迅速に実装することができます（コミュニティが選択を行うため）。テストネットの段階では、新機能をリリースし、コミュニティに最も有用なものを選んでもらいます。ネイティブのマルチコール、faceID（またはハードウェア署名者）を使ったEOA、モバイルファーストのネイティブアカウントの抽象化、EOFの早期統合などです！

ビルダーやエンドユーザーのコミュニティとともに新機能を探求していますが、Cairoとそのエコシステムはバックグラウンドで活発に開発されていることを覚えておいてください。同時に、500人以上の開発者やインフラ参加者からなる Cairo 開発者コミュニティが新しいコードベースやブレークスルーを構築しています。

私たちの競争上の優位性を示す素晴らしい例として、StarkwareがPolygon Labsと共同で行った最新のプロヴァー改善研究があります：Circle STARK.cairoはますます強くなっています！

<

Kakarotは活気あるCairoエコシステムの革新 (証明速度の向上、secp256r1などのオープンソースライブラリのサポート) を活用するだけでなく、優れた柔軟性 (ハードフォークやEIPへの対応) で高速に開発しています。

<

5, Kakarotアップデート

純粋な一貫性の精神と「ただ動作する」というモットーのもと、Kakarot は 100 パーセントの Ethernet テスト (公式の Ethernet テスト) に合格することを目指しています。イーサネットテスト(公式イーサネット財団EVMテスト)に合格することを目指しています。このマイルストーンは、イーサネットとの完全な互換性を確認し、開発者をEVMの断片化から救います。

このようにして、Kakarotはシームレスな開発エクスペリエンスを提供し、EVMビルダーは、障害や主要なイーサネットネットワークとの非互換性なしにスムーズに動作することを期待できます。

現在、Kakarotは90%以上のテスト（つまり18,000以上のテスト）に合格しています。私たちはEVMの実装に自信を築き、今は現実の世界に立ち向かう時です。

Kakarotに関する最新のアップデートは、テストネットワークの段階に移行しているということです！これを実現するために、私たちはKarnotとStarkwareと協力しています。今後2024年の2四半期にわたって、私たちの技術をコミュニティーの皆さんと一緒に（できれば）検証していきます。公開テストネットの開始日については、Twitterで私たちをフォローしてください！現時点では、テストネットは一般公開されていません。

カカロットのテストネットワークがどのように機能するのか、簡略化した図です:

6、結論

カカロット最新情報：テストネットワークは2024年第2四半期と第3四半期に稼動予定。

Kakarotのユニークな強みはその設計にあります。暗号の巨人の肩の上に立ち、エンジニアリングに集中しています。この利点を活かして、より適応力のあるチームとなり、より早く製品をリリースします（約6人と貢献者が、1年以内に2つのユニークなzkEVM実装を構築しました）。

Kakarotの目標は、主要なイーサネットネットワークと100%互換であることです。私たちは、Ethernet Foundationを通じて完全にテストを行うことで、構築者のコミュニティに保証を提供しています。今日現在、私たちはEtherFoundationのテストの90%以上に合格しています。私たちの目標は、互換性と機能性の面で開発者に心理的負担を与えないことです。

Kakarotの使命は、長期的な開発(タイプ1のzkEVM、proof-of-master、純粋等価性など)をサポートしながら、L2空間にさらなるイノベーション(複数呼び出し、セキュアなエンクレーブ署名、ペイマスター、並列実行など)をもたらすことです。

Cairoを活用することで、Kakarotは安定していると同時に急速に進化しています。Kakarotはここにあり、私たちはここにいるのです。