Validity Rollups: Lựa chọn tốt nhất cho việc mở rộng Ethereum?
Validity Rollups (còn được gọi là zk-rollups) được coi là giải pháp hứa hẹn 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. Cốt lõi của giải pháp mở rộng này là sử dụng chứng minh hiệu lực để thực hiện tính toán có thể xác minh. Nguyên lý hoạt động của nó như sau:
Nhà điều hành sẽ thực hiện giao dịch chuyển xuống môi trường bên ngoài chuỗi (lớp 2). Sau khi xử lý một lượng lớn giao dịch, nhà điều hành lớp 2 sẽ trả kết quả để áp dụng vào trạng thái Ethereum, đồng thời cung cấp chứng minh tính hợp lệ của việc thực thi ngoài chuỗi. 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 nhận. Đ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 chứng minh không kiến thức và cũng không được dùng để đảm bảo quyền riêng tư. Do đó, thuật ngữ "Validity Rollup" là phù hợp hơn.
Trong Validity Rollups, zkEVM và Cairo VM (CVM) là hai loại máy ảo phổ biến. zkEVM tập trung vào tính tương thích với Ethereum, nhưng hy sinh hiệu suất và khả năng mở rộng. Trong khi đó, Cairo VM mà Starknet sử dụng đặt hiệu suất và khả năng mở rộng lên trên tính tương thích.
Máy ảo ( VM ) là một môi trường có thể chạy chương trình, tương tự như việc chạy hệ điều hành Windows trên Mac. Nó chuyển đổi giữa các trạng thái khác nhau sau khi xử lý một số đầu vào. Máy ảo Ethereum ( EVM ) là máy ảo 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, có khả năng tạo ra các chứng nhận tính hợp lệ dễ dàng để chứng minh chương trình đã được thực thi chính xác. "zkEVM" thường ám chỉ việc sử dụng Ethereum Virtual Machine ( EVM ) và có khả năng chứng minh việc thực thi 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 những chứng nhận này; chứng nhận được tạo ra bởi một cơ chế chứng nhận độc lập, dựa trên kết quả của việc thực thi EVM. Hơn nữa, những chứng nhận này chủ yếu tập trung vào tính hợp lệ hơn là quyền riêng tư, vì vậy không phải là chứng nhận zero-knowledge theo nghĩa nghiêm ngặt.
zkEVM nhằm mục đích mang trải nghiệm Ethereum vào chuỗi khối Layer-2 một cách đầy đủ. Nó cố gắng sao chép môi trường Ethereum cho các nhà phát triển, cho phép họ viết hoặc chuyển đổi hợp đồng thông minh sang các giải pháp có tính mở rộng cao hơn mà không cần thay đổi mã hoặc từ bỏ các công cụ EVM. Tuy nhiên, 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 cam kết tương thích với Ethereum, tốc độ của zkEVM chậm hơn và tiêu tốn nhiều tài nguyên hơn.
So với trước, Starknet đã sử dụng Cairo VM (CVM), đây là một loại VM mới được thiết kế đặc biệt để tối ưu hóa hiệu quả của việc chứng minh tính hợp lệ. Cairo VM cho phép các nhà phát triển tùy chỉnh theo nhu cầu cụ thể và được trang bị các tính năng đáp ứng nhu cầu mới.
Ngôn ngữ Cairo ban đầu được thiết kế để đơn giản hóa quá trình tạo ra các chứng minh tính hiệu lực. Các chương trình Cairo được biên dịch thành mã máy đại số, do một VM cố định thực thi. Phương pháp này cho phép các nhà phát triển tận dụng chứng minh tính hiệu lực để mở rộng ứng dụng của họ mà không cần hiểu sâu về toán học và cơ sở hạ tầng cơ bản.
Starknet cung cấp nhiều phương pháp lập trình đa dạng. Các nhà phát triển có thể chọn viết mã gốc trong Cairo, hoặc sử dụng các công cụ tương thích với Solidity. Ví dụ, trình biên dịch Warp có thể chuyển đổi mã Solidity sang Cairo, trong khi Kakarot là một zkEVM được viết bằng Cairo, có thể chạy các hợp đồng thông minh Ethereum trên Starknet.
Tổng thể, zkEVM nhằm sao chép môi trường Ethereum, nhưng có thể hạn chế tiềm năng của chứng minh hiệu lực. Cairo VM được thiết kế đặc biệt cho hệ thống chứng minh hiệu lực, không bị giới hạn bởi EVM, cung cấp hiệu suất và tính linh hoạt cao hơn. Khi hệ sinh thái Starknet tiếp tục phát triển, các nhà phát triển hiện có khả năng kiểm soát 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.
14 thích
Phần thưởng
14
5
Đăng lại
Chia sẻ
Bình luận
0/400
BearMarketMonk
· 10giờ trước
Mở rộng thì không phải vấn đề, chủ yếu xem v胖 có放水 không~
Validity Rollups và zkEVM: Thảo luận về ưu nhược điểm của giải pháp mở rộng Ethereum
Validity Rollups: Lựa chọn tốt nhất cho việc mở rộng Ethereum?
Validity Rollups (còn được gọi là zk-rollups) được coi là giải pháp hứa hẹn 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. Cốt lõi của giải pháp mở rộng này là sử dụng chứng minh hiệu lực để thực hiện tính toán có thể xác minh. Nguyên lý hoạt động của nó như sau:
Nhà điều hành sẽ thực hiện giao dịch chuyển xuống môi trường bên ngoài chuỗi (lớp 2). Sau khi xử lý một lượng lớn giao dịch, nhà điều hành lớp 2 sẽ trả kết quả để áp dụng vào trạng thái Ethereum, đồng thời cung cấp chứng minh tính hợp lệ của việc thực thi ngoài chuỗi. 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 nhận. Đ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 chứng minh không kiến thức và cũng không được dùng để đảm bảo quyền riêng tư. Do đó, thuật ngữ "Validity Rollup" là phù hợp hơn.
Trong Validity Rollups, zkEVM và Cairo VM (CVM) là hai loại máy ảo phổ biến. zkEVM tập trung vào tính tương thích với Ethereum, nhưng hy sinh hiệu suất và khả năng mở rộng. Trong khi đó, Cairo VM mà Starknet sử dụng đặt hiệu suất và khả năng mở rộng lên trên tính tương thích.
Máy ảo ( VM ) là một môi trường có thể chạy chương trình, tương tự như việc chạy hệ điều hành Windows trên Mac. Nó chuyển đổi giữa các trạng thái khác nhau sau khi xử lý một số đầu vào. Máy ảo Ethereum ( EVM ) là máy ảo 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, có khả năng tạo ra các chứng nhận tính hợp lệ dễ dàng để chứng minh chương trình đã được thực thi chính xác. "zkEVM" thường ám chỉ việc sử dụng Ethereum Virtual Machine ( EVM ) và có khả năng chứng minh việc thực thi 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 những chứng nhận này; chứng nhận được tạo ra bởi một cơ chế chứng nhận độc lập, dựa trên kết quả của việc thực thi EVM. Hơn nữa, những chứng nhận này chủ yếu tập trung vào tính hợp lệ hơn là quyền riêng tư, vì vậy không phải là chứng nhận zero-knowledge theo nghĩa nghiêm ngặt.
zkEVM nhằm mục đích mang trải nghiệm Ethereum vào chuỗi khối Layer-2 một cách đầy đủ. Nó cố gắng sao chép môi trường Ethereum cho các nhà phát triển, cho phép họ viết hoặc chuyển đổi hợp đồng thông minh sang các giải pháp có tính mở rộng cao hơn mà không cần thay đổi mã hoặc từ bỏ các công cụ EVM. Tuy nhiên, 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 cam kết tương thích với Ethereum, tốc độ của zkEVM chậm hơn và tiêu tốn nhiều tài nguyên hơn.
So với trước, Starknet đã sử dụng Cairo VM (CVM), đây là một loại VM mới được thiết kế đặc biệt để tối ưu hóa hiệu quả của việc chứng minh tính hợp lệ. Cairo VM cho phép các nhà phát triển tùy chỉnh theo nhu cầu cụ thể và được trang bị các tính năng đáp ứng nhu cầu mới.
Ngôn ngữ Cairo ban đầu được thiết kế để đơn giản hóa quá trình tạo ra các chứng minh tính hiệu lực. Các chương trình Cairo được biên dịch thành mã máy đại số, do một VM cố định thực thi. Phương pháp này cho phép các nhà phát triển tận dụng chứng minh tính hiệu lực để mở rộng ứng dụng của họ mà không cần hiểu sâu về toán học và cơ sở hạ tầng cơ bản.
Starknet cung cấp nhiều phương pháp lập trình đa dạng. Các nhà phát triển có thể chọn viết mã gốc trong Cairo, hoặc sử dụng các công cụ tương thích với Solidity. Ví dụ, trình biên dịch Warp có thể chuyển đổi mã Solidity sang Cairo, trong khi Kakarot là một zkEVM được viết bằng Cairo, có thể chạy các hợp đồng thông minh Ethereum trên Starknet.
Tổng thể, zkEVM nhằm sao chép môi trường Ethereum, nhưng có thể hạn chế tiềm năng của chứng minh hiệu lực. Cairo VM được thiết kế đặc biệt cho hệ thống chứng minh hiệu lực, không bị giới hạn bởi EVM, cung cấp hiệu suất và tính linh hoạt cao hơn. Khi hệ sinh thái Starknet tiếp tục phát triển, các nhà phát triển hiện có khả năng kiểm soát mở rộng blockchain chưa từng có.