Tác giả gốc: DeWei @DAOrayaki.org
Tiêu đề gốc: Trường hợp Polygon zkEVM phù hợp với thị trường
Polygon zkEVM Được xây dựng bởi Polygon, nó cung cấp cho các dự án những lợi ích về khả năng mở rộng và khả năng tương thích bằng chứng ZK với Máy ảo Ethereum (EVM). Khả năng tương thích EVM có nghĩa là các nhà phát triển có thể dễ dàng chuyển các hợp đồng thông minh Ethereum với những thay đổi mã tối thiểu. Bản tổng hợp ZK là một giải pháp mở rộng giúp tăng thông lượng bằng cách di chuyển tính toán và lưu trữ trạng thái ra khỏi chuỗi, đồng thời duy trì đảm bảo bảo mật cao bằng cách sử dụng mật mã không kiến thức.
Tuy nhiên, mục đích của bài viết này là làm nổi bật nơi Polygon zkEVM phù hợp với bối cảnh thị trường rộng lớn hơn - để hiểu đầy đủ về Polygon zkEVM, hãy xem tài liệu dự án.
Tổng quan về ngăn xếp công nghệ
Trước tiên chúng ta hãy xem xét khuôn khổ của ngăn xếp chuỗi khối. Blockchain bao gồm bốn lớp. Chúng tôi sẽ sử dụng các định nghĩa của Volt Capital cho từng lớp.
Thực thi: Các giao dịch và thay đổi trạng thái ban đầu được xử lý tại đây. Người dùng cũng thường tương tác với chuỗi khối thông qua lớp này, ký kết giao dịch, triển khai hợp đồng thông minh và chuyển giao tài sản.
Giải quyết: Lớp giải quyết là nơi thực thi tổng số được xác minh và tranh chấp được giải quyết. Lớp này không tồn tại trong Chuỗi nguyên khối và là một phần tùy chọn của ngăn xếp mô-đun. Tương tự như hệ thống tòa án Hoa Kỳ, cấp giải quyết được coi là tòa án cao nhất ở Hoa Kỳ, đưa ra trọng tài cuối cùng cho các tranh chấp.
Sự đồng thuận: Lớp đồng thuận của chuỗi khối cung cấp thứ tự và tính hữu hạn thông qua một mạng lưới các nút đầy đủ, tải xuống và thực thi nội dung của các khối và đạt được sự đồng thuận về tính hợp lệ của các chuyển đổi trạng thái.
Tính khả dụng của dữ liệu: Dữ liệu cần thiết để xác minh rằng các chuyển đổi trạng thái là hợp lệ nên được xuất bản và lưu trữ ở lớp này. Điều này sẽ dễ dàng xác minh trong trường hợp xảy ra một cuộc tấn công trong đó các nhà sản xuất khối độc hại giữ lại dữ liệu giao dịch. Lớp khả dụng của dữ liệu là nút cổ chai chính của bộ ba bất khả thi về khả năng mở rộng chuỗi khối và chúng ta sẽ khám phá lý do tại sao sau.
Chúng tôi cũng sẽ sử dụng định nghĩa của Celestia về chuỗi khối mô-đun.
Một chuỗi khối chỉ tập trung vào một vài tính năng hơn là tất cả chúng. Các chức năng chính là:
thực hiện
đoàn kết
đoàn kết
dữ liệu sẵn có
Các chuỗi khối mô-đun được sắp xếp dưới dạng các ngăn xếp mô-đun, với mỗi chuỗi khối trong ngăn xếp được gọi là một "lớp". Vì các chuỗi khối mô-đun chỉ cung cấp một tập hợp con các chức năng chính, điều này cho phép chúng được xây dựng có mục đích cho chức năng mà chúng cung cấp.
Ví dụ: Celestia là lớp đồng thuận và tính sẵn có của dữ liệu, vì nó chỉ cung cấp thứ tự giao dịch (đồng thuận) và xác minh tính khả dụng của dữ liệu.
tiêu đề phụ
Phạm vi ứng dụng của Polygon zkEVM
Trong ngăn xếp chuỗi khối, Polygon zkEVM được coi là một chuỗi khối mô-đun, chính xác hơn là một lớp thực thi. Nó phục vụ như một nền tảng để người dùng xây dựng các ứng dụng và giao dịch trực tiếp, đồng thời thuê ngoài giải quyết, đồng thuận và cung cấp dữ liệu cho Ethereum.
Chúng ta hãy xem cách Đa giác zkEVM tương tác với các lớp khác.
Như đã đề cập ở trên, lớp thực thi là nơi người dùng tiến hành giao dịch. Khi người dùng ký một giao dịch, giao dịch sẽ được xếp hàng đợi và xử lý - giống như trên Ethereum.
một lần"lô hàng"Giao dịch được xử lý và ba điều quan trọng xảy ra:
Tạo bằng chứng ZK
Bằng chứng ZK được xuất bản trên Ethereum
Dữ liệu giao dịch được xuất bản trên Ethereum
Polygon zkEVM có một hệ thống để tạo bằng chứng ZK, bao gồm hai vai trò: Trình sắp xếp thứ tự và Trình tổng hợp. Cả hai vai trò đều không được phép, vì vậy bất kỳ ai cũng có thể tham gia.
Bằng chứng ZK được xuất bản trên Ethereum, hoạt động như một lớp thanh toán. Hợp đồng thông minh Ethereum xác minh bằng chứng ZK, kiểm tra hiệu quả công việc của các nút Polygon zkEVM và đảm bảo rằng tất cả các tính toán được thực hiện chính xác.
tiêu đề phụ
chữ
Phổ bảo mật: Polygon zkEVM kế thừa bao nhiêu bảo mật từ Ethereum?
Để đo lường điều này, chúng ta sẽ xem biểu đồ bên dưới, biểu đồ này đặt Polygon zkEVM ở mức an toàn. Giải pháp bên trái không được bảo vệ bởi Ethereum và giải pháp bên phải được bảo vệ hoàn toàn bởi Ethereum.
Polygon zkEVM (trước đây là Polygon Hermez) ở ngoài cùng bên phải - cùng vị trí với các bản tổng hợp ZK và phân đoạn dữ liệu Ethereum khác.
Như bạn có thể đã biết, Polygon đã đặt cược chiến lược lớn và cam kết tài chính cho các giải pháp ZK - phân bổ 1 tỷ đô la tài trợ cho ZK R&D. Do đó, hiện có bốn bản tổng hợp ZK trong bộ Polygon: zkEVM, Miden, Nightfall và Zero.
Mỗi bản tổng hợp ZK có một thiết kế khác nhau (ví dụ: Nightfall là một bản tổng hợp ZK lạc quan kết hợp), nhưng về cơ bản, tất cả chúng đều sử dụng các nguyên mẫu ZK giống nhau và kế thừa hoàn toàn tính bảo mật của Ethereum.
Các phân đoạn dữ liệu cũng được Ethereum bảo vệ hoàn toàn vì (sau khi được triển khai), chúng sẽ được đưa vào giao thức Ethereum cốt lõi.
chữ
an ninh kinh tế
Chúng tôi đã luôn nói rằng rollup kế thừa tính bảo mật của Ethereum. Bạn có thể đã có ý tưởng về bảo mật kinh tế của Ethereum, nhưng hãy đặt nó trong bối cảnh và đánh giá Ethereum bằng chứng cổ phần (PoS).
Hiện tại, có khoảng 13,3 triệu ETH được cam kết trên chuỗi Beacon, tổng trị giá khoảng 22 tỷ đô la theo giá mã thông báo hiện tại. Theo giả định đa số trung thực 2/3, sẽ mất khoảng 15 tỷ đô la để xâm phạm mạng. Đây là điều tốt nhất cho đến nay trong ngành công nghiệp tiền điện tử.
chữ
ổn định giao thức
Mặc dù mật mã ZK đã tồn tại hơn 30 năm nhưng các ứng dụng thực tế như tổng hợp ZK vẫn còn ở giai đoạn sơ khai.
Các yếu tố rủi ro
Các yếu tố rủi ro
Về mặt kỹ thuật, Polygon zkEVM có thể không bắt đầu dưới dạng tổng số, mà dưới dạng hợp lệ hoặc ý chí. Trong các tài liệu, điều này được gọi là "chế độ kết hợp của tính khả dụng của dữ liệu trên chuỗi".
Điều này có nghĩa là Polygon zkEVM sẽ không được Ethereum bảo mật hoàn toàn. Khi hợp lệ và sẽ xuất bản dữ liệu giao dịch ngoài chuỗi, chúng kế thừa các giả định tin cậy bổ sung. Ví dụ: nếu Polygon zkEVM phát hành bằng chứng ZK trên Ethereum (sử dụng chúng để thanh toán) và dữ liệu trên Celestia (sử dụng chúng để cung cấp dữ liệu), thì nó sẽ dựa vào phần lớn trung thực của cả trình xác thực Ethereum và Celestia. Nếu có các chế độ lỗi trên một trong hai chuỗi, thì toàn bộ hệ thống sẽ gặp rủi ro.
bối cảnh cạnh tranh
bối cảnh cạnh tranh
hiệu suất
hiệu suất
sự an toàn
sự an toàn
kinh nghiệm của nhà phát triển
Hiệu suất và chi phí khá đơn giản. Các nhà phát triển muốn ứng dụng của họ nhanh và rẻ để cung cấp cho người dùng trải nghiệm tốt hơn.
Có thể có một tranh luận ở đây: Polygon zkEVM cạnh tranh với L1 tương thích với EVM (chẳng hạn như Avalanche) về hiệu suất và chi phí. Trong ngắn hạn, điều này có thể đúng. Tuy nhiên, chúng tôi sẽ không dành thời gian để thực hiện so sánh này, bởi vì bất kỳ L1 thành công nào vẫn được tối ưu hóa để có hiệu suất cao và chi phí thấp sẽ yêu cầu tăng chi phí đáng kể hoặc chấp nhận rủi ro không bền vững.
Các đối thủ cạnh tranh thực sự của Polygon zkEVM là các bản tổng hợp tương thích với EVM khác - ZK (ví dụ: Scroll) và sự lạc quan (ví dụ: Optimism). Có nhiều bài viết so sánh hai loại rollup nên chúng tôi sẽ không đi sâu, nhưng một cách tiếp cận đơn giản là xem xét rollup ZK có hiệu suất cao hơn (do thời gian hoàn thành nhanh hơn, chúng tôi sẽ thảo luận ngay sau đây) và rollup lạc quan có Thấp hơn chi phí (do cường độ tính toán ZK).
Lưu ý: Không rõ Polygon zkEVM sẽ so sánh với các bản ZK rollup khác như thế nào về hiệu suất và chi phí.
Về mặt bảo mật, Polygon zkEVM tốt hơn nhiều so với L1 và về cơ bản giống như các bản tổng hợp khác (ZK và lạc quan tương tự).
Cuối cùng là trải nghiệm của nhà phát triển, mà chúng tôi chia thành tính tương thích cuối cùng và EVM.
Thời điểm cuối cùng là "thời điểm mà một giao dịch được coi là cuối cùng theo quan điểm của hợp đồng lớp cơ sở." Các bản tổng hợp ZK có thời hạn gốc nhanh hơn các bản tổng hợp lạc quan. Điều này là do các thiết kế tổng số lạc quan dựa vào "người quan sát", các nút theo dõi chuỗi để phát hiện gian lận. Bởi vì những người quan sát cần đủ thời gian để phát hiện gian lận và công bố bằng chứng, nên tính chính thức thường bị trì hoãn một tuần (thường là vài phút đối với các bản tổng hợp ZK)—có nghĩa là thời gian chờ đợi lâu hơn và trải nghiệm người dùng bị giảm sút. Các bản tổng hợp lạc quan có một số giải pháp thay thế để hoàn thiện mã thông báo thanh khoản nhanh hơn, mà Alex đã đề cập trong bài đăng của anh ấy ở trên, nhưng nói chung, các bản tổng hợp ZK có lợi thế hơn.
tiêu đề phụ
Từ quan điểm kỹ thuật, Polygon zkEVM
Từ quan điểm kỹ thuật, Polygon zkEVM"Đã vượt qua 60% bộ véc tơ thử nghiệm Ethereum được sử dụng để thiết lập tính tương đương EVM. ZkProver của Polygon zkEVM hiện có thể xử lý 500.000 GAS trên một CPU trong 5 phút". Công cụ ấn tượng - coi việc tạo bằng chứng ZK là một nhiệm vụ tính toán chuyên sâu.
Từ góc độ thâm nhập thị trường, đây là một thành tích vững chắc. Theo dòng thời gian được Mihailo vạch ra trong một cuộc phỏng vấn Bankless gần đây, testnet sẽ có sẵn ngay bây giờ, trong khi mainnet vẫn còn vài tháng nữa mới ra mắt.
Phải công nhận đội ZK đã đạt được nhiều thành tựu như thế nào. Các bản tổng hợp ZK sử dụng công nghệ mã hóa tiên tiến nhất (như một số người nói là toán học mặt trăng) và đi từ lý thuyết đến thực hành trước nhiều năm. Xây dựng một bản tổng hợp ZK tương thích với EVM khó khăn hơn và thực tế là nhiều nhóm zkEVM sở hữu mạng chính là điều rất khó hiểu.
Đội zkEVM nào sẽ giành chiến thắng vẫn còn phải xem, nhưng có một điều chắc chắn - việc chúng tôi đang ở vạch xuất phát là một chiến thắng to lớn cho web3.


