Validity Rollups: Con đường vàng để mở rộng Ethereum
Validity Rollups (VRs) được coi là công nghệ hứa hẹn nhất hiện nay để nâng cao khả năng xử lý của Ethereum một cách an toàn và phi tập trung. Trong lĩnh vực này, zkEVM và Cairo VM (CVM) là hai giải pháp triển khai máy ảo chính.
zkEVM tập trung vào tính tương thích với Ethereum, nhưng sự lựa chọn này đã hy sinh một phần hiệu suất và khả năng mở rộng. Ngược lại, Cairo VM mà Starknet áp dụng đặt hiệu suất và khả năng mở rộng lên hàng đầu, chứ không phải hoàn toàn tương thích.
Cốt lõi của Validity Rollups là sử dụng chứng minh tính hợp lệ để thực hiện tính toán có thể xác minh. Cách chúng hoạt động là chuyển việc xử lý giao dịch sang môi trường bên ngoài chuỗi, tức là lớp 2. Sau khi xử lý một lượng lớn giao dịch, các nhà điều hành sẽ gửi kết quả và chứng minh trở lại mạng chính của Ethereum, nơi các hợp đồng thông minh xác thực tính toàn vẹn của việc thực hiện.
Cần lưu ý rằng, thuật ngữ "tổng hợp không biết" mặc dù thường được sử dụng, nhưng thực tế là không chính xác. Hầu hết các Validity Rollup không sử dụng chứng minh không biết và cũng không được thiết kế để bảo vệ quyền riêng tư.
Máy ảo là môi trường có thể thực thi chương trình, giống như chạy hệ thống Windows trên Mac. Ethereum Virtual Machine (EVM) là môi trường để chạy hợp đồng thông minh Ethereum. Còn Zero-Knowledge Virtual Machine (zkVM) là một môi trường thực thi đặc biệt, nó không chỉ thực thi chương trình mà còn có khả năng tạo ra các chứng minh tính hợp lệ dễ dàng xác minh.
zkEVM cố gắng sao chép trải nghiệm Ethereum ở lớp 2, cho phép các nhà phát triển tận hưởng khả năng mở rộng cao hơn mà không cần thay đổi mã hoặc công cụ. Tuy nhiên, phương pháp này cũng mang lại một số thách thức, chủ yếu là do EVM không được thiết kế với hiệu quả chứng minh trong tâm trí.
Mô hình dựa trên ngăn xếp của EVM, sự phụ thuộc vào hàm băm Keccak và cây Merkle Patricia lớn đã khiến việc tạo ra chứng minh tính hợp lệ trở nên khó khăn và tiêu tốn tài nguyên. Đó là lý do tại sao các triển khai zkEVM khác nhau đã thực hiện những sự đánh đổi khác nhau giữa tính tương thích Ethereum và hiệu suất.
So với, Cairo VM được thiết kế đặc biệt để tạo ra chứng minh tính hiệu quả một cách hiệu quả. Nó sử dụng một ngôn ngữ cấp cao mới có tên là Cairo, ngôn ngữ này được tối ưu hóa cho việc tạo chứng minh. Các lợi thế của Cairo VM bao gồm:
Mỗi lệnh đều có biểu diễn đại số hiệu quả cao
Ngôn ngữ giống như Rust được sử dụng để viết các chương trình có thể chứng minh.
Biểu diễn trung gian giữa Cairo nâng cao và Cairo hợp ngữ, cải thiện hiệu suất thực thi
Cairo không chỉ đơn giản hóa quá trình chứng minh tính toán phức tạp, mà còn cung cấp cho các nhà phát triển nhiều lựa chọn mã hóa. Các nhà phát triển có thể viết mã trực tiếp bằng Cairo, hoặc sử dụng Solidity thông qua trình biên dịch hoặc chạy trên zkEVM trên Starknet.
Mặc dù Cairo còn rất trẻ, nhưng nó đã trở thành ngôn ngữ hợp đồng thông minh xếp hạng thứ tư về TVL, thu hút một lượng lớn vốn đầu tư.
Tổng thể mà nói, zkEVM và Cairo VM đại diện cho hai hướng mở rộng khác nhau. zkEVM nỗ lực sao chép môi trường Ethereum, nhưng có thể hạn chế tiềm năng của hệ thống chứng minh. Cairo VM được thiết kế đặc biệt cho hệ thống chứng minh, mặc dù hy sinh một số khả năng tương thích, nhưng có những lợi thế rõ ràng về hiệu suất và khả năng mở rộng.
Với sự phát triển không ngừng của các ứng dụng trên Starknet, Cairo thể hiện tiềm năng mạnh mẽ. Trong tương lai, các nhà phát triển sẽ có nhiều lựa chọn hơn để mở rộng blockchain, Validity Rollups chắc chắn sẽ đóng vai trò quan trọng trong con đường mở rộng của Ethereum.
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.
12 thích
Phần thưởng
12
2
Đăng lại
Chia sẻ
Bình luận
0/400
WalletDivorcer
· 08-11 13:24
Chơi lâu vậy mà vẫn không hiểu layer2 có nghĩa là gì.
Validity Rollups:zkEVM và Cairo VM dẫn dắt kỷ nguyên mới mở rộng Ethereum
Validity Rollups: Con đường vàng để mở rộng Ethereum
Validity Rollups (VRs) được coi là công nghệ hứa hẹn nhất hiện nay để nâng cao khả năng xử lý của Ethereum một cách an toàn và phi tập trung. Trong lĩnh vực này, zkEVM và Cairo VM (CVM) là hai giải pháp triển khai máy ảo chính.
zkEVM tập trung vào tính tương thích với Ethereum, nhưng sự lựa chọn này đã hy sinh một phần hiệu suất và khả năng mở rộng. Ngược lại, Cairo VM mà Starknet áp dụng đặt hiệu suất và khả năng mở rộng lên hàng đầu, chứ không phải hoàn toàn tương thích.
Cốt lõi của Validity Rollups là sử dụng chứng minh tính hợp lệ để thực hiện tính toán có thể xác minh. Cách chúng hoạt động là chuyển việc xử lý giao dịch sang môi trường bên ngoài chuỗi, tức là lớp 2. Sau khi xử lý một lượng lớn giao dịch, các nhà điều hành sẽ gửi kết quả và chứng minh trở lại mạng chính của Ethereum, nơi các hợp đồng thông minh xác thực tính toàn vẹn của việc thực hiện.
Cần lưu ý rằng, thuật ngữ "tổng hợp không biết" mặc dù thường được sử dụng, nhưng thực tế là không chính xác. Hầu hết các Validity Rollup không sử dụng chứng minh không biết và cũng không được thiết kế để bảo vệ quyền riêng tư.
Máy ảo là môi trường có thể thực thi chương trình, giống như chạy hệ thống Windows trên Mac. Ethereum Virtual Machine (EVM) là môi trường để chạy hợp đồng thông minh Ethereum. Còn Zero-Knowledge Virtual Machine (zkVM) là một môi trường thực thi đặc biệt, nó không chỉ thực thi chương trình mà còn có khả năng tạo ra các chứng minh tính hợp lệ dễ dàng xác minh.
zkEVM cố gắng sao chép trải nghiệm Ethereum ở lớp 2, cho phép các nhà phát triển tận hưởng khả năng mở rộng cao hơn mà không cần thay đổi mã hoặc công cụ. Tuy nhiên, phương pháp này cũng mang lại một số thách thức, chủ yếu là do EVM không được thiết kế với hiệu quả chứng minh trong tâm trí.
Mô hình dựa trên ngăn xếp của EVM, sự phụ thuộc vào hàm băm Keccak và cây Merkle Patricia lớn đã khiến việc tạo ra chứng minh tính hợp lệ trở nên khó khăn và tiêu tốn tài nguyên. Đó là lý do tại sao các triển khai zkEVM khác nhau đã thực hiện những sự đánh đổi khác nhau giữa tính tương thích Ethereum và hiệu suất.
So với, Cairo VM được thiết kế đặc biệt để tạo ra chứng minh tính hiệu quả một cách hiệu quả. Nó sử dụng một ngôn ngữ cấp cao mới có tên là Cairo, ngôn ngữ này được tối ưu hóa cho việc tạo chứng minh. Các lợi thế của Cairo VM bao gồm:
Cairo không chỉ đơn giản hóa quá trình chứng minh tính toán phức tạp, mà còn cung cấp cho các nhà phát triển nhiều lựa chọn mã hóa. Các nhà phát triển có thể viết mã trực tiếp bằng Cairo, hoặc sử dụng Solidity thông qua trình biên dịch hoặc chạy trên zkEVM trên Starknet.
Mặc dù Cairo còn rất trẻ, nhưng nó đã trở thành ngôn ngữ hợp đồng thông minh xếp hạng thứ tư về TVL, thu hút một lượng lớn vốn đầu tư.
Tổng thể mà nói, zkEVM và Cairo VM đại diện cho hai hướng mở rộng khác nhau. zkEVM nỗ lực sao chép môi trường Ethereum, nhưng có thể hạn chế tiềm năng của hệ thống chứng minh. Cairo VM được thiết kế đặc biệt cho hệ thống chứng minh, mặc dù hy sinh một số khả năng tương thích, nhưng có những lợi thế rõ ràng về hiệu suất và khả năng mở rộng.
Với sự phát triển không ngừng của các ứng dụng trên Starknet, Cairo thể hiện tiềm năng mạnh mẽ. Trong tương lai, các nhà phát triển sẽ có nhiều lựa chọn hơn để mở rộng blockchain, Validity Rollups chắc chắn sẽ đóng vai trò quan trọng trong con đường mở rộng của Ethereum.