Testnet sẽ sớm được phát hành. Hiểu Kakarot zkEVM trong một bài viết

Tác giả: Elias Tazartes, đồng sáng lập và CEO của Kakarot zkEVM; Bản dịch: Golden Finance xiaozou

Kakarot zkEVM sắp bước vào phiên bản mạng thử nghiệm, chúng tôi muốn nhắc lại tầm nhìn của mình: tại sao trường tổng hợp vẫn cần một zkEVM khác?

Bài viết này sẽ trả lời câu hỏi này bằng cách khám phá điều gì làm cho Kakarot trở nên khác biệt, cách nó cung cấp kiến ​​trúc đơn giản nhất và phù hợp nhất với tương lai cũng như tại sao Kakarot lại quan trọng đối với người dùng cuối và nhà phát triển.

Các nhà xây dựng EVM đột phá mở rộng không gian thiết kế trải nghiệm người dùng và họ sẽ thấy một môi trường ấm áp và thân thiện tại Kakarot.

1, KakarotGiới thiệu

Kakarot là zkEVM được xây dựng bằng cách sử dụng Cairo, ngôn ngữ dành cho Starknet và tất cả các chuỗi StarknetOS ( Có thể kiểm chứng ngôn ngữ được hỗ trợ bởi chuỗi CairoVM hoặc chuỗi ứng dụng Starknet). Kakarot là một zkRollup tương thích với Ethereum nhằm mục đích đạt được sự tương đương hoàn toàn mà không bị ảnh hưởng theo thời gian. Ngoài khả năng tương thích, Kakarot cũng đang nỗ lực thúc đẩy nhiều đổi mới hơn trong không gian L2 và bổ sung các tính năng mới cho EVM như tính năng trừu tượng hóa tài khoản gốc. Tinh thần thúc đẩy của Kakarot là bằng chứng, sự mở rộng và đổi mới.

2, KakarotTầm nhìn

Trong bài viết này, chúng tôi sẽ giới thiệu những điều khiến Kakarot trở nên độc đáo và tại sao nó lại quan trọng đối với Người dùng cuối cùng và người xây dựng đều quan trọng. Sau nhiều năm phát triển hệ sinh thái Ethereum, chúng tôi đã hình thành ba niềm tin vững chắc. Chúng tôi hy vọng sẽ giải quyết được các vấn đề và hiện thực hóa tầm nhìn của mình thông qua Kakarot.

• Sẽ không có vấn đề gì nếu TPS vượt quá một ngưỡng nhất định. Người dùng muốn có mức độ phản hồi tương đương với các ứng dụng web2 và dApps web3 nhanh. Nói cách khác, người dùng muốn tốc độ giao dịch dưới giây. Điều này thường có nghĩa là sẽ mất vài năm để đạt được 10.000 TPS (chúng ta vẫn cần cùng nhau giải quyết vấn đề tăng trưởng của bang).

• Chi phí giao dịch là rào cản lớn cho việc áp dụng. Như Vitalik đã nói trong một bài đăng trên blog: "Tôi nghĩ thủ phạm đằng sau sự thay đổi này (web3 kém cởi mở hơn) là phí giao dịch tăng." Chi phí giao dịch cuối cùng sẽ giảm xuống dưới một xu để mọi người tự do thử nghiệm và đổi mới.

• Một rào cản lớn khác đối với việc áp dụng đại trà là trải nghiệm người dùng. Tại Kakarot, chúng tôi tin rằng trải nghiệm người dùng web3 hiện tại cần được cải thiện đáng kể. Ví dụ: chúng tôi mong muốn cung cấp một giải pháp thay thế cho những người không muốn quản lý các cụm từ ghi nhớ hoặc những người đang tìm kiếm trải nghiệm một cú nhấp chuột (tức là nhiều cuộc gọi) có sẵn trên hầu hết các dApp.

Tóm tắt ba điểm này, Kakarot có thể hình thành cam kết của mình với người dùng và vị thế của mình trong cuộc cạnh tranh tổng hợp Ethereum hiện tại:

Trong khi cung cấp chi phí thấp và giao dịch nhanh chóng, Kakarot hướng tới mục tiêu dẫn đầu với tính năng trừu tượng hóa dựa trên tài khoản (nhiều cuộc gọi, người ký vùng bảo mật, v.v.) và phát hành tính năng nhanh chóng (ví dụ: trước khi có lượng Người dùng lớn- đổi mới tập trung giống như hầu hết các EIP tương tự).

3, KakarotThiết kế: sự tách biệt tất yếu giữa mật mã và kỹ thuật

Theo một nghĩa nào đó, Kiến trúc của Kakarot là nhất định bởi vì nó được tạo ra từ những nguyên tắc đầu tiên. Cốt lõi của Kakarot được xây dựng bằng ngôn ngữ cấp cao Cairo. Điều này làm cho Kakarot trở thành zkEVM duy nhất thực sự tách biệt giữa mật mã và kỹ thuật, với mật mã và kỹ thuật tương ứng với "zk" và "EVM" trong zkEVM tương ứng (ngoại trừ zeth và Reth của SP1, hiện đang trong giai đoạn nghiên cứu).

Sự tách biệt này có ý nghĩa gì đối với nhóm của chúng ta? Điều đó có nghĩa là phát triển nhanh hơn, ít mã hơn (ít hơn nhiều so với mức bạn cần viết cho một mạch tùy chỉnh), bảo trì dễ dàng hơn và là nơi trưng bày tất cả những đổi mới của Cairo trong phần mềm xác minh và nguồn mở.

Ý tưởng ​​sự tách biệt không chỉ thanh lịch mà còn là cách duy nhất để hỗ trợ việc mở rộng trong tương lai. ZkEVM đã được chứng minh là rất khó xây dựng các mạch tùy chỉnh để hỗ trợ các hard fork trên mạng chính và đổi mới bằng cách tích hợp trước các EIP mới.

Chúng tôi tin rằng sẽ có nhiều người chơi hơn trong không gian này chuyển sang sử dụng các máy ảo trung gian. Ngày nay, có hai lựa chọn để viết phần mềm có thể chứng minh và thích ứng là:

• Sử dụng ngôn ngữ LLVM ​​và chứng minh điều đó, như Rust với LLVM, với Risc-V bằng cách sử dụng bằng chứng RISC-ZERO vkVM (như mã Rust của revm trở nên có thể chứng minh được là zeth).

• Sử dụng ngôn ngữ Cairo, một ngôn ngữ lập trình "được thiết kế hợp lý" được xây dựng cho CairoVM.

Chúng tôi tin tưởng rằng Cairo sẽ luôn có hiệu suất tốt hơn (trong khi các zkVM khác có thể thuận tiện hơn) vì nó được xây dựng với triết lý chứng minh khái niệm, không giống như các zkVM khác . Trong những năm tới, Cairo sẽ chứng tỏ là công cụ thiết thực và hiệu quả nhất để viết phần mềm có thể chứng minh được.

4 , Cam kết lấy người dùng làm trung tâm

Việc phát triển phần mềm đơn giản, dễ sử dụng là điều hiển nhiên nhưng người dùng cuối lại không quan tâm đến những điều này. Họ không quan tâm liệu phần phụ trợ của Whatsapp chạy trên AWS hay đám mây của chính nó hay Telegram được viết bằng ngôn ngữ lập trình nào. Người dùng cuối mong đợi giá trị gia tăng rõ ràng.

Thách thức mà chúng tôi gặp phải khi xây dựng Kakarot là biến lợi thế kỹ thuật to lớn này (một ngôn ngữ trung gian có thể chứng minh được ở cấp độ cao) thành giá trị gia tăng cho cộng đồng của chúng tôi.

Chúng tôi muốn chứng minh khả năng thích ứng nhanh chóng với những thay đổi của Ethereum. Hai lợi thế rõ ràng đầu tiên mà chúng tôi mang lại cho cộng đồng là:

• Kakarot zkEVM sẽ có sẵn ngay lập tức Tích hợp hard fork mạng chính Dencun: tất cả các opcode và bản cập nhật mới sẽ được tích hợp (tstore, v.v.).

• Lộ trình sản phẩm hợp tác, thử nghiệm của người dùng và xây dựng lặp lại.

Chúng ta hãy dành một chút thời gian để hiểu điểm thứ hai. Chúng tôi hoàn toàn miễn phí và có thể triển khai các tính năng quan trọng một cách nhanh chóng (vì cộng đồng của chúng tôi lựa chọn). Trong giai đoạn testnet, chúng tôi sẽ phát hành các tính năng mới và yêu cầu cộng đồng của mình chọn những tính năng hữu ích nhất. Chúng tôi rất vui được thử một số ý tưởng trên mạng thử nghiệm của mình: gọi nhiều lần gốc, EOA với faceID (hoặc người ký phần cứng), trừu tượng hóa tài khoản gốc ưu tiên thiết bị di động, tích hợp sớm EOF, v.v.!

Khi chúng tôi khám phá các tính năng mới với cộng đồng nhà xây dựng và người dùng cuối, hãy nhớ rằng Cairo và hệ sinh thái của nó đang tích cực được phát triển ở hậu trường! Hơn 100 nhân viên của Starkware đang làm việc chăm chỉ để tạo ra bộ chứng minh thế hệ tiếp theo cho Cairo. Đồng thời, hơn 500 nhà phát triển và người tham gia cơ sở hạ tầng trong cộng đồng nhà phát triển Cairo đang xây dựng các cơ sở mã mới và những đột phá mà Kakarot có thể tích hợp trong tương lai (chẳng hạn như thực thi song song).

Một ví dụ điển hình phản ánh lợi thế cạnh tranh của chúng tôi là nghiên cứu cải tiến chứng minh mới nhất do Starkware hợp tác với Polygon Labs: Circle STARK triển khai. Cairo ngày càng mạnh mẽ hơn!

Kakarot không chỉ có thể sử dụng Sự đổi mới của hệ sinh thái Cairo sôi động (tăng tốc độ đã được chứng minh, hỗ trợ các thư viện mã nguồn mở như secp256r1), nhưng cũng phát triển tốc độ cao với tính linh hoạt mạnh mẽ (hỗ trợ hard fork và EIP).

5 , KakarotCập nhật mới nhất

Với tinh thần nhất quán thuần túy và phương châm "nó chỉ hoạt động", Kakarot đặt mục tiêu vượt qua thử nghiệm Ethereum 100% (Tổ chức Ethereum chính thức kiểm tra EVM). Cột mốc quan trọng này sẽ xác nhận khả năng tương thích hoàn toàn của chúng tôi với Ethereum và cũng sẽ giải phóng các nhà phát triển khỏi nỗi lo phân mảnh EVM.

Bằng cách này, Kakarot sẽ cung cấp trải nghiệm phát triển liền mạch và những người xây dựng EVM có thể mong đợi hoạt động trơn tru mà không có bất kỳ trục trặc hoặc sự không tương thích nào với mạng chính Ethereum. Chúng tôi muốn các nhà phát triển tập trung vào những gì quan trọng đối với họ: giao thức hoặc dApp của họ.

Bây giờ, Kakarot đã vượt qua hơn 90% các bài kiểm tra (tức là hơn 18.000 bài kiểm tra). Chúng tôi đã tạo dựng được niềm tin vào việc triển khai EVM của mình, giờ là lúc đối mặt với thế giới thực.

Tin tức mới nhất về Kakarot là chúng tôi đang bước vào giai đoạn testnet! Để đạt được điều này, chúng tôi đang hợp tác với Karnot và Starkware, những người sẽ giúp chúng tôi vận hành hệ thống của mình. Trong hai quý tiếp theo của năm 2024, chúng tôi sẽ xác thực công nghệ của mình với bạn (hy vọng vậy) và với cộng đồng của chúng tôi. Bạn có thể chú ý theo dõi các cập nhật của chúng tôi trên Twitter để tìm hiểu về ngày mở mạng thử nghiệm công khai! Hiện tại, testnet chưa mở cửa cho công chúng.

Sau đây là sơ đồ đơn giản về cách hoạt động của mạng thử nghiệm Kakarot:

6, Kết luận

Tin tức mới nhất của Kakarot: Mạng thử nghiệm sẽ được ra mắt vào quý 2 và quý 3 của năm 2024.

Ưu điểm độc đáo của Kakarot nằm ở thiết kế của nó: đứng trên vai những gã khổng lồ về mật mã và tập trung vào kỹ thuật. Hãy tận dụng lợi thế này để trở thành một nhóm có khả năng thích ứng tốt hơn và phát hành sản phẩm nhanh hơn (~6 người và cộng tác viên đã xây dựng 2 triển khai zkEVM duy nhất trong vòng chưa đầy một năm).

Mục tiêu của Kakarot là tương thích 100% với mạng chính Ethereum. Chúng tôi đã được Ethereum Foundation kiểm tra đầy đủ để mang lại sự đảm bảo cho cộng đồng các nhà xây dựng của chúng tôi. Tính đến hôm nay, chúng tôi đã vượt qua hơn 90% các bài kiểm tra Ethereum. Mục tiêu của chúng tôi là giúp các nhà phát triển không phải gánh nặng tinh thần khi nói đến khả năng tương thích và chức năng.

Nhiệm vụ của Kakarot là mang đến nhiều cải tiến hơn cho không gian L2 (nhiều cuộc gọi, chữ ký bao bọc an toàn, người quản lý thanh toán, thực thi song song, v.v.) đồng thời hỗ trợ phát triển lâu dài (zkEVM loại 1, bằng chứng về mạng chính , chờ tương đương thuần túy).

Bằng cách tận dụng Cairo, Kakarot vừa ổn định vừa phát triển nhanh chóng. Cho phép chúng tôi kiêu ngạo một chút: Kakarot đang đến, chúng tôi muốn như vậy.