ZKsync chính thức phát hành zkVM mới toàn bộ 'Airbender', đây là một loại Bằng chứng không kiến thức được thiết kế đặc biệt cho hiệu suất cao, khả năng mở rộng và Phi tập trung. Airbender không chỉ là zkVM RISC-V mã nguồn mở nhanh nhất hiện nay, mà còn với hiệu suất vượt trội gấp nhiều lần so với đối thủ khác, đang làm nảy mầm cách mạng công nghệ trong lĩnh vực Khối. Dù là xác minh Khối trong vài mili giây trên một GPU đơn lẻ, hoặc tiết kiệm chi phí, nâng cao mức độ Phi tập trung, Airbender đang tái định hình cách ứng dụng công nghệ zk.
ZKsync Airbender là gì? zkVM và chứng minh được nâng cấp toàn diện
Airbender là zkVM mới nhất của ZKsync, hỗ trợ tập lệnh RISC-V, có khả năng chứng minh không kiến thức hiệu quả đối với bất kỳ mã lệnh nào. Nó kết hợp với hệ điều hành ZKsync OS modular mới hoàn toàn để cung cấp môi trường thực thi mạnh mẽ và khả năng tùy chỉnh mạnh mẽ cho Mạng lưới Đàn hồi. Lõi sử dụng công nghệ DEEP STARK được tối ưu hóa và hỗ trợ cấu hình máy tùy chỉnh và chứng minh đệ quy.
Khung này cho phép nhà phát triển cân nhắc giữa các kịch bản ứng dụng khác nhau, ví dụ như tăng cường mức độ Phi tập trung, giảm chi phí hoặc nén chứng minh.
Hiệu suất tăng vọt: Airbender hiện đang sở hữu khả năng chứng minh zk nhanh nhất hiện nay
ZKsync đã tiến hành nhiều bài kiểm tra hiệu suất cho Airbender, kết quả đã gây sốc trong ngành. So với hai loại zkVM lớn hiện tại (RiscZero và SP1 Turbo), Airbender đã vượt trội đáng kể trong điều kiện tương tự:
H100 GPU trên tầng cơ sở tốc độ chứng minh: 21.8 MHz (so với SP1 Turbo là 3.45 MHz và RiscZero là 1.1 MHz)
Tốc độ chứng minh từ đầu đến cuối: Airbender nhanh gấp 2.5-4 lần (so với SP1 Turbo), nhanh gấp 8.5-11 lần (so với RiscZero)
ZKsync Khối證明時間：單顆 GPU đạt được thời gian cấp giây
Những bài kiểm tra này không chỉ giới hạn ở GPU cao cấp, Airbender cũng cho thấy hiệu suất cực cao trên NVIDIA L4 kinh tế, đại diện cho khả năng triển khai thực tế trên nhiều loại phần cứng, mở ra khả năng chứng minh dân dã.
Ethereum chặn trong 17 giây: một GPU duy nhất đạt được bằng chứng gần như thời gian thực
Khi Airbender hợp tác với ZKsync OS, thành công trong việc hoàn thành công việc chứng minh Khối trung bình của Ethereum trên một cái H100 đơn lẻ, tốc độ như sau:
Chỉ 17 giây (không bao gồm đệ quy)
Quy trình đầy đủ (bao gồm đệ quy) khoảng 35 giây
So với đối thủ SP1 Hypercube sử dụng từ 50 đến 160 GPU NVIDIA 4090 để hoàn thành cùng một nhiệm vụ trong 12 giây, Airbender chỉ cần một H100 để đạt được kết quả tương tự, đồng thời giảm chi phí phần cứng đáng kể và giảm ngưỡng vào rất nhiều.
Đáng chú ý, do sử dụng môi trường thực thi và mô hình lưu trữ khác nhau, nên kết quả so sánh cần được xem xét cẩn thận. Nhưng chính vì điều này, ZKsync nhấn mạnh rằng tích hợp toàn bộ kiến trúc (từ zkVM đến bộ chứng minh) mới là chìa khóa để đạt hiệu suất.
ZKsync toàn bộ chuyển sang Airbender, giảm chi phí xuống còn $0.0001 mỗi giao dịch
ZKsync thông báo rằng tất cả các chuỗi mới sẽ sử dụng Airbender làm hệ thống chứng thực mặc định, dần dần thay thế Boojum hiện có. Bản nâng cấp này không chỉ giúp tăng đáng kể tốc độ mà còn giảm chi phí chứng minh trung bình cho mỗi giao dịch xuống chỉ còn 0,0001 đô la, thấp hơn 10 lần so với Boojum.
Bao gồm các chuỗi như Abstract, Sophon, GRVT, Lens, Memento sẽ có thể chuyển đổi mượt mà sang Airbender và ngay lập tức hưởng lợi từ những lợi ích hiệu suất này.
Mã nguồn mở, ứng dụng thông dụng: không chỉ ZKsync có thể sử dụng
Airbender采用开放原始碼設計，基於RISC-V架構的zkVM不僅適用於ZKsync，還能支援任意應用的證明需求。它的設計讓開者可在一般消費級硬體上執行，為Phi tập trung AI、Khối鏈遊戲、身分驗證等新型應用鋪路。
Người dùng hiện đã có thể trải nghiệm Airbender trên mạng thử nghiệm ZKsync OS và bắt đầu phát triển. Mặc dù hiện tại vẫn là phiên bản beta, nhóm ZKsync đã bắt đầu tối ưu hóa trải nghiệm của người dùng và tiếp tục phát hành cập nhật.
Giải thích cụ thể về cấu trúc công nghệ và mô hình thực thi: Làm thế nào để đạt được chứng minh siêu nhanh?
Airbender sử dụng quy trình chứng minh 5 lớp, được thiết kế đặc biệt cho tính linh hoạt và khả năng xử lý cao:
Chứng nhận Nhân chứng: Tạo ra cam kết LDE và cam kết theo dõi
Lookup & Memory Argument：Sử dụng bảng tra cứu để xác minh hoạt động bộ nhớ
Đa thức Chỉ số STARK: Chuyển đổi ràng buộc thành đa thức
Xây dựng đa thức SÂU: Giảm kích thước chứng minh theo lô thông qua FRI
FRI IOPP：tạo ra chứng minh cuối cùng gần đúng nhất
Về mô hình thực thi, Airbender sử dụng bộ chỉ thị RISC-V 32I+M và thực thi thông qua chế độ fetch-decode-execute phân đoạn. Nó có thể được mở rộng theo chiều ngang thông qua chế độ stitching đa đoạn, hỗ trợ Chế độ Kernel cho logic cấp hệ điều hành ZKsync.
Điểm nổi bật của thiết kế: Tinh chỉnh từ hỗ trợ phần cứng đến chỉ thị tùy chỉnh
Chế độ Hybrid CPU/GPU: có thể sử dụng CPU thuần, GPU đơn hoặc nhiều GPU
RAM Đăng ký: Tất cả các thanh ghi thông qua quản lý bộ nhớ, đơn giản hóa thiết kế mạch điện
Tính toán trường số nguyên tố Mersenne31: Xử lý số học tối ưu cho hiệu suất STARK
Hỗ trợ tùy chỉnh Precompiles cho Blake2s, Blake3, phép tính số nguyên lớn
Bản cập nhật này cũng nhận được sự chuyển giao từ nhà sáng lập Ethereum Vitalik Buterin:
Bài viết này giới thiệu ZKsync Airbender: Blockchain RISC-V zkVM mã nguồn mở nhanh nhất thế giới, dễ dàng xác minh Khối Ethereum đầu tiên chỉ với một GPU, xuất hiện đầu tiên trên trang tin tức chuỗi khối ABMedia.
Nội dung chỉ mang tính chất tham khảo, không phải là lời chào mời hay đề nghị. Không cung cấp tư vấn về đầu tư, thuế hoặc pháp lý. Xem Tuyên bố miễn trừ trách nhiệm để biết thêm thông tin về rủi ro.
ZKsync Airbender 登場：全球最快 RISC-V ZkVM，單顆 GPU dễ dàng驗證EthereumKhối
ZKsync chính thức phát hành zkVM mới toàn bộ 'Airbender', đây là một loại Bằng chứng không kiến thức được thiết kế đặc biệt cho hiệu suất cao, khả năng mở rộng và Phi tập trung. Airbender không chỉ là zkVM RISC-V mã nguồn mở nhanh nhất hiện nay, mà còn với hiệu suất vượt trội gấp nhiều lần so với đối thủ khác, đang làm nảy mầm cách mạng công nghệ trong lĩnh vực Khối. Dù là xác minh Khối trong vài mili giây trên một GPU đơn lẻ, hoặc tiết kiệm chi phí, nâng cao mức độ Phi tập trung, Airbender đang tái định hình cách ứng dụng công nghệ zk.
ZKsync Airbender là gì? zkVM và chứng minh được nâng cấp toàn diện
Airbender là zkVM mới nhất của ZKsync, hỗ trợ tập lệnh RISC-V, có khả năng chứng minh không kiến thức hiệu quả đối với bất kỳ mã lệnh nào. Nó kết hợp với hệ điều hành ZKsync OS modular mới hoàn toàn để cung cấp môi trường thực thi mạnh mẽ và khả năng tùy chỉnh mạnh mẽ cho Mạng lưới Đàn hồi. Lõi sử dụng công nghệ DEEP STARK được tối ưu hóa và hỗ trợ cấu hình máy tùy chỉnh và chứng minh đệ quy.
Khung này cho phép nhà phát triển cân nhắc giữa các kịch bản ứng dụng khác nhau, ví dụ như tăng cường mức độ Phi tập trung, giảm chi phí hoặc nén chứng minh.
Hiệu suất tăng vọt: Airbender hiện đang sở hữu khả năng chứng minh zk nhanh nhất hiện nay
ZKsync đã tiến hành nhiều bài kiểm tra hiệu suất cho Airbender, kết quả đã gây sốc trong ngành. So với hai loại zkVM lớn hiện tại (RiscZero và SP1 Turbo), Airbender đã vượt trội đáng kể trong điều kiện tương tự:
H100 GPU trên tầng cơ sở tốc độ chứng minh: 21.8 MHz (so với SP1 Turbo là 3.45 MHz và RiscZero là 1.1 MHz)
Tốc độ chứng minh từ đầu đến cuối: Airbender nhanh gấp 2.5-4 lần (so với SP1 Turbo), nhanh gấp 8.5-11 lần (so với RiscZero)
ZKsync Khối證明時間：單顆 GPU đạt được thời gian cấp giây
Những bài kiểm tra này không chỉ giới hạn ở GPU cao cấp, Airbender cũng cho thấy hiệu suất cực cao trên NVIDIA L4 kinh tế, đại diện cho khả năng triển khai thực tế trên nhiều loại phần cứng, mở ra khả năng chứng minh dân dã.
Ethereum chặn trong 17 giây: một GPU duy nhất đạt được bằng chứng gần như thời gian thực
Khi Airbender hợp tác với ZKsync OS, thành công trong việc hoàn thành công việc chứng minh Khối trung bình của Ethereum trên một cái H100 đơn lẻ, tốc độ như sau:
Chỉ 17 giây (không bao gồm đệ quy)
Quy trình đầy đủ (bao gồm đệ quy) khoảng 35 giây
So với đối thủ SP1 Hypercube sử dụng từ 50 đến 160 GPU NVIDIA 4090 để hoàn thành cùng một nhiệm vụ trong 12 giây, Airbender chỉ cần một H100 để đạt được kết quả tương tự, đồng thời giảm chi phí phần cứng đáng kể và giảm ngưỡng vào rất nhiều.
Đáng chú ý, do sử dụng môi trường thực thi và mô hình lưu trữ khác nhau, nên kết quả so sánh cần được xem xét cẩn thận. Nhưng chính vì điều này, ZKsync nhấn mạnh rằng tích hợp toàn bộ kiến trúc (từ zkVM đến bộ chứng minh) mới là chìa khóa để đạt hiệu suất.
ZKsync toàn bộ chuyển sang Airbender, giảm chi phí xuống còn $0.0001 mỗi giao dịch
ZKsync thông báo rằng tất cả các chuỗi mới sẽ sử dụng Airbender làm hệ thống chứng thực mặc định, dần dần thay thế Boojum hiện có. Bản nâng cấp này không chỉ giúp tăng đáng kể tốc độ mà còn giảm chi phí chứng minh trung bình cho mỗi giao dịch xuống chỉ còn 0,0001 đô la, thấp hơn 10 lần so với Boojum.
Bao gồm các chuỗi như Abstract, Sophon, GRVT, Lens, Memento sẽ có thể chuyển đổi mượt mà sang Airbender và ngay lập tức hưởng lợi từ những lợi ích hiệu suất này.
Mã nguồn mở, ứng dụng thông dụng: không chỉ ZKsync có thể sử dụng
Airbender采用开放原始碼設計，基於RISC-V架構的zkVM不僅適用於ZKsync，還能支援任意應用的證明需求。它的設計讓開者可在一般消費級硬體上執行，為Phi tập trung AI、Khối鏈遊戲、身分驗證等新型應用鋪路。
Người dùng hiện đã có thể trải nghiệm Airbender trên mạng thử nghiệm ZKsync OS và bắt đầu phát triển. Mặc dù hiện tại vẫn là phiên bản beta, nhóm ZKsync đã bắt đầu tối ưu hóa trải nghiệm của người dùng và tiếp tục phát hành cập nhật.
Giải thích cụ thể về cấu trúc công nghệ và mô hình thực thi: Làm thế nào để đạt được chứng minh siêu nhanh?
Airbender sử dụng quy trình chứng minh 5 lớp, được thiết kế đặc biệt cho tính linh hoạt và khả năng xử lý cao:
Chứng nhận Nhân chứng: Tạo ra cam kết LDE và cam kết theo dõi
Lookup & Memory Argument：Sử dụng bảng tra cứu để xác minh hoạt động bộ nhớ
Đa thức Chỉ số STARK: Chuyển đổi ràng buộc thành đa thức
Xây dựng đa thức SÂU: Giảm kích thước chứng minh theo lô thông qua FRI
FRI IOPP：tạo ra chứng minh cuối cùng gần đúng nhất
Về mô hình thực thi, Airbender sử dụng bộ chỉ thị RISC-V 32I+M và thực thi thông qua chế độ fetch-decode-execute phân đoạn. Nó có thể được mở rộng theo chiều ngang thông qua chế độ stitching đa đoạn, hỗ trợ Chế độ Kernel cho logic cấp hệ điều hành ZKsync.
Điểm nổi bật của thiết kế: Tinh chỉnh từ hỗ trợ phần cứng đến chỉ thị tùy chỉnh
Chế độ Hybrid CPU/GPU: có thể sử dụng CPU thuần, GPU đơn hoặc nhiều GPU
RAM Đăng ký: Tất cả các thanh ghi thông qua quản lý bộ nhớ, đơn giản hóa thiết kế mạch điện
Tính toán trường số nguyên tố Mersenne31: Xử lý số học tối ưu cho hiệu suất STARK
Hỗ trợ tùy chỉnh Precompiles cho Blake2s, Blake3, phép tính số nguyên lớn
Bản cập nhật này cũng nhận được sự chuyển giao từ nhà sáng lập Ethereum Vitalik Buterin:
Bài viết này giới thiệu ZKsync Airbender: Blockchain RISC-V zkVM mã nguồn mở nhanh nhất thế giới, dễ dàng xác minh Khối Ethereum đầu tiên chỉ với một GPU, xuất hiện đầu tiên trên trang tin tức chuỗi khối ABMedia.