Phân tích so sánh bốn giải pháp ZK chính của Polygon: Đặc điểm và ưu điểm của chúng là gì?

Tác giả: s, Nhà phân tích vốn mạo hiểm

Tổng hợp bởi: Felix, PANews

Khi Ethereum gặp phải tình trạng tắc nghẽn mạng, mức phí cao ngất ngưởng khiến mạng Ethereum trở nên quá đắt đỏ và một số người dùng không đủ khả năng chi trả, khiến nhiều người dùng rời khỏi hệ sinh thái Ethereum. Với lộ trình tập trung vào việc triển khai của Ethereum và quan điểm của Vitalik rằng các đợt triển khai ZK sẽ đánh bại các đợt triển khai của Optimistic trong tương lai. Là một Polygon sidechain Ethereum nhằm giải quyết khả năng mở rộng, nó nhìn thấy tiềm năng của ZK trong việc đưa thế hệ một tỷ người dùng tiếp theo vào lĩnh vực blockchain và đầu tư 1 tỷ đô la vào việc xây dựng các giải pháp ZK. Về bố cục của Polygon trên ZK, các nhà phân tích đầu tư mạo hiểm đã giải thích bốn giải pháp ZK chính của Polygon.

Đa giác Hermez | zkEVM

Hermez là ZK Rollup phi tập trung đầu tiên trên mạng chính Ethereum, cung cấp dịch vụ thanh toán vào đầu tháng 3 năm 2021. Dựa trên kiến trúc ZK-SNARK, Polygon Hermez nhằm mục đích giải quyết vấn đề về khả năng mở rộng của chuỗi khối Ethereum bằng cách sử dụng bằng chứng không kiến thức để cho phép các giao dịch nhanh hơn và rẻ hơn trên mạng Ethereum. Do EVM không được tạo để tạo Bằng chứng ZK (ZKP), nên Polygon Hermez chủ yếu xây dựng zkEVM bằng cách tạo lại tất cả mã hoạt động của EVM.

**Tại sao **** lại là **zkEVM?

Bằng cách xây dựng zkEVM, opcode EVM được mô phỏng bởi Polygon Hermez có thể mang lại những ưu điểm sau:

1. Kế thừa tính bảo mật mạnh mẽ của Ethereum

2. Dễ áp dụng, vì cộng đồng nhà phát triển Ethereum có thể dễ dàng di chuyển công việc EVM của họ sang zkEVM và sử dụng các công cụ hiện có (kinh nghiệm phát triển tốt).

Hiệu suất

Kiến trúc dựa trên ZK-SNARK có thể cung cấp tới 2000 TPS và giữ chi phí dưới 300.000 Gas.

Đa giác Zero | CẮM + CỐC

Polygon Zero trước đây được gọi là Giao thức Mir. Khi Polygon Zero phát triển Plonky2 ban đầu, phải mất 2 phút để tạo bằng chứng đệ quy. Và bây giờ Plonky2 chỉ mất 170 mili giây để tạo bằng chứng đệ quy trên máy tính xách tay.

Polygon Zero cuối cùng đang xây dựng zkEVM có khả năng mở rộng cao nhất được cung cấp bởi Plonky2. Plonky2 là một SNARK đệ quy nhanh hơn 100 lần so với bất kỳ sơ đồ mở rộng quy mô ZK nào khác trên Ethereum. Điều này đạt được bằng cách kết hợp các ưu điểm của STARK (bằng chứng nhanh và không cần thiết lập đáng tin cậy) với các ưu điểm của SNARK (đệ quy, chi phí xác minh thấp).

Khả năng tương thích EVM

Plonky2 tương thích với Ethereum gốc, hỗ trợ mã Solidity và chuyển đổi nó thành mã byte ZK. Do đó, Polygon Zero có thể tận dụng hệ sinh thái Ethereum dApp hiện có.

Đa giác Miden | NGAY ĐƠ

Bản tổng hợp dựa trên STARK có các chức năng sau:

• Minh bạch và có thể mở rộng: không cần thiết lập/tiền xử lý đáng tin cậy
• Mật mã tinh gọn: Không thể tấn công máy tính lượng tử trong tương lai
• Hiệu suất cao: thời gian xác minh và tạo bằng chứng hàng đầu

Polygon Miden xoay quanh Miden VM (Máy ảo) và hỗ trợ các chương trình tùy ý. Thân thiện với nhà phát triển hơn bằng cách ẩn tất cả sự phức tạp về mật mã của ZKP và tuân theo các mẫu kiến trúc quen thuộc với nhà phát triển (máy xếp chồng, bộ nhớ đọc và ghi, v.v.).

Sự an toàn

Một trong những tính năng chính của Polygon Miden là bảo mật. Giao thức loại bỏ một số tính năng không an toàn (có sẵn trên EVM), giúp phân tích tĩnh hợp đồng thông minh dễ dàng hơn và ngăn ngừa một số lỗi nhất định ở cấp độ máy ảo (VM).

Tương thích EVM

Miden tương thích với Ethereum ở cấp độ Solidity. Các nhà phát triển có thể triển khai hầu hết các hợp đồng thông minh Solidity trên Miden mà không cần sửa đổi. Một tính năng mới khác là khả năng tương thích với các ngôn ngữ khác như Move và Sway.

Hiệu suất

Khi ra mắt, TPS sẽ nằm trong khoảng từ 1000 đến 2000. Khi các phân đoạn được triển khai trên Ethereum, TPS sẽ đạt khoảng 20.000 TPS.

Đêm xuống đa giác**| Lạc quan + ZK**

Trái ngược với các giải pháp ZK đã nói ở trên, Nightfall tập trung vào chuyển khoản và thanh toán riêng tư, hỗ trợ mã thông báo ERC20, ERC721 và ERC1155.

Mọi dữ liệu không cần lưu trữ trên hợp đồng thông minh sẽ được lưu trữ ngoài chuỗi, tối ưu hóa hợp đồng thông minh. Nhóm đang nghiên cứu cơ chế rút tiền ngay lập tức để cho phép người dùng bỏ qua thời hạn 1 tuần để gửi bằng chứng gian lận. Giao thức này chậm hơn đáng kể, lên tới 105TPS. Tuy nhiên, ước tính phí chuyển gas có thể giảm tới 86%, ổn định ở mức khoảng 9000 gas.

So sánh

Hình dưới đây là bản tóm tắt của tác giả về bốn sơ đồ:

Tóm lại là

Rõ ràng, Polygon đang đầu tư rất nhiều thời gian và tiền bạc vào việc đi đầu trong việc phát triển các giải pháp mở rộng quy mô ZK. Hãy cùng chờ xem hiệu suất của mạng chính và cách nó hoạt động với các giao thức ZK khác.

Bài đọc liên quan: Bài viết tìm hiểu 5 giải pháp mở rộng trong hệ sinh thái Polygon