Phỏng Vấn Đội Ngũ Matter Labs: ZkSync 2.0 Làm Thế Nào Để Nổi Bật Trong Cuộc Đua Lớp 2?

原文标题：《zkSync 2.0 AMA: Làm thế nào để nổi bật trên đường đua Ethereum Layer 2?》

原文作者：Bin Lynn, The DeFi Way

Gần đây, dự án Layer 2 của Ethereum - Matter Labs đã di dời ứng dụng Solidity đầu tiên lên mạng thử nghiệm zkSync 2.0, với zkEVM ở tầng dưới đã làm cho mạng lưới Layer 2 ZK Rollup này hoàn toàn tương thích với EVM.

Với Layer 2 mới ra đời này, Matter Labs đã tổ chức một buổi AMA chính thức trên r / ethereum, dưới đây là một số nội dung được tóm tắt từ sự kiện do The DeFi Way thực hiện:

Câu hỏi 1: Alex G đã từng nói trên Twitter rằng ông cho rằng Starkware và zkSync đang được xây dựng cho nhóm người dùng mục tiêu khác nhau. Ông có thể giải thích thêm chi tiết được không?

Alex: Đương nhiên, tôi chỉ có thể phát biểu thay mặt Matter Labs, nhưng đây thực sự là quan điểm mạnh mẽ của tôi.

Ước mơ của zkSync chắc chắn đã được cấy sâu trong tinh thần và triết lý của phong trào mật mã hóa sớm. Nó dựa trên triết lý mật mã học, cá nhân chủ quyền, Satoshi Nakamoto và Vitalik, vv. Nói một cách đơn giản, chúng tôi trân trọng tự do và sức mạnh tái khôi phục mới mạnh mẽ mà mật mã hóa mang lại. Bạn có thể nhìn thấy rằng, mật mã học là công nghệ duy nhất hiện nay mà bất kỳ cá nhân nào cũng có thể sử dụng, nó có thể chống lại kẻ thù mạnh nhất (ví dụ: một chế độ độc đảo mạnh mẽ). Mật mã học kết hợp với tính phi tập trung, trao cho cộng đồng blockchain khả năng thách thức (và cuối cùng thay đổi) tình hình hiện tại. Nếu không có tính phi tập trung và tính không thể ngăn chặn, điều bạn đang sở hữu hôm nay sẽ là ngân hàng. Nếu bạn nghĩ rằng hai thuộc tính này không cần thiết đối với blockchain, hãy dành một chút thời gian trên Google để tìm kiếm "e-gold" và "liberty reserve".

Điều này đưa chúng tôi đến sự khác biệt chính giữa hai công ty. zkSync đang xây dựng một giao thức mở dành cho "phi tập trung" và "tối ưu đàn hồi". Chúng tôi khao khát trở thành một lựa chọn thay thế: ngay cả khi Matter Labs biến mất hoặc bị tổn thương, mạng lưới vẫn nên phát triển mạnh mẽ. Đối tượng chính của chúng tôi là 1) những người sử dụng muốn thực hiện chủ quyền tài chính trên blockchain và 2) các giao thức phi tập trung được xây dựng cho những người này.

Trong khi StarkWare đang xây dựng một giải pháp mở rộng, hỗ trợ khá chuyên sâu và được tối ưu hóa cho hiệu suất và khả năng phòng thủ của IP của họ, nhưng có hỗ trợ doanh nghiệp và SLA. Là một nhà cung cấp công nghệ và dịch vụ, họ đang hành động để duy trì vị thế không thể thiếu. Đối tượng chính mà họ nhắm đến dường như là các công ty tập trung trên blockchain (dydx, Immutable, Sorre, TikTok).

Sự khác biệt này dẫn trực tiếp đến sự khác biệt đáng kể trong quyết định về thiết kế:

1. Giấy phép Phần mềm:

zkSync được cấp phép rộng lượng (Apache/MIT), do đó nếu Matter Labs không hoạt động đúng cách, bất kỳ ai cũng có thể fork mạng mà không bị cản trở.

StarkWare đưa ra Polaris, điều này sẽ ngăn chặn bất kỳ ai ngoài các công ty con của StarkWare chạy trình chứng minh STARK.

2. Ngăn xếp Phát triển:

zkSync tập trung vào tính tương thích hoàn toàn với EVM — chúng tôi muốn cộng đồng sở hữu mạng lưới mọi mặt và không muốn trở thành tổ chức dịch vụ để viết lại ngôn ngữ mới và kiểm tra lại giao thức.

StarkWare đang quảng bá Cairo (một ngôn ngữ đặc thù miền dành cho việc viết hợp đồng thông minh), nó có lợi ích về hiệu suất chứ không phải tương thích ngược.

3. Khả năng Nâng cấp:

zkSync 1.0 đã có cơ chế nâng cấp với khóa thời gian bắt buộc từ ngày phát hành (sau đó mở rộng thêm cơ chế hội đồng an ninh). Chúng tôi nhận ra rủi ro không thể sửa chữa lỗ hổng và chúng tôi ưu tiên cách làm này hơn là rủi ro bị chống lại bằng cách cấp phiếu. zkSync 2.0 sẽ theo cách làm này.

StarkEx có một cơ chế có thể đóng băng các hoạt động trước khi thực hiện nâng cấp như một cơ chế nâng cấp không có khóa thời gian, ít nhất là ở giai đoạn đầu. Rõ ràng, họ tập trung vào an ninh chống lại kẻ tấn công bên ngoài chứ không phải giảm phụ thuộc vào StarkWare chính.

4. Dữ liệu Ngoại tuyến Dễ truy cập:

ZKSync 2.0 đi kèm với zkPorter: một giải pháp dữ liệu ngoại tuyến tối ưu hóa cho tính phân cấp, Thiết kế của nó sẽ giúp mạng node đầy đủ lớn hơn bất kỳ Ethereum Killer nào hiện tại hai bậc độ, và cung cấp động lực kinh tế mật mã cho tính chất hoạt động.

StarkWare sau đó đặt cược vào Ủy ban Dữ liệu Dễ truy cập (Data Availability Committee), một nhóm nhỏ các người lưu trữ dữ liệu, họ dựa vào uy tín cá nhân của mình, chứ không phải là động lực phân cấp.

Như bạn đã thấy, những sự khác biệt này đều xuất phát từ các giá trị và triết lý của chúng tôi. Với áp lực quy định ngày càng gia tăng, tôi nghĩ rằng chúng ta sẽ thấy nhiều vấn đề hơn xảy ra (điển hình như trong các lĩnh vực căng thẳng như KYC, AML, quyền riêng tư và các lĩnh vực căng thẳng khác giữa cộng đồng mã hóa và quốc gia).

Câu 2: Nếu zkPorter bị đóng băng, tiền trong hợp đồng thông minh sẽ ra sao? Chúng có tự động rút khỏi không? Nếu không, điều này sẽ ảnh hưởng đến người dùng rollup như thế nào? Hãy xem xét một ví dụ, Trên Uniswap có ETH/DAI, trong đó tài khoản rollup đóng góp 7 triệu USD, tài khoản zkPorter đóng góp 3 triệu USD. Nếu zkPorter bị đóng băng, điều gì sẽ xảy ra, đặc biệt là từ quan điểm của người dùng rollup?

Stan: Thông thường, điều này sẽ không ảnh hưởng đến người dùng rollup, thanh khoản sẽ được duy trì trong hợp đồng và tiếp tục hoạt động bình thường.

Câu hỏi tiếp theo: Nếu zkPorter bị đóng băng, làm thế nào để thanh khoản từ tài khoản zkPorter tiếp tục hoạt động bình thường? Điều này dường như không an toàn đối với tôi.

Stan: Đóng băng zkPorter có nghĩa là trong trường hợp xấu nhất, tài khoản zkPorter sẽ không thể rút thanh khoản của mình khỏi hợp đồng thông minh. Tại sao bạn nghĩ điều này có thể không an toàn? Hãy lưu ý rằng dữ liệu toàn cầu của hợp đồng, như số dư ERC-20 của nó, vẫn được lưu trữ trong rollup.

Follow-up Question: Có thể nói rằng điều này còn tồi tệ hơn việc đóng băng tài sản. Tôi luôn nghĩ rằng việc đóng băng trạng thái zkPorter là đúng nghĩa của nó — nhưng thực tế bạn không phải là người đóng băng zkPorter ở đây. Chỉ là tiền không nằm trong hợp đồng thông minh — điều này vi phạm nguyên tắc của nền tảng hợp đồng thông minh.

Trừ khi tôi hiểu lầm mọi thứ — nếu người dùng bị thanh lý khi zkPorter bị đóng băng và họ không thể làm gì cả, điều đó sẽ là một trải nghiệm người dùng tồi tệ. Vấn đề lớn hơn là nó mở ra một vector tấn công, trong đó người sắp xếp và người xác minh zkPorter có thể kết hợp nhau để bắt buộc thanh lý và các kịch bản MEV khác — điều này làm cho nó không an toàn như một sidechain và có thể tồi tệ hơn đối với một số trường hợp MEV. Tôi biết rằng zkSync 2.0 có một cơ chế, cho phép người dùng rút tiền từ hợp đồng thông minh ngay cả khi rollup bị đóng băng, và StarkWare cũng có các giải pháp rút tiền bảo vệ tương tự. Vậy tại sao không triển khai một cái gì đó tương tự cho zkPorter để bảo vệ người dùng?

Stan: Cảm ơn bạn đã trả lời một cách toàn diện như vậy. Nhóm của chúng tôi nhận thức được những vấn đề tiềm ẩn này, không may là tôi không thể cung cấp tất cả chi tiết, nhưng chúng tôi thực sự đang nỗ lực giảm thiểu tác động của việc đóng băng đối với hệ thống.

Về việc đóng băng tài sản, điều này phụ thuộc nhiều vào hợp đồng, hiện tại hợp đồng Ethereum của Uniswap hỗ trợ một chunk duy nhất, do đó nếu mã của họ được chuyển từ Ethereum sang zkSync mà không có bất kỳ sửa đổi nào, nó sẽ chỉ lưu trữ số dư trong rollup. Do đó, mỗi khi một người dùng từ Porter cung cấp likwiditi cho hợp đồng, họ sẽ chuyển tiền vào số dư của rollup cho hợp đồng. Những khoản tiền này, giống như tất cả tiền rollup khác, nên được an toàn giống như trên L1. Như tôi đã nói, chúng tôi đang nỗ lực xử lý tình huống dưới một cách tinh tế. Phiên bản mạng thử nghiệm sẽ cung cấp nhiều thông tin chi tiết hơn :)

Câu hỏi 3: Quá trình triển khai hợp đồng đang chạy trên mạng chính Ethereum lên zkSync phức tạp như thế nào? Mã triển khai có giống hệt không?

Angela: Đúng, đối với Smart Contract Solidity: Đa số các dự án DeFi và NFT sẽ hoạt động mà không cần thay đổi mã nguồn. Tuy nhiên, trong phiên bản đầu tiên, trình biên dịch sẽ tự động thay thế các cuộc gọi tới SHA256 và Keccak256 bằng các hàm băm thân thiện với mạch điện. Hiện tại, một số nguyên tắc mật mã học khác như ecrecover và các tính năng mật mã học trước biên dịch không được hỗ trợ.

Đối với Giao diện Người dùng (UI): Bạn có thể tương tác hoàn toàn với hợp đồng thông minh và mạng zkSync thông qua Web3 API của chúng tôi và SDK Ethers, đối với yêu cầu đọc, bất kỳ framework nào tương thích với web3 của bất kỳ ngôn ngữ nào đều có thể sử dụng ngay mà không cần chỉnh sửa, và đi kèm với các tính năng zkSync L2 tùy chọn bổ sung. Đối với yêu cầu ghi (gửi giao dịch): Do sự khác biệt cơ bản giữa L1 và L2, bạn sẽ cần phải viết thêm một số mã (ví dụ, zkSync hỗ trợ thanh toán phí bằng bất kỳ token nào, vì vậy việc gửi giao dịch sẽ liên quan đến việc chọn token thanh toán phí).

Vì vậy, đúng, bạn chỉ cần thực hiện ít thay đổi nhất có thể để tái sử dụng giao diện người dùng hiện tại của mình (ngoại trừ việc gửi giao dịch là khác nhau).

Câu 4: Điểm tập trung cấp bách nhất trong kiến trúc zkEVM là gì (ví dụ: sorter hoặc tương đương), và kế hoạch thực hiện phi tập trung trong các lĩnh vực này trong zkEVM là gì?

Angela: zkSync 2.0 thực hiện phi tập trung cần chú ý đến 3 điểm:

1. Theo dõi bước đi của giao thức

Tương tự như hầu hết các dự án Rollup, chúng tôi chọn lựa phi tập trung dần dần để thúc đẩy sự đổi mới, cải tiến nhanh chóng và sửa lỗi nhanh hơn. zkSync sẽ tiếp tục có thể nâng cấp cho đến khi phạm vi chức năng ổn định, sau đó nó sẽ trở nên bất biến. Tuy nhiên, có hai cơ chế có thể cân bằng lý tưởng giữa phi tập trung/an toàn và phản ứng/kiểu nâng cấp.

A) Khả năng nâng cấp tối thiểu tin cậy:

Việc nâng cấp hợp đồng thông minh zkSync có thể được khởi xướng bởi quản trị zkSync, và có thời gian khóa là 4 tuần. Nếu quản trị bị phá vỡ, thời gian khóa sẽ cho phép người dùng có thời gian chọn thoát khỏi hàng đợi ưu tiên của chúng tôi/ cơ chế thoát khẩu khẩn cấp.

B) Hội đồng an toàn:

Để đối phó với lỗi/ sự kiện hacker, chúng tôi đã thành lập một hội đồng an toàn gồm 15 thành viên cộng đồng Ethereum được tôn trọng, quyền lực của họ chỉ bao gồm việc rút ngắn thời gian thông báo thời gian khóa 4 tuần. (Ghi chú: Các thành viên của hội đồng này bao gồm nhóm sáng lập Aave, Itamar Lesuisse (Argent), Mike McDonald (Balancer), James Prestwich (cLabs), Michael Egorov (Curve), Jack Baumruk (Dekrypt), Haseeb Qureshi (Dragonfly), Justin Drake (Bí thư Ethereum Foundation xác minh), Stefan George (Gnosis), Baek Kim (Hashed), Chris Burniske (Placeholder), Nick Grossman (USV), Will Harborne (ZK Validator), Sergej Kunz (1inch) và Lasse Clausen (1kx))

Đại hội này được thực hiện bởi Hợp đồng Thông minh, với các quy tắc sau:

Vào ngày 15/8, chữ ký có thể rút ngắn thời gian khóa cửa thành 2 tuần;

Vào ngày 15/10, chữ ký có thể rút ngắn thời gian khóa cửa thành 1 tuần;

Vào ngày 15/12, chữ ký có thể rút ngắn thời gian khóa cửa thành 3 ngày;

Thời gian khóa cửa tối thiểu là 3 ngày, để ngăn ngừa tình huống tồi tệ nhất.

2. Bộ sắp xếp (Sequencer)

Ban đầu, chỉ có các bộ sắp xếp được ủy quyền mới có thể gửi khối cho Hợp đồng Thông minh zkSync L1 để chuyển trạng thái. Chúng tôi có thể có một số cơ chế lựa chọn / chuyển đổi bộ sắp xếp. Nhưng cuối cùng, chúng tôi sẽ chuyển sang một bộ sắp xếp tập thể được bảo vệ bởi nhiều người xác minh theo giải pháp PoS. Người dùng không phụ thuộc vào bộ sắp xếp để đảm bảo an toàn. zkRollup của chúng tôi có một hàng đợi ưu tiên / cơ chế thoát khẩn cấp để bảo vệ người dùng khỏi việc kiểm duyệt của bộ sắp xếp: Bất kể bộ sắp xếp có dã tâm / lỗi hay không, bạn luôn có thể thoát khỏi zkSync.

3. zkPorter

Người dùng zkPorter có thể thực hiện giao dịch với mức phí cố định từ 1 đến 3 xu. Điều này được thực hiện bằng cách đặt tính sẵn dữ liệu (dữ liệu giao dịch cơ bản cần thiết để khôi phục trạng thái) ngoại chuỗi thay vì trên chuỗi Ethereum. Và tính sẵn dữ liệu được bảo vệ bằng chứng cổ phần từ người gửi tiền PoS trong zkSync. Tính bảo mật của zkPorter nghiêm ngặt hơn bất kỳ chuỗi L1 hoặc phụ lên khác, nhưng trong tình huống tồi tệ nhất, kẻ tấn công kiểm soát hơn 2/3 lượng cổ phần tổng thể và bộ sắp xếp đã ủy thác, họ có thể ký các chuyển trạng thái hợp lệ nhưng giữ lại dữ liệu, khiến trạng thái bị đóng băng và từ đó đóng băng người dùng zkPorter và kẻ tấn công.

Để tăng tính phân quyền của zkPorter càng cao cấp, 2/3 nguồn cung token zkSync được dành cho cộng đồng.

Câu 5: Trên thị trường có nhiều giải pháp mở rộng khác nhau, ngoài việc nhan nhản "nhanh hơn, tiết kiệm hơn và an toàn hơn", điều gì làm bạn trở nên đặc biệt?

Lyova: zkSync 2.0 sẽ sở hữu zkPorter - một cơ chế chia nhỏ siêu rẻ tương thích mà có sẵn dữ liệu ngoại chuỗi, bạn có thể đọc thêm thông tin tại đây Liên kết.

Ngoài ra, trên zkSync, bạn có thể thanh toán phí bằng bất kỳ token nào mà không cần mua ETH hoặc token tùy chỉnh như MATIC.

P.S. Về câu "Chúng tôi nhanh hơn, rẻ hơn và an toàn hơn", bạn có thể tham khảo trên l2beat và l2fees)

Câu 6: Bước tiếp theo của zkSync là gì? Bạn có kế hoạch nâng cao tương tác qua nhiều L2 khác nhau cũng như tương tác với môi trường blockchain khác?

Angela: Về bước tiếp theo của zkSync, chúng tôi vẫn còn nhiều thứ cần xây dựng.

Công cụ cho nhà phát triển: Như bạn biết, chúng tôi chọn phương pháp dài hạn và sử dụng LLVM cho trình biên dịch của chúng tôi, điều này đã buộc chúng tôi xem xét bộ gỡ lỗi, trình liên kết, bộ hợp ngữ, bộ dịch ngược và tiện ích nhị phân.

Ngoài ra, bất kỳ ai đã viết mã hợp ngữ x86 hoặc ARM đều có thể dễ dàng viết mã cho máy ảo của chúng tôi.

Ngôn ngữ hợp đồng thông minh hơn: LLVM cũng cho phép chúng tôi và bất kỳ đội nào khác xây dựng dễ dàng front-end ngôn ngữ như Rust.

zkEVM đầy đủ tính năng và hiệu suất hơn: Trong phiên bản đầu tiên, cuộc gọi đến SHA256 và Keccak256 sẽ được trình biên dịch tự động thay thế bằng hàm băm thân thiện với mạch và không hỗ trợ ecrecover và các tiền xử lý mật mã. Tất nhiên, bước tiếp theo của chúng tôi là hỗ trợ hiệu quả cho những tính năng này. Chúng tôi cũng có kế hoạch triển khai mở rộng sao chép khi viết (copy-on-write).

Cải thiện UX/DevX: Chúng tôi đã thực hiện cách thanh toán phí bằng token ngoài ETH và đang triển khai trừu tượng hóa tài khoản, thêm hỗ trợ khác sẽ được cung cấp.

Cuối cùng, mật mã đã được chứng minh là một công cụ đáng kinh ngạc trong thế giới blockchain. Chứng minh không mất thông tin đã đẩy mạnh vấn đề mở rộng và riêng tư, điều quan trọng nhất trong hai vấn đề này trên blockchain công cộng và không cần cho phép. Matter Labs là một nhóm kỹ sư nhiệt tình về việc giải quyết vấn đề bằng mật mã và toán học, chúng tôi sẽ tiếp tục làm như vậy. Một trong những ứng dụng thú vị là triển khai mã hóa thời gian để loại bỏ MEV.

Về vấn đề tương tác qua nhiều L2 khác nhau cũng như với môi trường blockchain khác, chúng tôi chủ yếu tập trung vào việc xây dựng zkSync, và vấn đề vận chuyển qua lại giữa zkSync và mạng lưới khác chủ yếu sẽ được giải quyết bởi các giải pháp cầu nối như Optics, Connext, Hop, vv.

Câu hỏi 7: Tại sao bạn chọn SNARKs thay vì STARKs? Việc chuyển đổi sang STARKs trong tương lai có phức tạp không? Kích thước hợp đồng có bị giới hạn không?

Lyova: Một trong những lý do chúng tôi chọn SNARKs là vì dữ liệu nhỏ hơn, do đó việc chứng minh rẻ hơn, chỉ chiếm O(1) không gian. SNARKs cũng có thể dễ dàng đệ quy, giúp tiết kiệm thời gian tính toán cho người xác minh. Ngoài ra, zkSync sử dụng giải pháp PLONK, khác biệt so với các SNARKs khác, nó chỉ cần một tập tin tin cậy thông thường, điều này có nghĩa là chúng tôi không cần tạo ra "rác độc hại" mỗi khi cập nhật mạch. Nếu bạn muốn biết thêm chi tiết, hãy xem tại đây, chúng tôi không có kế hoạch chuyển đổi sang STARKs trong tương lai.

Hợp đồng triển khai trên L2 phải được công bố một cách nào đó trên L1 (ít nhất là hiện tại), để đảm bảo việc thực thi và rút tiền đúng đắn trong "chế độ ưu tiên" trong các trường hợp kiểm duyệt khó xảy ra. Đó là lý do tại sao có một giới hạn kích thước đối với gas block trên L1.

Câu hỏi 8: Sau khi Mainnet ra mắt, Matter Labs sẽ kiếm lợi nhận như thế nào?

Angela: Giống như Ethereum, 1/3 khối lượng token ban đầu đã được giữ lại cho nhóm và các nhà đầu tư, 2/3 thuộc về cộng đồng, zkSync token là token phí của mạng zkSync (mặc dù chúng tôi hỗ trợ các token khác để thanh toán phí giao dịch, nhưng chúng sẽ được chuyển đổi thành zkSync token trong nền tảng).

Liên kết gốc

Chào mừng bạn tham gia cộng đồng chính thức của BlockBeats:

Nhóm Telegram đăng ký: https://t.me/theblockbeats

Nhóm Telegram thảo luận: https://t.me/BlockBeats_App

Tài khoản Twitter chính thức: https://twitter.com/BlockBeatsAsia