Phá vỡ lớp 2: Các dịch vụ kỹ thuật ZK thượng nguồn giải phóng động lực thị trường mới như thế nào?

Tác giả gốc: Hạo Thiên

Nhiều người cho rằng ZK-Rollup là Endgame của Ethereum lớp 2. Tuy nhiên, khi tìm hiểu sâu hơn, tôi thấy rằng endgame không phải là hình thức ZK-Rollup mà chính là công nghệ ZK. Bởi vì trên lý thuyết, OP-Rollup cũng có thể sử dụng công nghệ ZK để rút ngắn thời gian thử thách 7 ngày và thậm chí xóa bỏ các khiếm khuyết quản trị đa chữ ký của MPC. Làm thế nào để hiểu nó? Bài viết này sẽ lấy @Metis L2 và dự án cốt lõi kỹ thuật đằng sau nó @ProjectZKM làm ví dụ để thảo luận:

Trong bài viết trước, tôi cũng đã giải thích rằng “công nghệ ZK” chỉ có tiềm năng mở rộng lớp 2 hạn chế và vẫn còn rất nhiều chỗ cho khả năng tương tác không cần tin cậy trên toàn bộ chuỗi. Được triển khai cụ thể trong các kịch bản ứng dụng lớp 2, nó có thể trực tiếp mang lại hai tác động chính:

1) Các quỹ xuyên chuỗi của lớp 2 và lớp 1 có thể được phân phối trực tiếp một cách chắc chắn dựa trên công nghệ cơ bản ZK dành cho tài sản an toàn. Sử dụng công nghệ ZK, OP-Rollup có thể rút ngắn đáng kể thời gian thử thách chờ đợi 7 ngày cần thiết để rút tiền;

2) Hệ thống xác minh Prover của lớp 2 và hợp đồng xác minh Rollup của lớp 1 có thể hiện thực hóa việc xây dựng một môi trường đáng tin cậy trên chuỗi chính, về mặt lý thuyết, không cần thiết phải sử dụng nhiều chữ ký MPC tập trung hoặc bán tập trung nữa, bị chỉ trích là chế độ “do con người quản lý” để đảm bảo an toàn;

Trên thực tế, @Metis L2, với tư cách là chuỗi lớp 2 dựa trên khung công nghệ OP-Rollup, đã đạt được sự chuyển đổi mô hình của kiến trúc cơ bản lớp 2 theo hai chiều trên thông qua công nghệ cơ bản ZK:

Một mặt, khung Rollup kết hợp của OP-Rollup+ZK-Rollup tối ưu hóa trải nghiệm rút tiền của người dùng và yêu cầu 7 ngày chờ đợi, điều này có thể giải phóng thanh khoản nhanh hơn;

Mặt khác, bằng cách sử dụng Metis lớp 2 làm mục tiêu thử nghiệm, chúng tôi đã dần dần triển khai khuôn khổ “không tin cậy” của @ProjectZKM về khả năng tương tác chủ đề chuỗi chéo, sử dụng ZK làm cơ sở hạ tầng để xây dựng bộ đồng xử lý phi tập trung làm chủ đề đáng tin cậy. , để tạo Bằng chứng, xác minh Bằng chứng và quản lý cơ chế liên lạc và tin cậy giữa các nút blockchain chuỗi chéo. Cụ thể thực hiện như thế nào?

Tổng hợp lai

Trong các trường hợp thông thường, lớp 2 là cấu trúc Rollup của OP-Rollup dựa trên bằng chứng lạc quan về thời gian thử thách 7 ngày hoặc cấu trúc bằng chứng Finality một khối của ZK-Rollup dựa trên ZK-SNARK.

Tốc độ giao dịch hàng loạt trước đây nhanh và phí xử lý thấp. Nhược điểm là khi người dùng rút tiền từ lớp 2 sang lớp 1, họ phải chờ thời gian chờ thử thách 7 ngày, vì theo bản chất lạc quan của lô. OP-Rollup, chỉ được phép rút tiền quá 7 ngày. Sau khi bị thách thức quay lại, về mặt lý thuyết, việc rút tiền này có thể được gọi là an toàn;

Cấu trúc truyền Bằng chứng của ZK-SNARK sau này có thể thực hiện xác nhận bảo mật tài sản Cuối cùng trong một khối duy nhất. Điểm bất lợi là ngoài chi phí DA của các giao dịch Batch, một hệ thống Prover bổ sung sẽ được thêm vào để tính chi phí xác minh. hệ sinh thái 2 lớp Ngưỡng bắt đầu để xây dựng nhóm nhà phát triển tương đối cao và tốc độ phát triển sinh thái chậm.

Vì vậy, làm cách nào chúng tôi có thể áp dụng tính dễ sử dụng của kiến trúc OP-Rollup tổng thể trong khi tránh được những hạn chế trong khoảng thời gian thử thách 7 ngày (khóa thanh khoản)? Câu trả lời là: xử lý các giao dịch từ Lô 2 trở lại mạng chính thành các "kênh". Các giao dịch thông thường đi qua kênh OP-Rolluo, trong khi các giao dịch Rút tiền đặc biệt đi qua kênh ZK-Rollup. đã được thông qua. Giám đốc đã trở thành một giải pháp tối ưu thỏa hiệp.

Metis đã triển khai giải pháp tổng hợp kết hợp vào hoạt động bình thường của chuỗi riêng của mình và điều mang lại cho nó khả năng tổng hợp kết hợp này là dự án nền tảng công nghệ ZK lõi cứng "mới" @ProjectZKM do nhóm kỹ thuật Metis ươm tạo và tạo ra. nhóm là Trong quá trình vận hành lớp 2, một số vấn đề bình thường cố hữu đã được phát hiện. Ngoài việc đi đầu trong việc khắc phục vấn đề Sequencer phi tập trung, chúng tôi còn hướng đến việc sử dụng ZKM để giải quyết một loạt vấn đề như "bán tập trung MPC" và. "thanh khoản bị khóa" tồn tại trong quá trình phát triển của lớp 2. câu hỏi;

Thoạt nhìn, bạn có thể nghĩ nó rất trừu tượng. Lý do đã được giải thích trong bài viết trước của tôi về công nghệ ZK. Loại dịch vụ này vẫn nằm ở thượng nguồn của chuỗi cung ứng dịch vụ kỹ thuật lớp 2. Mặc dù nó là cốt lõi. chưa được Nó đã được áp dụng rộng rãi nên nghe vẫn còn xa lạ. ZKM, giống như RISC Zero, nhằm mục đích cung cấp nhiều dịch vụ hợp nhất bảo mật ngược dòng hơn cho các dự án lớp 2 dựa trên khung công nghệ cơ bản ZK.

Hiện tại, ZKM cung cấp dịch vụ đường ống ZK-Rollup cho quá trình tổng hợp kết hợp được yêu cầu bởi lớp 2. Ngoài ra còn có giao thức Entangled Rollup ở phía dưới để cung cấp các dịch vụ quản lý thanh khoản thống nhất thanh khoản thống nhất.

Trên thực tế, các nhà cung cấp dịch vụ ngược dòng công nghệ ZK như @ProjectZKM, @RiscZero và @SuccinctLabs đang thúc đẩy việc phổ biến các giải pháp kỹ thuật tương tự, từ đó giúp OP-Rollup và ZK-Rollup giảm hơn nữa sự khác biệt, đồng thời giảm số lượng no-Battle -Các thử thách đã được thử nghiệm. Thử thách kéo dài 7 ngày đang chờ thanh khoản cạn kiệt. Theo số liệu thống kê chưa đầy đủ, Metis, Fraxchain, Aztec, Ola, v.v. đều đang khám phá việc triển khai loại giải pháp cuộn kết hợp này.

Dựa trên cơ chế tin cậy cầu nối chuỗi chéo không có ZK

Ngày nay, hầu hết lớp 2 đã bị chỉ trích vì vấn đề hợp đồng Rollup mạng chính có hợp đồng proxy Cập nhật được kiểm soát bởi Ủy ban Quản trị Bảo mật MPC bán tập trung. Điều này đã khiến hầu hết bảo mật lớp 2 vẫn ở mức mà Vitalik gọi là Giai đoạn 0.

Về mặt lý thuyết, các nhà cung cấp dịch vụ công nghệ ZK thượng nguồn như ZKM và RISC Zero có thể cho phép xây dựng một môi trường đáng tin cậy phi tập trung mà không cần cầu nối chuỗi chéo đa chữ ký MPC giữa mọi chuỗi có chức năng hợp đồng thông minh.

Nguyên tắc rất đơn giản. ZK-SNARK cho phép các nút của hai chuỗi duy trì sự đồng thuận để trực tiếp thiết lập liên lạc. Sau khi nhận được giao dịch Gửi và chứng chỉ ZKP từ nút chuỗi B, các nút của chuỗi A có thể xác minh tính hợp lệ của chuỗi A một cách độc lập. chứng chỉ ZKP và sau đó chấp nhận nút chuỗi B. Bằng chứng do chuỗi gửi là hợp lệ. Toàn bộ quá trình được thực hiện hoàn toàn bằng thuật toán chứng minh không có kiến thức và không yêu cầu chủ thể con người bên thứ ba kiểm soát.

Đối với bản thân bộ đồng xử lý lên lịch liên lạc giữa các nút, nó có thể được triển khai bằng cách sử dụng kiến trúc nguồn mở phi tập trung, từ đó hiện thực hóa hoàn toàn vấn đề “tập trung hóa” tồn tại trong chuỗi chéo của Rollup.

Vì Ethereum có tính hoàn thiện của hợp đồng thông minh nên về mặt lý thuyết, lớp 2 của Ethereum có các điều kiện cơ bản cho chuỗi chéo dựa trên công nghệ ZK. Lý tưởng nhất là lớp 2 sẽ sử dụng cùng một khung công nghệ ZK để triển khai các giải pháp chuỗi chéo và các chuỗi lớp 1 khác và thậm chí cả chuỗi lớp 3 cũng sẽ được tích hợp vào kiến trúc truyền thông mạng này trong tương lai, chuỗi công khai Ethereum sẽ trở thành một toàn diện. Đây có phải là lớp giải quyết phổ quát trong môi trường chuỗi không?

Lý do tại sao hầu hết các bên dự án lớp 2 hiện không muốn từ bỏ việc quản lý chủ đề đa chữ ký MPC chủ yếu là để ngăn chặn và kiểm soát bảo mật. Theo tôi, lý do cơ bản là vì: Sequencer phi tập trung và Prover phi tập trung ở toàn bộ lớp 2. cấp độ Và mức độ phổ biến của các dịch vụ thành phần cơ bản như zkBridge phi tập trung vẫn chưa có. Trong trường hợp này, việc duy trì một ủy ban quản trị an ninh tập trung hoặc bán tập trung đã trở thành một phương pháp quản trị an toàn hơn.

Tuy nhiên, về lâu dài, khi lớp 2 trở nên phổ biến hơn trong các thành phần phi tập trung, phương pháp quản lý bảo mật của lớp 2 chắc chắn sẽ bị chỉ trích và giải pháp giải quyết chuỗi chéo dựa trên lớp dưới cùng của ZK sẽ trở thành điều bắt buộc. Có thể tưởng tượng được tiềm năng phát triển tiếp theo của cơ sở hạ tầng công nghệ ZK.

bên trên

Không quá lời khi nói rằng lớp 2 Ethereum hiện tại đã rơi vào tình thế khó xử trong quá trình phát triển: hoặc nó có thể dựa vào hệ sinh thái ứng dụng của lớp 2 hoặc lớp 3 để tạo ra một dự án phi thường nhằm nâng cao niềm tin của mọi người trên thị trường vào lớp 2, hoặc nó có thể chỉ dựa vào sự phát triển hơn nữa. Cải thiện tính phân cấp của các thành phần chính như Sequencer, Prover và zkBridge để tiếp tục làm phong phú thêm tường thuật kỹ thuật. Cái sau chắc chắn sẽ yêu cầu một bộ khung cơ bản dựa trên công nghệ ZK để kết nối nó. Nếu không có sự phân biệt chính thức giữa OP-Rollup và ZK-Rollup, các đặc điểm cuối game của ZK sẽ thực sự xuất hiện.

Chỉ bằng cách phát triển theo con đường này thì hướng phát triển của lớp 2 mới không bị sai lệch và dựa trên điều này, chúng ta cũng có thể mở rộng sự phát triển của khả năng tăng tốc thiết bị phần cứng ZK; hỗ trợ PC, di động, IOT và thiết bị phần cứng khác; -Proof bảo vệ dữ liệu điện toán đám mây; xây dựng hệ thống Prover phi tập trung và tối ưu hóa tài nguyên máy tính và nhiều hướng tường thuật khác.

Trên thực tế, đã có rất nhiều dự án tương tự ở giao lộ AI, ZK và DePIN đang ngày càng nổi bật.

Điều này cũng đúng với các ý tưởng phát triển của Metis ở lớp 2 và mục đích ban đầu của dự án ZKM cốt lõi, đó là làm cho công nghệ ZK trở nên phổ biến hơn và áp dụng cho mọi khía cạnh của việc xây dựng thị trường lớp 2 toàn cầu, ngoài ra, khoản đầu tư của cá nhân tôi; nghiên cứu cũng đã chú ý đến một số dự án, ví dụ: @cysic_xyz, người tiếp tục làm việc về khả năng tăng tốc chip và phần cứng ZK, và @ola_zkzkvm, người đang dần triển khai hệ thống máy tính phi tập trung ZK Prover, v.v.

Tóm lại, tôi muốn nhắc lại quan điểm của mình. Ứng dụng hiện tại của công nghệ ZK trong lĩnh vực lớp 2 chỉ là phần nổi của tảng băng chìm. Khi công nghệ ZK được phổ biến rộng rãi hơn trong hybrid rollup, cầu nối chuỗi ZK, phần cứng ZK. tăng tốc và các lĩnh vực khác, tôi tin rằng nó cũng sẽ mang lại lợi ích cho lớp 2 Thị trường mang lại sức sống mới.

Rốt cuộc, sẽ mất nhiều thời gian để toàn bộ thị trường lớp 2 chấp nhận mô hình nâng cấp cơ sở ZK này.