zkSync: Giải pháp mở rộng Ethereum dựa trên zkRollup
Ghi chú của biên tập viên: Bài viết này là từ Bihu Live.
Ghi chú của biên tập viên: Bài viết này là từ Bihu Live.
Gần đây, các dự án DeFi trên Ethereum đang bùng nổ, nhu cầu sử dụng mạng tăng lên đáng kể, phí xử lý tăng vọt và duy trì ở mức cao. Trong 3 ngày qua, đơn giá trung bình của phí xử lý của Ethereum gấp 6 lần so với 3 tháng trước và một lần chuyển khoản thông thường cần phải trả phí xử lý hơn 2 nhân dân tệ. Chi phí vận hành như vậy đã ảnh hưởng nghiêm trọng đến trải nghiệm người dùng và người dùng bình thường khó có thể chịu được phí giao dịch cao như vậy.
Giai đoạn 0 của Ethereum 2.0 dự kiến sẽ ra mắt vào cuối năm nay, nhưng có thể mất nhiều năm để hoàn thành mục tiêu tăng thông lượng mạng. Trong thời gian dài chờ đợi này, giải pháp của mạng lớp thứ hai trên Ethereum đã một lần nữa lọt vào tầm nhìn của mọi người. Sơ đồ hai lớp truyền thống đưa ra các giả định bảo mật bổ sung, do đó cần phải có các mô hình kinh tế và cơ chế thoát phức tạp. Sơ đồ hai lớp dựa trên bằng chứng không kiến thức zkRollup đã dần thu hút sự chú ý của cộng đồng Ethereum.
zkSync là giải pháp Ethereum lớp 2 của Matter Labs dựa trên công nghệ zkRollup và nó hiện đang được thử nghiệm công khai trên mạng chính Ethereum. Nó không cần phải tin tưởng bất kỳ bên thứ 3 nào. Lý tưởng nhất là thông lượng mạng có thể tăng lên hàng trăm lần và phí giao dịch đơn lẻ có thể giảm xuống còn 1 xu. Nó đạt được như thế nào, các kế hoạch tiếp theo là gì và liệu nó có thể cải thiện tình trạng tắc nghẽn của Ethereum hay không?
Trong buổi phát sóng trực tiếp Bihu này, chúng tôi đã vinh dự được mời Alex Gluchowski, Giám đốc điều hành và đồng sáng lập của Matter Labs, để chia sẻ "zkSync: Giải pháp mở rộng Ethereum dựa trên zkRollup". Alex là một người tham gia tích cực trong cộng đồng Ethereum, không chỉ là một nhà phát triển kỹ thuật xuất sắc mà còn có hiểu biết sâu sắc về kinh doanh.
Alex: Matter Labs được thành lập cách đây một năm rưỡi với tư cách là một viện nghiên cứu, nhằm giải quyết vấn đề mở rộng quy mô của các chuỗi khối phi tập trung. Vào thời điểm đó, đặc biệt là sau CryptoKitties, mọi người đều nhận ra rằng nếu không hy sinh các thuộc tính cốt lõi, Ethereum sẽ không thể mở rộng quy mô để đáp ứng việc áp dụng hàng loạt.
Nói cách khác: chúng tôi tin tưởng mạnh mẽ rằng giá trị lớn nhất của một chuỗi khối phi tập trung, không cần cấp phép nằm ở khả năng chống lại các đối thủ hùng mạnh. Và TON và Libra cũng cho chúng tôi nhận ra rằng nếu không có sự phân cấp thực sự, nền tảng blockchain sẽ không có giá trị.
Tuy nhiên, rất khó để nhận ra việc mở rộng kỹ thuật của chuỗi công khai, bởi vì cốt lõi của phân cấp là nguyên tắc "không tin tưởng, nhưng xác minh".
Do đó, mọi nút đầy đủ sẽ có thể xác minh mọi giao dịch. Nếu thông lượng được tăng lên mức một triệu, phần cứng thông thường (chẳng hạn như máy tính xách tay) không thể hỗ trợ các nút đầy đủ, thì số lượng nút đầy đủ sẽ giảm và khả năng phân cấp sẽ bị mất.
May mắn thay, trong 2 năm qua, chúng ta đã chứng kiến sự phát triển vượt bậc trong lĩnh vực bằng chứng không kiến thức. Thuộc tính thú vị nhất của các giao thức chứng minh không kiến thức này là chúng cho phép xác minh một số lượng lớn các tính toán với rất ít tài nguyên.
Điều này có nghĩa là chúng tôi có thể đóng gói hàng nghìn giao dịch vào một khối, khối này sẽ được xác minh bởi các nút đầy đủ chỉ với chi phí xác minh một giao dịch.
Chúng tôi đã khai thác thuộc tính này để phát triển zkSync - một giao thức mở rộng đáng tin cậy cho Ethereum.
zkSync dựa trên zkRollup, một kiến trúc kết hợp bằng chứng không kiến thức và các mẫu sẵn có của dữ liệu trên chuỗi. Bằng cách này, zkSync có một đảm bảo bảo mật không thể vượt qua: tính bảo mật của tài khoản trên zkSync là cực kỳ cao, đạt đến một lớp (L1) bảo mật.
Bạn có thể tìm thêm thông tin về zkSync tại zkSync.io.
hỏi đáp:
1. Tại sao zkRollup là công nghệ có khả năng nhất giúp Ethereum giải quyết vấn đề mở rộng ở giai đoạn này?
Trả lời: zkRollup hiện là giải pháp mở rộng duy nhất kết hợp tính khả dụng cao của dữ liệu và bảo mật lớp 1 (L1). Bài viết này là một ví dụ điển hình về cách nó so sánh với các giải pháp mở rộng quy mô khác:
2. Làm cách nào để kết hợp công nghệ sharding của zkRollup và Eth 2.0?
Trả lời: Chúng tôi sẽ xuất bản một bài báo về mối quan hệ giữa zkRollup và Ethereum sharding sau 2 tuần nữa.
Nói một cách đại khái: Eth 2.0 sẽ trực tiếp tăng TPS của zkRollup và giảm chi phí hoạt động. Hiện tại, zkRollup có thể xử lý tới 2000TPS.
3. Liệu zkSync có token riêng không?
Trả lời: Chúng tôi sẽ có mã thông báo đặt cược/quản trị trong tương lai để quản lý sự tham gia của nhiều trình xác thực.
4. Thiếu niềm tin khi sử dụng zkRollup, vì nó dựa vào những người tham gia tập trung, làm sao tránh được nguy cơ bị thao túng?
Trả lời: Bản thân zkSync không có cơ chế tin cậy cho trình xác nhận. Tuy nhiên, các giao thức ZK khác nhau trong zkSync có các cơ chế và sự đánh đổi khác nhau.
zkRollup có hai họ giao thức ZK chính: SNARKS và STARKS, trong đó SNARKS có cấu hình đáng tin cậy.
SNARKS yêu cầu cấu hình đáng tin cậy phải được thực hiện cùng một lúc. Trong zkSync1.0, giao thức chúng tôi sử dụng là PLONK. Nó giữ cấu hình đáng tin cậy toàn cầu. Mùa thu năm ngoái, có một buổi lễ lớn, hơn 200 người tham gia, bao gồm cả chúng tôi, V God và những tên tuổi lớn khác, chỉ cần một trong những người tham gia thành thật, thì bối cảnh này sẽ an toàn.
https://eprint.iacr.org/2019/1400.pdf
Trong khi STARKS minh bạch: không yêu cầu cấu hình đáng tin cậy. Trong zkSync 2.0, chúng tôi dự định sử dụng giao thức STARKS có tên là RedShift. Sau đây là sách trắng kỹ thuật giao thức:
5. Dự kiến khi nào sẽ có thông báo về mã thông báo?
Trả lời: Hiện tại, chúng tôi tập trung vào công nghệ cốt lõi, đây là công nghệ quan trọng nhất. Chúng tôi sẽ có thông báo về mã thông báo sau vài tháng nữa.
6. Chiến lược thị trường của zkSync là gì? Làm thế nào để thu hút nhiều người dùng hơn?
Trả lời: Về chiến lược thị trường, chúng tôi cam kết tích hợp zkSync cũng như các ứng dụng và giao thức bên C.
7. zkSync có kế hoạch tích hợp với ví và sàn giao dịch không?
Trả lời: Chúng tôi đang tích hợp ví và kết nối sàn giao dịch, điều này có thể giảm đáng kể phí giao dịch. Hiện tại phí giao dịch đã trở nên rất cao (gần đây đã đạt 100Gwei).
8. Sự khác biệt giữa ZkRollup và Optimistic Rollup là gì?
Trả lời: Trong zkRollup, tính hợp lệ của mỗi giao dịch được xác minh trước khi giao dịch diễn ra. Trình xác thực không thể làm điều ác.
Tuy nhiên, trong Optimistic Rollup, hành vi của trình xác thực không bị hạn chế, vì vậy người dùng phải tự giám sát các giao dịch không hợp lệ. Sau khi phát hiện thấy giao dịch không hợp lệ, họ cần gửi bằng chứng gian lận cho mạng chính. Những bằng chứng gian lận này sẽ khôi phục giao dịch không hợp lệ, cũng như tất cả các giao dịch hợp lệ xảy ra sau đó.
Điều này thực sự có nghĩa là một vài điều:
1. Tính bảo mật của Bản tổng hợp lạc quan thấp hơn vì bằng chứng gian lận có nguy cơ không được thực thi. Toàn bộ giá trị bị khóa trong Bản tổng hợp lạc quan bị đánh cắp.
2. Khả năng mở rộng của Optimistic Rollup kém hơn, bởi vì người dùng (hoặc đại lý của họ) phải theo dõi và thực hiện mọi giao dịch.
3. Thời gian rút tiền từ Optimistic Rollup lâu hơn (ít nhất 1 tuần để người dùng có đủ thời gian gửi bằng chứng gian lận).
4. Kiến trúc của Optimistic Rollup có nghĩa là việc triển khai quyền riêng tư rất tốn kém (cao gấp 1000 lần so với ZkRollup).
Để biết thêm về sự so sánh giữa hai, hãy xem các bài viết sau:
9. Sự khác biệt giữa ZkRollup và Validum là gì?
Trả lời: ZkRollup tương tự như Validum về việc đảm bảo tính chính xác của các giao dịch, nhưng cách họ xử lý tính khả dụng của dữ liệu là khác nhau.
Trong ZkRollup, một lượng nhỏ dữ liệu về mỗi giao dịch được xuất bản thông qua mạng Ethereum, trong khi ở Validum, dữ liệu được quản lý thông qua nhiều công chứng viên dữ liệu. Do đó, phí giao dịch trong Validum thấp hơn, nhưng nó đòi hỏi sự tin tưởng vào công chứng viên dữ liệu.
Để tìm hiểu thêm về sự khác biệt giữa hai loại này, hãy xem:
10. Làm thế nào để trở thành nút zkSync?
Trả lời: Bạn chỉ cần mua và đặt cược một số mã thông báo zkSync.
11. Giao thức zkSync được thiết kế để giải quyết vấn đề giao dịch của lớp thứ hai, vậy nó có khả năng xử lý vấn đề của hợp đồng thông minh không?
Trả lời có. Chúng tôi đang phát triển Zinc - một ngôn ngữ hợp đồng thông minh, cùng với một máy ảo cho các bằng chứng không có kiến thức để đảm bảo an ninh. Để tìm hiểu thêm, hãy tham khảo các trang web sau:
12. Nó khác với giải pháp của Loopring như thế nào?
Trả lời: Loopring tập trung vào các sàn giao dịch phi tập trung, trong khi chúng tôi tập trung vào kiến trúc cốt lõi. Vì vậy, công nghệ của chúng tôi tiên tiến hơn và tôi nghĩ chúng tôi sẽ hợp tác với Loopring trong tương lai.
13. Tôi nhận thấy rằng zkSync gần đây đã hoàn thành nâng cấp hợp đồng, bạn có thể giới thiệu sơ qua về nó không?
http://zksync.io/zksync-1.0-audit.pdf
Trả lời: Chúng tôi đã thuê ABDK Consulting để tiến hành kiểm toán toàn diện hệ thống, bao gồm: giao thức, mật mã, chương trình mạch ZK và hợp đồng thông minh. Sau đây là kết quả kiểm toán:
Vòng kiểm tra này đã giúp chúng tôi rất nhiều! ABDK Consulting được điều hành bởi các chuyên gia mật mã giàu kinh nghiệm có công việc bao gồm hàm băm Poseidon.
14. Phí mỗi giao dịch bây giờ là bao nhiêu? cần bao nhiêu thời gian?
Trả lời: Nếu giá Gas vẫn ở mức 100Gwei, thì mỗi khoản phí giao dịch sẽ vào khoảng 0,01 đô la. Về mặt thời gian, bằng chứng về một khối đầy đủ mất khoảng 20 phút. Nhưng những con số này không phải là tuyệt đối và phụ thuộc vào tải của nhà mạng.
15. Có kế hoạch phát triển cộng đồng người Hoa không?
Trả lời: Cho đến nay, chúng tôi vẫn chưa đầu tư nhiều vào việc phát triển bất kỳ cộng đồng nào, thay vào đó, chúng tôi tập trung phần lớn năng lượng vào công nghệ. Cộng đồng luôn là sự phát triển tự nhiên, tất nhiên chúng tôi có kế hoạch phát triển cộng đồng trong tương lai, đặc biệt cộng đồng người Hoa rất quan trọng với chúng tôi.
16. zkSync có thể hỗ trợ Defi không?
Trả lời: Tất nhiên. Sau khi chúng tôi triển khai Zinc để viết hợp đồng thông minh, khả năng kết hợp của Defi sẽ có thể thực hiện được trên nền tảng.
17. Chúng tôi hiểu rằng sức mạnh xử lý của zkSync tốt hơn so với Optimistic Rollup, nhưng zySync hiện có gặp khó khăn kỹ thuật trong việc tạo bằng chứng ZK cho các phép tính ngẫu nhiên không? Những hạn chế ở đâu?
Trả lời: Về lý thuyết, Optimistic Rollup sẽ dễ dàng hỗ trợ các tính toán ngẫu nhiên hơn và thậm chí nó có thể hỗ trợ mã byte EVM hiện có của cổng. Nhưng bằng chứng ZK cũng có thể thực hiện được và chúng tôi đang nghiên cứu điều đó.
Hạn chế chính đối với nhà phát triển là chương trình phải được viết theo cách không hoàn chỉnh theo kiểu Turing, tức là không có vòng lặp biến và đệ quy.
18. Tôi có thể sử dụng Zinc để tạo tài khoản cho người khác không?
Trả lời có. Bất kỳ ai cũng có thể tạo tài khoản trên zkSync cho bất kỳ địa chỉ nào - chỉ cần gửi một số ETH hoặc mã thông báo khác đến địa chỉ đó.
19. Khi nào Zksync sẽ hỗ trợ NFT?
Trả lời: Chúng tôi đang nghiên cứu để hỗ trợ NFT, chưa thể đưa ra thời gian chính xác nhưng chắc chắn sẽ thành hiện thực trong tương lai.
20. Bạn có thể chia sẻ trường hợp tích hợp zksync và ví không?
