ZKsync được Vitalik ca ngợi, có thể thực sự bị đánh giá thấp.

Tác giả: Eric, Foresight News

Vào ngày 1 tháng 11, Vitalik đã trích dẫn tweet của người sáng lập ZKsync về việc nâng cấp ZKsync Atlas và khen ngợi ZKsync đã thực hiện nhiều “công việc bị đánh giá thấp nhưng có giá trị lớn đối với hệ sinh thái Ethereum.”

Thị trường đã nhanh chóng phản ứng trước những lời của Vitalik, giá ZK trong hai ngày cuối tuần đã tăng hơn 2,5 lần, các token trong hệ sinh thái ZK, bao gồm ALT (AltLayer), STRK (Starknet), SCR (Scroll), MINA (Mina) cũng đều ghi nhận mức tăng trưởng tốt.

Sau khi tìm hiểu về việc nâng cấp ZKsync Altas, chúng tôi nhận ra rằng những gì ZKsync đã làm có thể thực sự bị đánh giá thấp.

Nhanh, nhỏ nhưng đắt ZKP

Quỹ Ethereum đã triển khai ZKP (bằng chứng không kiến thức) từ rất sớm với mục đích giải quyết vấn đề tốc độ xác minh chậm và khối lượng dữ liệu xác minh lớn.

ZKP về bản chất là một vấn đề xác suất trong toán học, hãy đưa ra một ví dụ không hoàn toàn chính xác để đại khái giải thích nguyên lý của nó: giả sử có một người tuyên bố rằng họ đã giải quyết “vấn đề bốn màu”, vậy làm thế nào để xác định rằng người này thực sự đã giải quyết mà không công bố hoàn toàn phương án của họ? Giải pháp của chứng minh không biết là, trong toàn bộ bức tranh, chọn một số phần, chứng minh rằng trong những phần này không có hai màu liền kề nào giống nhau, và khi số lượng phần được chọn đạt đến một giá trị nào đó, có thể chứng minh rằng người này đã đạt xác suất giải quyết vấn đề bốn màu là 99.99……%. Lúc này, chúng ta đã đạt được chứng minh “thực sự đã giải quyết vấn đề bốn màu” mà không hiểu toàn bộ bức tranh.

Trên đây là những gì mọi người thường nghe, “chứng minh rằng thực sự đã làm điều này mà không hiểu cách làm” trong chứng minh không kiến thức (ZKP). Còn về lý do tại sao cần thúc đẩy mạnh mẽ ZKP trong hệ sinh thái Ethereum, đó là vì giới hạn tốc độ lý thuyết của ZKP nhanh hơn nhiều so với việc chứng minh từng giao dịch, và dữ liệu của chứng minh được tạo ra có kích thước rất nhỏ.

Tốc độ nhanh là vì ZKP không cần hiểu toàn bộ bức tranh, chỉ cần thực hiện thử thách. Ví dụ, để xác minh một khối Ethereum, phương pháp hiện tại là mỗi nút xác minh xem địa chỉ thực hiện của mỗi giao dịch có đủ số dư hay không và các vấn đề cơ bản khác, nhưng nếu chỉ có một nút xác minh mỗi giao dịch thông qua ZKP, sau đó tạo ra một “chứng minh”, các nút khác chỉ cần xác minh “chứng minh” đó là đáng tin cậy. Quan trọng hơn, dữ liệu của “chứng minh” này rất nhỏ, vì vậy tốc độ truyền và xác minh của nó rất nhanh, đồng thời chi phí lưu trữ dữ liệu cũng thấp hơn.

Về lý do tại sao không áp dụng công nghệ này với nhiều ưu điểm như vậy, đó là vì nó quá đắt.

ZKP mặc dù không cần tái hiện tất cả các quá trình, nhưng chính thử thách sẽ tiêu tốn rất nhiều năng lực tính toán. Nếu như tích lũy GPU một cách điên cuồng như trong cuộc đua vũ trang AI, thì có thể đạt được tốc độ nhanh hơn, nhưng không phải ai cũng có thể chịu đựng được chi phí như vậy. Nhưng nếu có thể thông qua đổi mới thuật toán và kỹ thuật, giảm thời gian cần thiết để tạo chứng minh dưới sức mạnh tính toán thấp xuống một mức độ nào đó, đạt được sự cân bằng giữa “sự gia tăng giá trị nhờ đổi mới công nghệ tạo ra nhiều ứng dụng hơn” và “chi phí mua GPU để xây dựng nút”, thì việc này có thể thực hiện được.

Vì vậy, nhiều dự án ZK trong hệ sinh thái Ethereum hoặc các nhà phát triển mã nguồn mở tập trung vào việc kết hợp ZKP với Ethereum chủ yếu ở điểm mấu chốt: tạo ra các chứng minh ZK với chi phí thấp hơn và tốc độ nhanh hơn. Gần đây, nhóm Brevis đã đạt được chứng minh khối Ethereum trung bình trong 6,9 giây chỉ với một nửa chi phí của giải pháp SP1 Hypercube (64 GPU RTX 5090), trong đó 99,6% thời gian chứng minh nhỏ hơn thời gian trung bình hiện tại của Ethereum là 12 giây, đó là lý do mà cộng đồng Ethereum đã đồng lòng khen ngợi.

Mặc dù chi phí GPU vẫn vượt quá 100.000 đô la, nhưng ít nhất tốc độ đã giảm xuống mức hiện tại không có ZKP, sau đó nhiệm vụ của mọi người là giảm chi phí.

Cập nhật Altas đã đạt được tính cuối cùng ZK trong 1 giây.

Có lẽ nhiều người không biết, zkVM mã nguồn mở ZKsync Airbender do ZKsync phát hành là zkVM có tốc độ xác minh nhanh nhất với một GPU. Theo dữ liệu từ Ethproofs, thời gian xác minh trung bình với một chiếc 4090 ZKsync Airbender là 51 giây, chi phí chưa đến một xu, cả hai đều là thành tích tốt nhất trong zkVM.

Theo dữ liệu mà ZKsync cung cấp, không tính đến đệ quy, thời gian trung bình để Airbender xác thực mạng chính Ethereum với mô hình lưu trữ H100 và ZKsync OS là 17 giây. Ngay cả khi tính đến đệ quy, thời gian trung bình tổng thể cũng chỉ mất khoảng 35 giây, ZKsync cho rằng điều này tốt hơn nhiều so với việc cần hàng chục GPU để đạt được xác thực trong vòng 12 giây. Tuy nhiên, do hiện tại chỉ có dữ liệu trung bình 22,2 giây với hai GPU, nên thực tế vẫn chưa có kết luận rõ ràng.

Và tất cả những điều này không chỉ là công lao độc lập của Airbender, tối ưu hóa thuật toán và kỹ thuật chỉ là một phần, sự tích hợp sâu sắc với công nghệ ZKsync mới là chìa khóa để tối đa hóa hiệu quả. Một điểm quan trọng hơn nữa là nó chỉ ra rằng việc sử dụng GPU đơn để thực hiện chứng minh thời gian thực trên mạng chính Ethereum là khả thi.

Vào cuối tháng 6, ZKsync đã ra mắt Airbender, và vào ngày thứ hai trước lễ Quốc khánh, đã triển khai nâng cấp Altas. Sự nâng cấp kết hợp với Airbender lần này đã mang lại sự cải thiện đáng kể về khả năng xử lý, tốc độ xác nhận và chi phí của ZKsync.

Về khối lượng xử lý, ZKsync đã tối ưu hóa bộ sắp xếp về mặt kỹ thuật: giảm thiểu tiêu hao do đồng bộ bằng cách sử dụng các thành phần bất đồng bộ độc lập; tách biệt trạng thái cần thiết cho máy ảo, trạng thái cần thiết cho API và trạng thái cần thiết để tạo ra chứng minh không biết hoặc xác minh chứng minh không biết trên lớp L1, từ đó giảm thiểu chi phí không cần thiết của các thành phần.

Sau khi thử nghiệm thực địa với ZKsync, TPS của chuyển giao stablecoin trong các tình huống thanh toán, cập nhật giá thường xuyên và chuyển giao ETH gốc lần lượt đạt 23k, 15k và 43k.

Một biến đổi lớn nữa đến từ Airbender, giúp ZKsync đạt được xác nhận khối trong 1 giây và chi phí chuyển khoản 0.0001 đô la. Khác với việc xác minh khối mạng chính, ZKsync chỉ xác minh tính hợp lệ của chuyển đổi trạng thái, do đó khối lượng tính toán thấp hơn nhiều so với việc xác minh khối mạng chính. Mặc dù việc đạt được giao dịch ZK cuối cùng vẫn cần được xác minh trên mạng chính để cuối cùng đạt được tính cuối cùng của L1, nhưng với việc xác minh ZK cho thấy tính hợp lệ của giao dịch đó, tính cuối cùng của L1 giống như một loại đảm bảo tính quy trình.

Nói cách khác, các giao dịch được thực hiện trên ZKsync chỉ cần xác thực ZKP để được xác nhận hoàn toàn là hợp lệ, cộng với chi phí giảm đáng kể, ZKsync đã đạt được, theo cách nói của họ, những trường hợp ứng dụng chỉ có Airbender mới mang lại:

Đầu tiên, đó là các ứng dụng như sổ đặt hàng trên chuỗi, hệ thống thanh toán, sàn giao dịch và các nhà tạo lập thị trường tự động. Airbender cho phép hệ thống xác minh và thanh toán với tốc độ cực nhanh, giảm thiểu rủi ro xảy ra tình trạng quay lại trên chuỗi cho những ứng dụng này.

Điểm thứ hai là hiện tại nhiều L2 không thể thực hiện được, hỗ trợ hệ thống công cộng và hệ thống riêng (ví dụ như Prividiums của ZKsync) có thể tương tác mà không cần bên thứ ba. Prividiums là cơ sở hạ tầng do ZKsync phát triển để giúp các doanh nghiệp xây dựng chuỗi riêng. Đối với doanh nghiệp, yêu cầu đối với blockchain là có thể thanh toán nhanh chóng và bảo mật. Thanh toán nhanh chóng không cần phải nói thêm, tính bảo mật tự nhiên của ZKP có thể cho phép chuỗi riêng của doanh nghiệp xác minh tính hợp lệ của giao dịch mà không tiết lộ thông tin sổ cái của chuỗi khi tương tác với chuỗi công cộng. Sự kết hợp của cả hai thậm chí đáp ứng yêu cầu về thời gian thanh toán trong quy định của chứng khoán và giao dịch ngoại hối trên chuỗi.

Đây có lẽ cũng là lý do khiến ZKsync trở thành mạng phát hành tài sản RWA được mã hóa lớn thứ hai chỉ sau Ethereum.

ZKsync cũng rất tự hào khi nói rằng tất cả những điều này chỉ có thể đạt được dưới sự nâng cấp Altas: bộ sắp xếp cung cấp việc đóng gói giao dịch với độ trễ thấp, Airbender tạo ra chứng minh trong vòng một giây, sau đó Gateway xác minh và phối hợp thông điệp giữa các chuỗi.

Kết nối L1 và L2

Như tweet mà Vitalik đã chuyển tiếp, người sáng lập ZKsync, Alex, cho rằng sau khi nâng cấp Altas, Zksync thực sự đã kết nối với mạng chính Ethereum.

Hiện tại, thời gian xác nhận giao dịch cuối cùng của ZKsync (khoảng 1 giây) ngắn hơn thời gian tạo khối của mạng chính Ethereum (trung bình 12 giây), điều này có nghĩa là các giao dịch tổ chức và RWA thực hiện trên ZKsync về cơ bản nhất quán với các giao dịch trên mạng chính Ethereum, chỉ cần chờ xác nhận từ mạng chính Ethereum. Điều này có nghĩa là ZKsync không cần phải xây dựng lại trung tâm thanh khoản trên L2, mà có thể trực tiếp sử dụng thanh khoản từ mạng chính, vì ZK Rollup giữa mạng chính và ZKsync không cần thời gian thử thách 7 ngày như OP Rollup, trong khi nâng cấp Altas còn tăng tốc độ hơn nữa trên nền tảng hiện có.

Điều này đã cải thiện vấn đề phân mảnh L2 mà cộng đồng Ethereum gần đây đã thảo luận, L2 và L1 không còn là hai chuỗi tách biệt nữa, mà được kết nối với nhau thông qua xác nhận và xác minh nhanh chóng, L2 cũng lần đầu tiên thực sự có thể được gọi là “mạng mở rộng”.

Nhớ lại khi ZKsync và Scroll lần đầu tiên ra mắt trên mạng chính, tốc độ xác nhận giao dịch và chi phí Gas không khác gì so với mạng chính, thậm chí còn cao hơn. Nguyên nhân chủ yếu là do lúc mới ra mắt, chưa có sự tối ưu hóa hệ thống cho thuật toán và kỹ thuật ZKP, khiến tốc độ xác minh chậm, chi phí cao, thời điểm đó cũng đã dẫn đến một cuộc khủng hoảng niềm tin vào ZK Rollup. Đến nay, Optimism và Arbitrum đang từ từ chuyển từ OP Rollup sang ZK Rollup (hoặc là sự kết hợp của cả hai), sự cải thiện hơn nữa về chi phí và tốc độ của ZKsync cùng với ZKP phi tập trung của Scroll đã từ “vô nghĩa” trở thành những kết quả đáng mong đợi.

Từ việc bị mọi người chỉ trích đến trở thành một món hàng hot, ZK đã đón nhận ánh sáng mới. Sau khi việc thực hiện đa chữ ký cho bộ định tuyến và cầu nối đa chuỗi hoàn toàn phi tập trung, có lẽ thực sự có thể đạt được điều mà đối tác quản lý Dragonfly Hasseb Qureshi đã nói “không thể xấu xa”.