So sánh Polygon zkEVM và zkSync Era
• Bài viết đi sâu vào “cuộc chiến zkEVM” đang diễn ra và đưa ra một số so sánh toàn diện về các dự án zkEVM khác nhau, tập trung chủ yếu vào Polygon’s zkEVM và zkSync Era, cả hai đều đã ra mắt sản phẩm cho cộng đồng sử dụng.
• zkEVM và prover của zkSync bao gồm hơn 100k dòng mã.
Sự khác biệt giữa zkEVM và zkSync Era
• Polygon zkEVM là một zkEVM type 3 và có thể thực thi bytecode EVM trực tiếp.
• Scroll là một zkEVM loại 2, và họ thiếu bốn precompile.
• zkSync Era sử dụng một định dạng bytecode khác và cung cấp một trình biên dịch để hỗ trợ Solidity, khiến nó trở thành một zkEVM loại 4.
• zkSync không thể hỗ trợ developer sử dụng trực tiếp các tools như Hardhat, mặc dù đó là một plugin có sẵn.
• zkSync tin rằng zkVM của họ sẽ phù hợp hơn với tương lai, vì nó hoạt động tốt hơn với các ngôn ngữ khác ngoài Solidity.
• Bất chấp điều này, zkVM kế thừa nhiều đặc tính hiệu suất của EVM, chẳng hạn như kích thước từ 256 bit.
• Một zkVM như Miden có thể phù hợp hơn với sự phát triển trong tương lai, vì nó được thiết kế cho tính toán chung và không chỉ giới hạn trong Solidity.
Lựa Chọn Lĩnh Vực ứng dụng cho zkSync
• Sau khi nghiên cứu các tùy chọn khác nhau, lĩnh vực Goldilocks, một cấu trúc nhị phân với một lĩnh vực số nguyên tố thứ hai có giá trị lớn 2^64 – 2^32 1 được chọn cho zkSync.
• Lĩnh vực Goldilocks có kích thước nhỏ và dẫn đến các thao tác lĩnh vực nhanh chóng, với phép nhân chỉ mất ít hơn hai chu kỳ trên CPU hiện đại.
• Trong khi đó, SNARKs trong zkSync sử dụng đường cong alt-bn 128, có kích thước lĩnh vực xấp xỉ 254 bit và mất khoảng 80 chu kỳ trên CPU.
• Bảng đánh giá SHA 2 của Celer cho thấy rằng STARK prover được sử dụng trong zkSync nhanh hơn từ 5-50 lần so với prover dựa trên Elliptic curve.
• alt-bn 128 curve được hỗ trợ bởi EVM, làm cho việc gửi bằng chứng đến Ethereum dễ dàng hơn.
• Polygon “bọc” bằng chứng tổng hợp cuối (final aggregation proof) bằng proof flonk của alt-bn 128, đây là một quá trình phức tạp hơn, nhưng hiệu suất đạt được xứng đáng với công sức của đội ngũ phát triển.
So sánh giữa zkEVM và zkSync về phép toán số học và dữ liệu Layer1
•zkEVM của chúng tôi có STARK chính dành cho CPU và các STARK khác cho phép toán, băm, vv. Tương tự như CPU vật lý, nó có các bộ xử lý hỗ trợ các phép toán chuyên sâu. Một STARK riêng cho Keccak được thiết kế bằng cách sử dụng tính toán định lượng tùy chỉnh, chứng minh hàng trăm vòng lặp Keccak mỗi giây.
•zkSync sử dụng prover dựa trên PLONK và một gate chung được gọi là SelectorOptimizedWidth 4 MainGateWithDNext cho hầu hết các tính toán. Nó hỗ trợ các tham số tìm kiếm để tối ưu hóa Keccak nhưng thiếu tính toán tùy chỉnh.
•zkEVM sử dụng L1 để xuất bản tất cả dữ liệu giao dịch trong khi zkSync xuất bản sự khác biệt trạng thái, có thể giấu đi dữ liệu giao dịch. Cả hai hệ thống đều có cùng mức phí gas cho mỗi giao dịch khoảng 1920 Gas tính đến thời điểm hiện tại.
•Các giao dịch có thể được nén để giảm chi phí gas và zkEVM đang lên kế hoạch tối ưu hóa dữ liệu L1.
