Kakarot zkEVM là một Máy ảo Ethereum (EVM) được viết ở Cairo. Cairo là một ngôn ngữ hoàn chỉnh Turing được liên kết với CairoVM. CairoVM sử dụng các hệ thống chứng minh đa thức và ZK-STARK để đạt được tính toán có thể chứng minh được.
Đặc điểm của zkEVM là nó có thể tạo ra các giao dịch có thể chứng minh được, vì vậy nó cũng có thể tạo ra các khối có thể chứng minh được. Kakarot được xây dựng dựa trên CairoVM, vì vậy mọi giao dịch được thực hiện trên Kakarot đều có thể chứng minh được.
Nói chung, Kakarot zkEVM được viết bằng ngôn ngữ Cairo và sử dụng hệ thống chứng minh ZK-STARK để cung cấp sức mạnh tính toán có thể chứng minh được. Nó cho phép các nhà phát triển triển khai các ứng dụng EVM trên nó và cho phép người dùng cuối tương tác với các ứng dụng này bằng chuỗi công cụ thông thường của họ.
Cuối cùng, Kakarot cũng sẽ cung cấp khả năng tương tác với giao thức Starknet, cung cấp khả năng kết hợp cho các giao thức trong các lĩnh vực khác nhau như DeFi và GameFi.
bản đồ tuyến đường
Dự án bắt đầu vào tháng 10 năm 2022 với một số mục tiêu: nguồn mở ngay từ ngày đầu tiên và tham vọng nhất là tạo ra một zkEVM với chưa đầy 10.000 dòng mã. Điều này đã đạt được chỉ trong sáu tháng. Và testnet sẽ được phát hành vào cuối mùa hè năm 2023.
Lộ trình của Kakarot zkEVM được chia thành ba giai đoạn:
Giai đoạn 1: Kakarot zkEVM trên Starknet — Đưa EVM lên Starknet
Kakarot zkEVM lần đầu tiên sẽ tồn tại trong L2 của Starknet dưới dạng EVM tích hợp, cho phép các nhà phát triển triển khai trực tiếp hợp đồng thông minh Solidity (hoặc bất kỳ ngôn ngữ tương thích EVM nào) của họ trên Starknet và sử dụng các công cụ quen thuộc của họ (chẳng hạn như Foundry, Hardhat , Wagmi, v.v.) . Người dùng cuối của họ sẽ có thể tương tác với các dApp của họ bằng cách sử dụng các chuỗi công cụ quen thuộc của họ như Metamask, Wallet connect, v.v. Nhìn chung, trải nghiệm của nhà phát triển và người dùng trên Kakarot sẽ hoàn toàn giống với Polygon, Scroll hay Ethereum L1
Giai đoạn 2: Kakarot x Madara — L3 zkEVMs
Kakarot và Madara sẽ được kết hợp thành một ngăn xếp thống nhất để kích hoạt L3 zkEVM và khi nào nên kích hoạt L4, L5, v.v. Các nhóm sẽ có thể triển khai chuỗi ứng dụng zkEVM của họ và sử dụng bằng chứng về tính hợp lệ để giải quyết các giao dịch trên Starknet. Các tính toán được thực hiện ngoài chuỗi hoặc ở lớp cao hơn và được xác minh trên chuỗi. Những L3 chứng minh tính hợp lệ này (như Kakarot) có một đặc tính thú vị và bị đánh giá thấp: khả năng tách rời bảo mật và phân cấp. Người dùng có thể hưởng lợi từ tính bảo mật của Ethereum L1 mà không yêu cầu cùng một mức độ phân quyền (tức là hàng nghìn trình xác thực). Tuy nhiên, đối với các bản tổng hợp, tính phi tập trung có lợi vì nó mang lại sự sống động và khả năng chống kiểm duyệt, hai thuộc tính rất quan trọng. Điều này có thể đạt được bằng cách đặt trình sắp xếp thứ tự ở hàng trăm thay vì hàng nghìn. L2 có chi phí gas thấp hơn nhiều và hiệu suất (TPS) cao hơn L2 do việc tính toán được thực hiện ở một lớp khác. Lưu ý rằng L2 đã rẻ hơn nhiều so với L1. Rollup được xếp chồng lên nhau và nhân lên cho khả năng mở rộng. Để tiếp tục giảm chi phí gas, có thể tách riêng xác minh bằng chứng và tính khả dụng của dữ liệu (DA). Starknet L2 chỉ có thể được sử dụng làm lớp xác minh bằng chứng, trong khi các giải pháp về tính khả dụng của dữ liệu mới, chẳng hạn như Celestia hoặc EigenDA, có thể được sử dụng để xuất bản dữ liệu giao dịch. Người dùng sẽ có tùy chọn để chọn tham gia, tùy thuộc vào nhu cầu bảo mật của họ. Xuất bản bằng chứng và dữ liệu giao dịch trên Starknet là một lựa chọn an toàn hơn, trong khi sử dụng các giải pháp DA để xuất bản dữ liệu giao dịch là một lựa chọn kinh tế hơn
Giai đoạn 3: Kakarot x Madara — đánh 1 zkEVM
Kakarot và Madara cũng có thể được kết hợp để triển khai zkEVM loại 1. Nếu bạn có thể:
Viết các quy tắc đồng thuận Ethereum với Cairo trong nút đầy đủ Madara x Kakarot để có thể chứng minh sự đồng thuận L1.
Chuyển từ Pedersen Merkle Patricia Trie (MPT) sang Keccak MPT. Sau đó, Kakarot sẽ trở thành ứng dụng khách zkEVM loại 1 có khả năng chứng thực các khối L1. Đây là trường hợp sử dụng nâng cao hơn phụ thuộc vào lộ trình của Ethereum, đặc biệt là Verge. Sau Verge, keccak có thể được thay thế bằng poseidon làm hàm băm được lựa chọn cho Ethereum. Điều này sẽ giúp nhóm zkEVM trở thành loại 1, vì rào cản tương thích chính đối với zkEVM là bố cục lưu trữ, tức là triển khai Keccak MPT với chi phí hợp lý và có thể chứng minh được.
Đội:
Tại ngôi nhà của một hacker ở Lisbon, khoảng một tuần làm việc tận tâm, khoảng mười người đã xây dựng một zkEVM, cho đến nay, nhóm nòng cốt Kakarot đã ra đời.
Với sự giúp đỡ của Quỹ Starknet và Onlydust, ngày nay Kakarot có hơn 40 người đóng góp độc đáo.
**Elias Tazartes: **Người đồng sáng lập và Giám đốc điều hành của Kakarot, một nhà phát triển tự do chuyên về kỹ thuật chuỗi khối (Dapp, Ethereum, Algorand) và phát triển toàn bộ ngăn xếp (Svelte/React, NodeJS, Rust, Python).
**Clément Walter: **Nhà khoa học, kỹ sư, doanh nhân, người siêng năng, tò mò về mọi thứ, đây là lời giới thiệu của Clément về bản thân. Đồng thời, ông là người đồng sáng lập và giám đốc công nghệ của Kakarot
Tài chính:
Hiện tại Kakarot đã tiến hành tài trợ cho vòng tiền hạt giống. Số tiền tài trợ cụ thể chưa được công bố. Các đội và nhân sự tham gia đầu tư là: **Starkware, LambDa. **Các nhà đầu tư thiên thần bao gồm Vitalik, Nicolas Bacca, đồng sáng lập Ledger và Rand Hindi, đồng sáng lập kiêm Giám đốc điều hành của ZAMA.
Tóm tắt:
Hiện tại, sự phát triển sinh thái của các chuỗi công khai không tương thích với EVM đang ở giai đoạn chậm Hiện tại, hầu hết hệ sinh thái chuỗi công cộng được phát triển xung quanh hệ sinh thái Ethereum. Kakarot, với tên gọi Máy ảo Ethereum (EVM) được viết ở Cairo trên Starknet, có thể nhanh chóng Một liên kết tốt giữa hệ sinh thái Starknet và hệ sinh thái Ethereum, trên Starknet không tương thích với EVM, cho phép hệ sinh thái Ethereum được xây dựng tốt trên Starknet và giảm rào cản gia nhập cho các nhà phát triển phát triển, truy cập vào bảo mật của Ethereum và giảm chi phí. Trong giai đoạn thứ hai và thứ ba của Kakarot, có thể đạt được nhiều khả năng kết hợp hơn và các mô-đun như Celestia hoặc EigenDA có thể được kết hợp theo mô-đun.
Như ZK-EVM đã viết trên Starknet, mối liên hệ với hệ sinh thái Starknet giống như mối quan hệ giữa môi và răng, cả hai đều thịnh vượng, hiện tại, Starknet cũng không ngừng nâng cấp lặp đi lặp lại để cải thiện trải nghiệm người dùng và dựa vào ZK-EVM EVM do Kakarot xây dựng có thể rất tốt, đóng góp vào sự thịnh vượng sinh thái của dự án, ngược lại, nếu sự phát triển của Starknet không đạt yêu cầu, Kakarot cũng sẽ bị ảnh hưởng.
Một lợi thế khác của Kakarot là nó có sự hỗ trợ của V God và StarkWare, không chỉ về tinh thần mà còn về tài chính.
So với các ZK-EVM khác, Kakarot gặp bất lợi—một nhóm dưới 10 người, với ngân sách và thương hiệu nhỏ hơn nhiều. Đây là một lý do tại sao Kakarot không được triển khai dưới dạng zkEVM L2 có mục đích chung.
Hiện tại, Kakarot vẫn đang trong giai đoạn đầu và testnet sẽ được phát hành trong thời gian tới, hãy chú ý theo dõi.
Xem bản gốc
Nội dung chỉ mang tính chất tham khảo, không phải là lời chào mời hay đề nghị. Không cung cấp tư vấn về đầu tư, thuế hoặc pháp lý. Xem Tuyên bố miễn trừ trách nhiệm để biết thêm thông tin về rủi ro.
Kakarot: Một Zk-EVM mà Vitalik Buterin cho là hay và đã đầu tư vào
Được viết bởi: Yinan
Giới thiệu
Kakarot zkEVM là một Máy ảo Ethereum (EVM) được viết ở Cairo. Cairo là một ngôn ngữ hoàn chỉnh Turing được liên kết với CairoVM. CairoVM sử dụng các hệ thống chứng minh đa thức và ZK-STARK để đạt được tính toán có thể chứng minh được.
Đặc điểm của zkEVM là nó có thể tạo ra các giao dịch có thể chứng minh được, vì vậy nó cũng có thể tạo ra các khối có thể chứng minh được. Kakarot được xây dựng dựa trên CairoVM, vì vậy mọi giao dịch được thực hiện trên Kakarot đều có thể chứng minh được.
Nói chung, Kakarot zkEVM được viết bằng ngôn ngữ Cairo và sử dụng hệ thống chứng minh ZK-STARK để cung cấp sức mạnh tính toán có thể chứng minh được. Nó cho phép các nhà phát triển triển khai các ứng dụng EVM trên nó và cho phép người dùng cuối tương tác với các ứng dụng này bằng chuỗi công cụ thông thường của họ.
Cuối cùng, Kakarot cũng sẽ cung cấp khả năng tương tác với giao thức Starknet, cung cấp khả năng kết hợp cho các giao thức trong các lĩnh vực khác nhau như DeFi và GameFi.
bản đồ tuyến đường
Dự án bắt đầu vào tháng 10 năm 2022 với một số mục tiêu: nguồn mở ngay từ ngày đầu tiên và tham vọng nhất là tạo ra một zkEVM với chưa đầy 10.000 dòng mã. Điều này đã đạt được chỉ trong sáu tháng. Và testnet sẽ được phát hành vào cuối mùa hè năm 2023.
Lộ trình của Kakarot zkEVM được chia thành ba giai đoạn:
Kakarot zkEVM lần đầu tiên sẽ tồn tại trong L2 của Starknet dưới dạng EVM tích hợp, cho phép các nhà phát triển triển khai trực tiếp hợp đồng thông minh Solidity (hoặc bất kỳ ngôn ngữ tương thích EVM nào) của họ trên Starknet và sử dụng các công cụ quen thuộc của họ (chẳng hạn như Foundry, Hardhat , Wagmi, v.v.) . Người dùng cuối của họ sẽ có thể tương tác với các dApp của họ bằng cách sử dụng các chuỗi công cụ quen thuộc của họ như Metamask, Wallet connect, v.v. Nhìn chung, trải nghiệm của nhà phát triển và người dùng trên Kakarot sẽ hoàn toàn giống với Polygon, Scroll hay Ethereum L1
Kakarot và Madara sẽ được kết hợp thành một ngăn xếp thống nhất để kích hoạt L3 zkEVM và khi nào nên kích hoạt L4, L5, v.v. Các nhóm sẽ có thể triển khai chuỗi ứng dụng zkEVM của họ và sử dụng bằng chứng về tính hợp lệ để giải quyết các giao dịch trên Starknet. Các tính toán được thực hiện ngoài chuỗi hoặc ở lớp cao hơn và được xác minh trên chuỗi. Những L3 chứng minh tính hợp lệ này (như Kakarot) có một đặc tính thú vị và bị đánh giá thấp: khả năng tách rời bảo mật và phân cấp. Người dùng có thể hưởng lợi từ tính bảo mật của Ethereum L1 mà không yêu cầu cùng một mức độ phân quyền (tức là hàng nghìn trình xác thực). Tuy nhiên, đối với các bản tổng hợp, tính phi tập trung có lợi vì nó mang lại sự sống động và khả năng chống kiểm duyệt, hai thuộc tính rất quan trọng. Điều này có thể đạt được bằng cách đặt trình sắp xếp thứ tự ở hàng trăm thay vì hàng nghìn. L2 có chi phí gas thấp hơn nhiều và hiệu suất (TPS) cao hơn L2 do việc tính toán được thực hiện ở một lớp khác. Lưu ý rằng L2 đã rẻ hơn nhiều so với L1. Rollup được xếp chồng lên nhau và nhân lên cho khả năng mở rộng. Để tiếp tục giảm chi phí gas, có thể tách riêng xác minh bằng chứng và tính khả dụng của dữ liệu (DA). Starknet L2 chỉ có thể được sử dụng làm lớp xác minh bằng chứng, trong khi các giải pháp về tính khả dụng của dữ liệu mới, chẳng hạn như Celestia hoặc EigenDA, có thể được sử dụng để xuất bản dữ liệu giao dịch. Người dùng sẽ có tùy chọn để chọn tham gia, tùy thuộc vào nhu cầu bảo mật của họ. Xuất bản bằng chứng và dữ liệu giao dịch trên Starknet là một lựa chọn an toàn hơn, trong khi sử dụng các giải pháp DA để xuất bản dữ liệu giao dịch là một lựa chọn kinh tế hơn
Kakarot và Madara cũng có thể được kết hợp để triển khai zkEVM loại 1. Nếu bạn có thể:
Đội:
Tại ngôi nhà của một hacker ở Lisbon, khoảng một tuần làm việc tận tâm, khoảng mười người đã xây dựng một zkEVM, cho đến nay, nhóm nòng cốt Kakarot đã ra đời.
Với sự giúp đỡ của Quỹ Starknet và Onlydust, ngày nay Kakarot có hơn 40 người đóng góp độc đáo.
**Elias Tazartes: **Người đồng sáng lập và Giám đốc điều hành của Kakarot, một nhà phát triển tự do chuyên về kỹ thuật chuỗi khối (Dapp, Ethereum, Algorand) và phát triển toàn bộ ngăn xếp (Svelte/React, NodeJS, Rust, Python).
**Clément Walter: **Nhà khoa học, kỹ sư, doanh nhân, người siêng năng, tò mò về mọi thứ, đây là lời giới thiệu của Clément về bản thân. Đồng thời, ông là người đồng sáng lập và giám đốc công nghệ của Kakarot
Tài chính:
Hiện tại Kakarot đã tiến hành tài trợ cho vòng tiền hạt giống. Số tiền tài trợ cụ thể chưa được công bố. Các đội và nhân sự tham gia đầu tư là: **Starkware, LambDa. **Các nhà đầu tư thiên thần bao gồm Vitalik, Nicolas Bacca, đồng sáng lập Ledger và Rand Hindi, đồng sáng lập kiêm Giám đốc điều hành của ZAMA.
Tóm tắt:
Hiện tại, sự phát triển sinh thái của các chuỗi công khai không tương thích với EVM đang ở giai đoạn chậm Hiện tại, hầu hết hệ sinh thái chuỗi công cộng được phát triển xung quanh hệ sinh thái Ethereum. Kakarot, với tên gọi Máy ảo Ethereum (EVM) được viết ở Cairo trên Starknet, có thể nhanh chóng Một liên kết tốt giữa hệ sinh thái Starknet và hệ sinh thái Ethereum, trên Starknet không tương thích với EVM, cho phép hệ sinh thái Ethereum được xây dựng tốt trên Starknet và giảm rào cản gia nhập cho các nhà phát triển phát triển, truy cập vào bảo mật của Ethereum và giảm chi phí. Trong giai đoạn thứ hai và thứ ba của Kakarot, có thể đạt được nhiều khả năng kết hợp hơn và các mô-đun như Celestia hoặc EigenDA có thể được kết hợp theo mô-đun.
Như ZK-EVM đã viết trên Starknet, mối liên hệ với hệ sinh thái Starknet giống như mối quan hệ giữa môi và răng, cả hai đều thịnh vượng, hiện tại, Starknet cũng không ngừng nâng cấp lặp đi lặp lại để cải thiện trải nghiệm người dùng và dựa vào ZK-EVM EVM do Kakarot xây dựng có thể rất tốt, đóng góp vào sự thịnh vượng sinh thái của dự án, ngược lại, nếu sự phát triển của Starknet không đạt yêu cầu, Kakarot cũng sẽ bị ảnh hưởng.
Một lợi thế khác của Kakarot là nó có sự hỗ trợ của V God và StarkWare, không chỉ về tinh thần mà còn về tài chính.
So với các ZK-EVM khác, Kakarot gặp bất lợi—một nhóm dưới 10 người, với ngân sách và thương hiệu nhỏ hơn nhiều. Đây là một lý do tại sao Kakarot không được triển khai dưới dạng zkEVM L2 có mục đích chung.
Hiện tại, Kakarot vẫn đang trong giai đoạn đầu và testnet sẽ được phát hành trong thời gian tới, hãy chú ý theo dõi.