Validity Rollups: Giải pháp tốt nhất cho việc mở rộng Ethereum?
Validity Rollups (VRs), còn được gọi là zk-rollups, được coi là giải pháp đầy triển vọng nhất để nâng cao khả năng xử lý của Ethereum một cách an toàn và phi tập trung. Giải pháp mở rộng này có cốt lõi là việc sử dụng bằng chứng tính hợp lệ để thực hiện tính toán có thể xác minh. Nguyên lý hoạt động của nó như sau:
Các nhà điều hành chuyển việc thực hiện giao dịch sang môi trường off-chain ( lớp thứ hai ) để xử lý. Sau khi xử lý một lượng lớn giao dịch, các nhà điều hành lớp thứ hai sẽ trả kết quả để áp dụng vào trạng thái của Ethereum, đồng thời cung cấp chứng minh tính hợp lệ để xác minh tính toàn vẹn của việc thực hiện off-chain. Chứng minh này đảm bảo rằng tất cả các giao dịch trong lô đều hợp lệ và được hợp đồng xác thực trên chuỗi tự động xác minh. Điều này cho phép Ethereum áp dụng kết quả vào trạng thái của nó.
Cần lưu ý rằng, Validity Rollups thường bị nhầm lẫn với tổng hợp không kiến thức, nhưng điều này không chính xác. Hầu hết các Validity Rollup không sử dụng ZKP và cũng không được sử dụng để đảm bảo quyền riêng tư. Vì vậy, thuật ngữ "Validity Rollup" là chính xác hơn.
Máy ảo ngoài chuỗi
Máy ảo ( VM ) là một môi trường có thể chạy chương trình, giống như chạy hệ điều hành Windows trên Mac. Nó chuyển đổi giữa các trạng thái sau khi thực hiện tính toán trên một số đầu vào. Máy ảo Ethereum ( EVM ) là VM chạy hợp đồng thông minh Ethereum.
Zero-knowledge virtual machine ( zkVM ) là một môi trường thực thi chương trình, nó có khả năng tạo ra các chứng minh tính hợp lệ dễ dàng để chứng minh rằng chương trình đã được thực thi một cách chính xác. "zkEVM" thường chỉ việc sử dụng Ethereum Virtual Machine ( EVM ) và có khả năng chứng minh sự tổng hợp của EVM. Thuật ngữ này có thể gây hiểu lầm, vì EVM bản thân nó không tạo ra các chứng minh này; ngược lại, các chứng minh được tạo ra bởi một cơ chế chứng minh riêng biệt, cơ chế này lấy kết quả thực thi EVM làm điểm khởi đầu. Hơn nữa, các chứng minh này tập trung vào tính hợp lệ hơn là quyền riêng tư, vì vậy chúng không phải là chứng minh zero-knowledge hoàn toàn.
Mặc dù tất cả các Validity Rollups đều nhằm mục đích sử dụng bằng chứng hiệu lực để mở rộng Ethereum, nhưng chúng có sự khác biệt trong việc chọn VM để thực hiện các giao dịch ngoài chuỗi. Nhiều Validity Rollups chọn sao chép thiết kế EVM ( do đó được gọi là "zkEVM rollups" ), cố gắng sao chép Ethereum trên L2 rollup. Trong khi một giải pháp khác sử dụng một loại VM mới được thiết kế riêng - Cairo VM (CVM), nhằm tối ưu hóa hiệu suất bằng chứng hiệu lực.
Hai phương pháp này đều có ưu và nhược điểm riêng, nhưng zkEVM đánh đổi hiệu suất để có khả năng tương thích với Ethereum, trong khi Cairo VM đặt hiệu suất lên trên khả năng tương thích, ưu tiên khả năng mở rộng.
Phương pháp zkEVM
zkEVM nhằm mục đích đưa trải nghiệm Ethereum hoàn chỉnh vào blockchain Layer-2. Mục tiêu của nó là sao chép môi trường phát triển Ethereum thành bản tổng hợp. Với zkEVM, các nhà phát triển khi viết hợp đồng thông minh hoặc di chuyển hợp đồng thông minh đến các giải pháp có thể mở rộng hơn, không cần thay đổi mã hoặc từ bỏ công cụ EVM ( và hợp đồng thông minh ).
Một nhược điểm chính của phương pháp này là giảm tiềm năng mở rộng của chứng minh hiệu quả. Do zkEVM cam kết tương thích với Ethereum, nên tốc độ chậm hơn và độ tập trung tài nguyên cao hơn. Khác với CVM, EVM không được thiết kế với hiệu quả chứng minh trong tâm trí. Điều này hạn chế việc sử dụng các tối ưu hóa có thể cải thiện hiệu quả và khả năng mở rộng, cuối cùng ảnh hưởng đến hiệu suất tổng thể của hệ thống.
Thách thức về khả năng chứng minh của EVM
Thách thức cốt lõi của phương pháp zkEVM xuất phát từ thiết kế nguyên thủy của EVM - nó không được thiết kế để hoạt động trong môi trường chứng minh hiệu lực. Do đó, những nỗ lực phản ánh chức năng của nó không thể phát huy đầy đủ tiềm năng của chứng minh hiệu lực, dẫn đến hiệu suất kém. Sự kém hiệu quả này cuối cùng sẽ ảnh hưởng đến hiệu suất tổng thể của hệ thống. Tính tương thích của EVM với chứng minh hiệu lực bị hạn chế bởi các yếu tố sau:
EVM sử dụng mô hình dựa trên ngăn xếp, trong khi chứng minh tính hợp lệ phù hợp hơn với mô hình dựa trên thanh ghi. Đặc tính ngăn xếp của EVM làm tăng độ khó trong việc chứng minh tính chính xác của việc thực thi, đồng thời cũng khiến việc cung cấp hỗ trợ trực tiếp cho chuỗi công cụ bản địa của nó trở nên khó khăn hơn.
Lớp lưu trữ của Ethereum phụ thuộc nghiêm trọng vào Keccak và Cây Merkle Patricia lớn, cả hai đều không thuận lợi cho việc chứng minh hiệu quả và làm tăng gánh nặng chứng minh. Ví dụ, Keccak chạy rất nhanh trên kiến trúc x86, nhưng cần 90k bước để chứng minh. Ngược lại, hàm băm Pedersen thân thiện với zk chỉ cần 32 bước. Ngay cả khi sử dụng nén đệ quy, việc sử dụng Keccak trong zkEVM cũng có nghĩa là người dùng cần gánh chịu chi phí tài nguyên của các chứng nhân lớn.
Do đó, các giải pháp zkEVM cung cấp các mức độ hỗ trợ khác nhau cho các công cụ Ethereum - zkEVM càng tương thích với Ethereum thì hiệu suất càng kém.
Phương pháp Cairo-VM
Khác với việc đầu tư nhiều thời gian phát triển vào "khiến EVM thích ứng với Validity Rollups" của zkEVM, Cairo-VM đã áp dụng một thiết kế máy ảo chuyên dụng hoàn toàn mới và thêm hỗ trợ cho các công cụ Ethereum lên trên đó như một lớp bổ sung. Đây là phương pháp được áp dụng bởi Validity Rollup không cần giấy phép - Starknet, được ra mắt vào tháng 11 năm 2021. Starknet là Validity Rollup đầu tiên cung cấp nền tảng hợp đồng thông minh tổng quát trên một mạng lưới hoàn toàn có thể kết hợp.
Starknet sử dụng Cairo-VM (CVM), đây là một ngôn ngữ cấp cao cùng tên. Cairo-VM được thiết kế đặc biệt để tạo ra các chứng minh hiệu lực cho việc thực thi chương trình một cách hiệu quả.
Sử dụng máy ảo và ngôn ngữ Cairo(, chúng tôi đã có:
Chứng minh tính hiệu quả tối ưu - Mỗi chỉ thị đều có một biểu diễn đại số hợp lệ.
Ngôn ngữ Rust loại dùng để viết chương trình có thể chứng minh
Biểu diễn trung gian giữa lệnh VM của Cairo và Cairo Assembly ), cho phép thực thi hiệu quả mã Cairo
Phát triển ngôn ngữ mới có thể được tùy chỉnh dựa trên nhu cầu cụ thể và được trang bị các chức năng đáp ứng nhu cầu trước đây chưa được thỏa mãn.
Cairo và mã hóa đa dạng
Ngôn ngữ Cairo được thiết kế ban đầu để đơn giản hóa quy trình tạo ra bằng chứng hiệu lực, và làm cho việc thêm chức năng và logic kinh doanh phức tạp vào StarkEx trở nên dễ dàng hơn. Chương trình Cairo được biên dịch thành mã máy đại số - một chuỗi số - được thực thi bởi một VM cố định. Với Cairo, sự phức tạp trong việc tạo ra các ràng buộc toán học mô tả tính toán đã được trừu tượng hóa, và được tập hợp các ràng buộc cố định ( với tổng số ít hơn 50 ràng buộc ). Do đó, các nhà phát triển có thể tận dụng các bằng chứng hiệu lực để mở rộng ứng dụng của họ mà không cần hiểu về toán học và cơ sở hạ tầng bên dưới, chỉ cần sử dụng cú pháp quen thuộc của họ để viết mã.
Starknet chú trọng đổi mới, điều này thể hiện trong các phương pháp mã hóa đa dạng của nó. Cairo sử dụng STARKs để đạt được khả năng mở rộng tối ưu không chỉ giới hạn ở những người viết hợp đồng trực tiếp bằng Cairo. Các nhà phát triển có thể chọn phương pháp phù hợp nhất với họ:
Viết mã trực tiếp trong Cairo: Với sự ra mắt của Cairo 1.0, các nhà phát triển giờ đây có thể sử dụng ngôn ngữ kiểu Rust thân thiện với người dùng và an toàn, điều này giúp việc viết logic chương trình trở nên dễ dàng hơn và ít sai sót hơn.
Tính tương thích với Solidity: Các nhà phát triển Solidity có thể viết mã có thể sử dụng được bởi Cairo VM. Phương pháp này cung cấp trải nghiệm phát triển tương tự như Ethereum và cho phép hợp đồng thông minh Solidity có thể di chuyển sang Starknet. Có hai cách thực hiện:
Biên dịch: Chuyển đổi mã nguồn của một ngôn ngữ lập trình sang một ngôn ngữ khác. Một nhóm đã tạo ra trình biên dịch Warp, dùng để chuyển đổi mã Solidity sang Cairo. Warp giúp các hợp đồng thông minh Solidity có thể di chuyển sang Starknet, hiệu quả biến nó thành Type 4 zkEVM. Nó đã được sử dụng để chuyển đổi và triển khai một hợp đồng DEX, chỉ cần thay đổi rất nhỏ.
zkEVM trên Starknet: Cairo VM có thể được sử dụng để chứng minh việc thực thi của một VM khác. Kakarot là một zkEVM được viết bằng Cairo, có thể được sử dụng để chạy hợp đồng thông minh Ethereum trên Starknet. Cairo VM và zkEVM không phải là các giải pháp cạnh tranh, chúng ta có thể có cả Cairo VM và zkEVM!
Mặc dù thời gian tồn tại rất ngắn, nhưng Cairo đã trở thành ngôn ngữ hợp đồng thông minh phổ biến thứ tư theo xếp hạng TVL và đã nhận được hơn 350 triệu USD hỗ trợ.
Tóm tắt
zkEVM nhằm mục đích sao chép môi trường Ethereum thành rollup, và cho phép các nhà phát triển sử dụng các công cụ Ethereum quen thuộc. Tuy nhiên, phương pháp này hạn chế toàn bộ tiềm năng của việc chứng minh hiệu lực, và có thể tốn nhiều tài nguyên.
Cairo VM được thiết kế đặc biệt cho hệ thống chứng minh tính hợp lệ, không bị giới hạn bởi EVM. Nó được hỗ trợ bởi một ngôn ngữ lập trình kiểu Rust mới, an toàn và thân thiện với người dùng có tên là Cairo 1.0, tạo thành một công cụ mạnh mẽ nhằm đạt được hiệu quả tối đa trong việc mở rộng Ethereum thông qua việc sử dụng chứng minh STARK.
Tiến triển liên tục của Cairo, cũng như sự gia tăng các lựa chọn phát triển đa dạng như Kakarot zkEVM và Warp, thật đáng phấn khích. Khi các ứng dụng dựa trên Cairo bước vào giai đoạn sản xuất, điều này thể hiện sức mạnh của Cairo, và tôi tin rằng nó sẽ được sử dụng cho những dự án tham vọng hơn trong tương lai.
Nhờ vào nhiều cách mở rộng STARK và những cách khác chắc chắn sẽ xuất hiện trong vài tháng tới, các nhà phát triển hiện nay có khả năng kiểm soát việc mở rộng blockchain chưa từng có.
Trang này có thể chứa nội dung của bên thứ ba, được cung cấp chỉ nhằm mục đích thông tin (không phải là tuyên bố/bảo đảm) và không được coi là sự chứng thực cho quan điểm của Gate hoặc là lời khuyên về tài chính hoặc chuyên môn. Xem Tuyên bố từ chối trách nhiệm để biết chi tiết.
10 thích
Phần thưởng
10
7
Đăng lại
Chia sẻ
Bình luận
0/400
RektRecovery
· 08-13 08:25
meh... một bề mặt tấn công khác đang chờ bị khai thác thật lòng mà nói
Xem bản gốcTrả lời0
fomo_fighter
· 08-13 03:30
L2 phải chạy nhanh như vậy thì đã To da moon rồi.
Xem bản gốcTrả lời0
just_here_for_vibes
· 08-12 17:26
Tầng 2 có thể đánh bại lão V không?
Xem bản gốcTrả lời0
ZkSnarker
· 08-11 05:15
thực ra rollups chỉ là những cơ chế gộp nhóm tinh vi thôi.
Xem bản gốcTrả lời0
GateUser-7b078580
· 08-11 03:05
Nhìn vào xu hướng thay đổi của gas, cảm giác lại phải chờ vài năm nữa.
Xem bản gốcTrả lời0
Fren_Not_Food
· 08-11 02:45
eth thực sự đã nấu lại món ăn cũ lên đến tận trời rồi sao
Validity Rollups: Cuộc chiến giữa EVM và Cairo VM dẫn dắt hướng mở rộng mới cho Ethereum
Validity Rollups: Giải pháp tốt nhất cho việc mở rộng Ethereum?
Validity Rollups (VRs), còn được gọi là zk-rollups, được coi là giải pháp đầy triển vọng nhất để nâng cao khả năng xử lý của Ethereum một cách an toàn và phi tập trung. Giải pháp mở rộng này có cốt lõi là việc sử dụng bằng chứng tính hợp lệ để thực hiện tính toán có thể xác minh. Nguyên lý hoạt động của nó như sau:
Các nhà điều hành chuyển việc thực hiện giao dịch sang môi trường off-chain ( lớp thứ hai ) để xử lý. Sau khi xử lý một lượng lớn giao dịch, các nhà điều hành lớp thứ hai sẽ trả kết quả để áp dụng vào trạng thái của Ethereum, đồng thời cung cấp chứng minh tính hợp lệ để xác minh tính toàn vẹn của việc thực hiện off-chain. Chứng minh này đảm bảo rằng tất cả các giao dịch trong lô đều hợp lệ và được hợp đồng xác thực trên chuỗi tự động xác minh. Điều này cho phép Ethereum áp dụng kết quả vào trạng thái của nó.
Cần lưu ý rằng, Validity Rollups thường bị nhầm lẫn với tổng hợp không kiến thức, nhưng điều này không chính xác. Hầu hết các Validity Rollup không sử dụng ZKP và cũng không được sử dụng để đảm bảo quyền riêng tư. Vì vậy, thuật ngữ "Validity Rollup" là chính xác hơn.
Máy ảo ngoài chuỗi
Máy ảo ( VM ) là một môi trường có thể chạy chương trình, giống như chạy hệ điều hành Windows trên Mac. Nó chuyển đổi giữa các trạng thái sau khi thực hiện tính toán trên một số đầu vào. Máy ảo Ethereum ( EVM ) là VM chạy hợp đồng thông minh Ethereum.
Zero-knowledge virtual machine ( zkVM ) là một môi trường thực thi chương trình, nó có khả năng tạo ra các chứng minh tính hợp lệ dễ dàng để chứng minh rằng chương trình đã được thực thi một cách chính xác. "zkEVM" thường chỉ việc sử dụng Ethereum Virtual Machine ( EVM ) và có khả năng chứng minh sự tổng hợp của EVM. Thuật ngữ này có thể gây hiểu lầm, vì EVM bản thân nó không tạo ra các chứng minh này; ngược lại, các chứng minh được tạo ra bởi một cơ chế chứng minh riêng biệt, cơ chế này lấy kết quả thực thi EVM làm điểm khởi đầu. Hơn nữa, các chứng minh này tập trung vào tính hợp lệ hơn là quyền riêng tư, vì vậy chúng không phải là chứng minh zero-knowledge hoàn toàn.
Mặc dù tất cả các Validity Rollups đều nhằm mục đích sử dụng bằng chứng hiệu lực để mở rộng Ethereum, nhưng chúng có sự khác biệt trong việc chọn VM để thực hiện các giao dịch ngoài chuỗi. Nhiều Validity Rollups chọn sao chép thiết kế EVM ( do đó được gọi là "zkEVM rollups" ), cố gắng sao chép Ethereum trên L2 rollup. Trong khi một giải pháp khác sử dụng một loại VM mới được thiết kế riêng - Cairo VM (CVM), nhằm tối ưu hóa hiệu suất bằng chứng hiệu lực.
Hai phương pháp này đều có ưu và nhược điểm riêng, nhưng zkEVM đánh đổi hiệu suất để có khả năng tương thích với Ethereum, trong khi Cairo VM đặt hiệu suất lên trên khả năng tương thích, ưu tiên khả năng mở rộng.
Phương pháp zkEVM
zkEVM nhằm mục đích đưa trải nghiệm Ethereum hoàn chỉnh vào blockchain Layer-2. Mục tiêu của nó là sao chép môi trường phát triển Ethereum thành bản tổng hợp. Với zkEVM, các nhà phát triển khi viết hợp đồng thông minh hoặc di chuyển hợp đồng thông minh đến các giải pháp có thể mở rộng hơn, không cần thay đổi mã hoặc từ bỏ công cụ EVM ( và hợp đồng thông minh ).
Một nhược điểm chính của phương pháp này là giảm tiềm năng mở rộng của chứng minh hiệu quả. Do zkEVM cam kết tương thích với Ethereum, nên tốc độ chậm hơn và độ tập trung tài nguyên cao hơn. Khác với CVM, EVM không được thiết kế với hiệu quả chứng minh trong tâm trí. Điều này hạn chế việc sử dụng các tối ưu hóa có thể cải thiện hiệu quả và khả năng mở rộng, cuối cùng ảnh hưởng đến hiệu suất tổng thể của hệ thống.
Thách thức về khả năng chứng minh của EVM
Thách thức cốt lõi của phương pháp zkEVM xuất phát từ thiết kế nguyên thủy của EVM - nó không được thiết kế để hoạt động trong môi trường chứng minh hiệu lực. Do đó, những nỗ lực phản ánh chức năng của nó không thể phát huy đầy đủ tiềm năng của chứng minh hiệu lực, dẫn đến hiệu suất kém. Sự kém hiệu quả này cuối cùng sẽ ảnh hưởng đến hiệu suất tổng thể của hệ thống. Tính tương thích của EVM với chứng minh hiệu lực bị hạn chế bởi các yếu tố sau:
EVM sử dụng mô hình dựa trên ngăn xếp, trong khi chứng minh tính hợp lệ phù hợp hơn với mô hình dựa trên thanh ghi. Đặc tính ngăn xếp của EVM làm tăng độ khó trong việc chứng minh tính chính xác của việc thực thi, đồng thời cũng khiến việc cung cấp hỗ trợ trực tiếp cho chuỗi công cụ bản địa của nó trở nên khó khăn hơn.
Lớp lưu trữ của Ethereum phụ thuộc nghiêm trọng vào Keccak và Cây Merkle Patricia lớn, cả hai đều không thuận lợi cho việc chứng minh hiệu quả và làm tăng gánh nặng chứng minh. Ví dụ, Keccak chạy rất nhanh trên kiến trúc x86, nhưng cần 90k bước để chứng minh. Ngược lại, hàm băm Pedersen thân thiện với zk chỉ cần 32 bước. Ngay cả khi sử dụng nén đệ quy, việc sử dụng Keccak trong zkEVM cũng có nghĩa là người dùng cần gánh chịu chi phí tài nguyên của các chứng nhân lớn.
Do đó, các giải pháp zkEVM cung cấp các mức độ hỗ trợ khác nhau cho các công cụ Ethereum - zkEVM càng tương thích với Ethereum thì hiệu suất càng kém.
Phương pháp Cairo-VM
Khác với việc đầu tư nhiều thời gian phát triển vào "khiến EVM thích ứng với Validity Rollups" của zkEVM, Cairo-VM đã áp dụng một thiết kế máy ảo chuyên dụng hoàn toàn mới và thêm hỗ trợ cho các công cụ Ethereum lên trên đó như một lớp bổ sung. Đây là phương pháp được áp dụng bởi Validity Rollup không cần giấy phép - Starknet, được ra mắt vào tháng 11 năm 2021. Starknet là Validity Rollup đầu tiên cung cấp nền tảng hợp đồng thông minh tổng quát trên một mạng lưới hoàn toàn có thể kết hợp.
Starknet sử dụng Cairo-VM (CVM), đây là một ngôn ngữ cấp cao cùng tên. Cairo-VM được thiết kế đặc biệt để tạo ra các chứng minh hiệu lực cho việc thực thi chương trình một cách hiệu quả.
Sử dụng máy ảo và ngôn ngữ Cairo(, chúng tôi đã có:
Phát triển ngôn ngữ mới có thể được tùy chỉnh dựa trên nhu cầu cụ thể và được trang bị các chức năng đáp ứng nhu cầu trước đây chưa được thỏa mãn.
Cairo và mã hóa đa dạng
Ngôn ngữ Cairo được thiết kế ban đầu để đơn giản hóa quy trình tạo ra bằng chứng hiệu lực, và làm cho việc thêm chức năng và logic kinh doanh phức tạp vào StarkEx trở nên dễ dàng hơn. Chương trình Cairo được biên dịch thành mã máy đại số - một chuỗi số - được thực thi bởi một VM cố định. Với Cairo, sự phức tạp trong việc tạo ra các ràng buộc toán học mô tả tính toán đã được trừu tượng hóa, và được tập hợp các ràng buộc cố định ( với tổng số ít hơn 50 ràng buộc ). Do đó, các nhà phát triển có thể tận dụng các bằng chứng hiệu lực để mở rộng ứng dụng của họ mà không cần hiểu về toán học và cơ sở hạ tầng bên dưới, chỉ cần sử dụng cú pháp quen thuộc của họ để viết mã.
Starknet chú trọng đổi mới, điều này thể hiện trong các phương pháp mã hóa đa dạng của nó. Cairo sử dụng STARKs để đạt được khả năng mở rộng tối ưu không chỉ giới hạn ở những người viết hợp đồng trực tiếp bằng Cairo. Các nhà phát triển có thể chọn phương pháp phù hợp nhất với họ:
Viết mã trực tiếp trong Cairo: Với sự ra mắt của Cairo 1.0, các nhà phát triển giờ đây có thể sử dụng ngôn ngữ kiểu Rust thân thiện với người dùng và an toàn, điều này giúp việc viết logic chương trình trở nên dễ dàng hơn và ít sai sót hơn.
Tính tương thích với Solidity: Các nhà phát triển Solidity có thể viết mã có thể sử dụng được bởi Cairo VM. Phương pháp này cung cấp trải nghiệm phát triển tương tự như Ethereum và cho phép hợp đồng thông minh Solidity có thể di chuyển sang Starknet. Có hai cách thực hiện:
Biên dịch: Chuyển đổi mã nguồn của một ngôn ngữ lập trình sang một ngôn ngữ khác. Một nhóm đã tạo ra trình biên dịch Warp, dùng để chuyển đổi mã Solidity sang Cairo. Warp giúp các hợp đồng thông minh Solidity có thể di chuyển sang Starknet, hiệu quả biến nó thành Type 4 zkEVM. Nó đã được sử dụng để chuyển đổi và triển khai một hợp đồng DEX, chỉ cần thay đổi rất nhỏ.
zkEVM trên Starknet: Cairo VM có thể được sử dụng để chứng minh việc thực thi của một VM khác. Kakarot là một zkEVM được viết bằng Cairo, có thể được sử dụng để chạy hợp đồng thông minh Ethereum trên Starknet. Cairo VM và zkEVM không phải là các giải pháp cạnh tranh, chúng ta có thể có cả Cairo VM và zkEVM!
Mặc dù thời gian tồn tại rất ngắn, nhưng Cairo đã trở thành ngôn ngữ hợp đồng thông minh phổ biến thứ tư theo xếp hạng TVL và đã nhận được hơn 350 triệu USD hỗ trợ.
Tóm tắt
zkEVM nhằm mục đích sao chép môi trường Ethereum thành rollup, và cho phép các nhà phát triển sử dụng các công cụ Ethereum quen thuộc. Tuy nhiên, phương pháp này hạn chế toàn bộ tiềm năng của việc chứng minh hiệu lực, và có thể tốn nhiều tài nguyên.
Cairo VM được thiết kế đặc biệt cho hệ thống chứng minh tính hợp lệ, không bị giới hạn bởi EVM. Nó được hỗ trợ bởi một ngôn ngữ lập trình kiểu Rust mới, an toàn và thân thiện với người dùng có tên là Cairo 1.0, tạo thành một công cụ mạnh mẽ nhằm đạt được hiệu quả tối đa trong việc mở rộng Ethereum thông qua việc sử dụng chứng minh STARK.
Tiến triển liên tục của Cairo, cũng như sự gia tăng các lựa chọn phát triển đa dạng như Kakarot zkEVM và Warp, thật đáng phấn khích. Khi các ứng dụng dựa trên Cairo bước vào giai đoạn sản xuất, điều này thể hiện sức mạnh của Cairo, và tôi tin rằng nó sẽ được sử dụng cho những dự án tham vọng hơn trong tương lai.
Nhờ vào nhiều cách mở rộng STARK và những cách khác chắc chắn sẽ xuất hiện trong vài tháng tới, các nhà phát triển hiện nay có khả năng kiểm soát việc mở rộng blockchain chưa từng có.