Curve + zkSync L2: Hợp đồng thông minh ZK Rollup của Ethereum
Lưu ý của biên tập viên: Bài viết này đến từCộng đồng Đăng Liên, được in lại bởi Odaily với sự cho phép.
, được in lại bởi Odaily với sự cho phép.
>>Nhóm Curve và Matter Labs vui mừng thông báo một bước tiến lớn hướng tới mở rộng quy mô Ethereum theo cách an toàn và phi tập trung: hôm nay, cùng với Curve Finance, chúng tôi đã ra mắt mạng thử nghiệm hợp đồng thông minh zkSync L2 dành cho cư dân dapp đầu tiên.<<
**Bản trình diễn thử!**[3]
Tài liệu kẽm[5]
trình soạn thảo mdnice
Tại sao chọn ZK Rollup?"Khả năng mở rộng là một nhu cầu cấp thiết đối với Ethereum - có một ánh sáng ở cuối đường hầm. Vitalik Buterin vừa thông báo rằng Rollup là "lựa chọn duy nhất" để nhân rộng Ethereum ở giai đoạn này [6], làm nổi bật [bảo đảm bảo mật không tin cậy duy nhất](/matter-labs/evaluating-ethereum-l2-scaling-solutions-a-so sánh- khung-b6b2f410f955") 。
Đảm bảo an ninh đáng tin cậy duy nhất
ZK Rollup (ZKR) là một trong hai phiên bản hiện có của Rollup[7], phiên bản còn lại là Optimistic Rollup (viết tắt: OR)[8]. Cả hai cách tiếp cận đều có sự đánh đổi của chúng (xem [9] để so sánh chi tiết). Dưới đây là những khác biệt thực tế chính:
Bảo mật - Ngay cả với một trình xác thực duy nhất, ZK Rollup vẫn rất an toàn vì chúng dựa trên toán học thuần túy thay vì các khuyến khích kinh tế liên tục để đảm bảo tiền. Ngoài các giả định về mật mã, ZKR an toàn như L1 cơ bản. Điều này đặc biệt quan trọng đối với các giao thức xử lý giá trị tài sản cao. So với ZKR, Optimistic Rollup có tác dụng chống mạng mạnh: tính bảo mật của nó bị giảm tỷ lệ thuận với giá trị bị khóa. Trên thực tế, các giới hạn vốn (trong phạm vi hàng chục triệu đô la) cần được kiểm soát để được đặt an toàn trong một Bản tổng hợp lạc quan duy nhất nhằm duy trì khả năng chống lại các cuộc tấn công có khả năng cao vào L1 [10]. Chuỗi PoW, nó không thể thuyên giảm.
Khả năng lập trình - Hỗ trợ khả năng tương thích EVM đầy đủ với Optimistic Rollup dễ dàng hơn. Người ta thường coi rằng phương pháp OR là cách khả thi duy nhất để đưa các hợp đồng thông minh Ethereum hiện có vào L2 (L2: Mạng lớp 2). Tuy nhiên, điều này sắp thay đổi.
trình soạn thảo mdnice
Cho đến gần đây, việc hỗ trợ các hợp đồng thông minh do người dùng xác định tùy ý trong ZK Rollup là một nhiệm vụ cực kỳ khó khăn. Nhưng ngày nay, mọi thứ phát triển nhanh chóng trong lĩnh vực bằng chứng không kiến thức. Năm 2020 đã mang đến một số bước đột phá cuối cùng đã biến điều này thành hiện thực: Matter Labs đã giới thiệu ngôn ngữ lập trình Zinc và máy ảo Zinc thân thiện với SNARK, đồng thời triển khai xác minh bằng chứng PLONK đệ quy của Ethereum [12]. Sự kết hợp của các công nghệ này sẽ thúc đẩy việc triển khai các hợp đồng thông minh trên zkSync.
trình soạn thảo mdnice
Zinc VM hoạt động như thế nào?
- Hợp đồng được viết và biên dịch bằng ngôn ngữ lập trình Zinc. Đầu ra của trình biên dịch là gấp đôi:
- Mã byte của máy ảo Zinc.
Khóa xác minh SNARK của hợp đồng.
Do đó, các hợp đồng thông minh Zinc trên zkSync thừa hưởng sự đảm bảo an ninh nghiêm ngặt về bằng chứng hợp lệ.
trình soạn thảo mdnice
Làm cách nào để viết hợp đồng thông minh cho zkSync?
Zinc hiện đang trong giai đoạn thử nghiệm phát triển khép kín. Nếu bạn muốn dùng thử nó cho dự án của mình, vui lòng liên hệ với chúng tôi [15].
trình soạn thảo mdnice
Zinc khác với Solidity/Vyper như thế nào? Tôi có thể chuyển mã nguồn hiện có không?
Zinc tuân theo cú pháp Rust được đơn giản hóa, nhưng nó mượn tất cả các yếu tố và cấu trúc hợp đồng thông minh của Solidity. Bất kỳ nhà phát triển Solidity/Vyper có kinh nghiệm nào cũng có thể sử dụng nó trong vài ngày.
Vì Zinc có cấu trúc giống với Solidity nên mã Solidity hiện có có thể dễ dàng chuyển đổi thành Zinc. Thách thức chính là Zinc vẫn chưa hoàn thiện Turing. Điều này có nghĩa là: vòng lặp đệ quy và vô hạn bị cấm (vòng lặp giới hạn vẫn được).
Vyper, ngôn ngữ hợp đồng thông minh ETH phổ biến thứ hai, cũng không phải là Turing hoàn chỉnh. Do đó, ngày nay bất kỳ chương trình Vyper nào cũng có thể được chuyển đổi đẳng cấu sang Zinc. Đây chính xác là cách Curve trên zkSync hoạt động: Matter Labs đã giúp nhóm Curve viết lại hợp đồng Curve hiện có thành phiên bản Zinc. Nó gần giống với nguồn gốc từng dòng một.
Thêm vào đó, chúng tôi có thêm một tin tốt lành: Matter Labs đang nghiên cứu để hoàn thiện Zinc Turing trong tương lai gần. Cho đến lúc đó, chúng tôi rất muốn được hỗ trợ nhóm của bạn trong việc biến mã Solidity hiện có thành di động. Vui lòng liên hệ [16].
trình soạn thảo mdnice
Tất cả các hợp đồng trên mạng zkSync L2 sẽ có thể gọi nguyên tử cho nhau theo cách giống hệt như trên mạng chính Ethereum.
trình soạn thảo mdnice
Làm cách nào để quản lý khóa người dùng?
Trong Vòng tài trợ Gitcoin 7 [17], zkSync đã được tích hợp trực tiếp vào quy trình thanh toán, yêu cầu phải tin tưởng vào trang web Gitcoin. Trong bản trình diễn này, khóa riêng zkSync không bao giờ rời khỏi phạm vi của connect.zksync.dev[18]. Kiểu tích hợp này tương tự như sơ đồ xác thực đăng nhập một lần trong thế giới Web2, được sử dụng rộng rãi cho đăng nhập Google/Apple/Facebook. Điều này thực sự có nghĩa là zkSync hiện có thể được sử dụng với bất kỳ ví Ethereum nào và bất kỳ số lượng ứng dụng hoàn toàn không đáng tin cậy nào.
Đồng thời, chúng tôi đang làm việc với các nhóm khác để phát triển tiêu chuẩn chữ ký Ethereum L2 chung, tiêu chuẩn này sẽ giúp trải nghiệm tương tác của người dùng xung quanh các hợp đồng L2 trở nên dễ chịu hơn.
trình soạn thảo mdnice
Những hạn chế của Zinc Alef là gì?
Mạng thử nghiệm có đầy đủ chức năng, bạn có thể viết hợp đồng thông minh, triển khai chúng vào mạng thử nghiệm, kiểm tra cục bộ và tạo bằng chứng không có kiến thức về việc thực thi hợp đồng thông minh. Mọi giao dịch sẽ dẫn đến chuyển mã thông báo thực trên mạng thử nghiệm zkSync, điều này sẽ được phản ánh trong các trình khám phá khối và ví.
