[Bài viết dài bằng tiếng Anh] Báo cáo nghiên cứu của Brevis: Lớp tính toán có thể xác minh vô hạn của zkVM và bộ đồng xử lý dữ liệu ZK

Chainfeeds Dẫn nhập:

Brevis đã xây dựng một lớp tính toán có thể xác minh đa chuỗi bằng cách tích hợp zkVM đa năng (Pico/Prism) với bộ đồng xử lý dữ liệu (zkCoprocessor).

Nguồn bài viết:

Jacob Zhao

Quan điểm:

Jacob Zhao: "Tính toán có thể xác minh" (Verifiable Computing) đã trở thành mô hình tính toán phổ biến của blockchain, với ý tưởng cốt lõi là "tính toán off-chain + xác minh on-chain". Mô hình này cho phép blockchain giữ được tính phi tập trung và bảo mật tối thiểu hóa niềm tin, đồng thời đạt được tự do tính toán gần như vô hạn. Zero-Knowledge Proof (ZKP) là trụ cột của hệ thống này, với các hướng ứng dụng chính bao gồm khả năng mở rộng, bảo vệ quyền riêng tư và khả năng tương tác/toàn vẹn dữ liệu. Trong đó, khả năng mở rộng là hướng ứng dụng đầu tiên được triển khai, bằng cách chuyển tính toán sang off-chain và xác minh proof ngắn gọn trên on-chain, từ đó mở rộng niềm tin với thông lượng cao và chi phí thấp. Lộ trình phát triển của công nghệ ZK có thể tóm tắt như sau: L2 zkRollup → zkVM → zkCoprocessor → L1 zkEVM. L2 zkRollup lần đầu tiên thực hiện tính toán off-chain và xác minh on-chain, nâng cao hiệu suất đáng kể; zkVM tiếp tục mở rộng thành lớp tính toán có thể xác minh đa năng, hỗ trợ xác minh cross-chain, suy luận AI và các tác vụ mật mã; zkCoprocessor biến mô hình này thành các module hóa, trở thành dịch vụ proof plug-and-play cho DeFi, RWA, quản lý rủi ro; L1 zkEVM cuối cùng tích hợp xác minh zero-knowledge vào lớp thực thi của Ethereum, hiện thực hóa chứng minh thời gian thực (Realtime Proving, RTP). Sự tiến hóa này đại diện cho sự chuyển đổi của blockchain từ "khả năng mở rộng" sang "khả năng xác minh", tiến vào kỷ nguyên tính toán không cần niềm tin. Lộ trình zkEVM của Ethereum trải qua hai giai đoạn: Giai đoạn đầu tiên (2022–2024), L2 Rollup di chuyển lớp thực thi nhưng gây ra phân mảnh thanh khoản và trạng thái; Giai đoạn thứ hai (2025–), L1 RTP thay thế xác minh lại N-of-N bằng chứng minh 1-of-N, vừa tăng thông lượng vừa giữ được tính phi tập trung. Ngoài Ethereum, tính toán zero-knowledge đang hướng tới lĩnh vực tính toán có thể xác minh rộng lớn hơn, với hệ thống cốt lõi bao gồm zkVM và zkCoprocessor. zkVM (Zero-Knowledge Virtual Machine) là động cơ thực thi có thể xác minh đa năng, hỗ trợ chạy bất kỳ chương trình nào trên tập lệnh RISC-V, MIPS hoặc WASM, kết quả proof có thể xác minh on-chain, dùng cho xác minh block, suy luận AI và các tác vụ cross-chain. Ưu điểm của nó là tính đa năng và linh hoạt, nhưng chi phí tạo proof cao và tối ưu hóa song song phức tạp. Các dự án tiêu biểu bao gồm RiscZero, SP1 của SuccinctLabs và Pico zkVM của Brevis. So với zkVM, zkCoprocessor giống như "module có thể xác minh cho các kịch bản cụ thể", cung cấp giao diện tính toán và proof tiêu chuẩn hóa cho DeFi, RWA, v.v., ứng dụng chỉ cần gọi SDK hoặc API để nhận kết quả và proof, tích hợp nhanh, chi phí thấp nhưng tính đa năng hạn chế. Cả hai đều chia sẻ logic "tính toán off-chain + xác minh on-chain": chi phí tính toán on-chain cao hơn nhiều so với tổng chi phí tạo proof off-chain và xác minh on-chain. Về kinh doanh, zkVM thuộc mô hình "Proving-as-a-Service", cung cấp động cơ tính toán cho hạ tầng; zkCoprocessor là "Proof-API-as-a-Service", phục vụ tầng ứng dụng với cấu trúc SaaS tính phí theo tác vụ. Loại đầu xây dựng hào lũy công nghệ, loại sau thúc đẩy thương mại hóa. Chúng cùng nhau tạo thành hai cực của mạng lưới tính toán không cần niềm tin: zkVM xây dựng nền tảng tính toán, zkCoprocessor thúc đẩy hệ sinh thái phát triển. Brevis Network kết hợp kiến trúc zkVM và zkCoprocessor, xây dựng hạ tầng tính toán có thể xác minh đa năng hiệu suất cao, được gọi là "lớp tính toán vô hạn". Pico zkVM của họ sử dụng kiến trúc module hóa, tách rời lớp thực thi đa năng và lớp đồng xử lý tăng tốc phần cứng, hiện thực hóa hệ thống hai tầng "General + Specialized", hỗ trợ nhiều backend proof và module nén đệ quy, lập trình viên có thể viết logic nghiệp vụ bằng Rust để tự động tạo proof, giảm đáng kể rào cản. Pico Prism tiếp tục đột phá hiệu suất cụm GPU đa máy, đạt trung bình 6,9 giây tạo proof và tỷ lệ RTP 96,8% trên môi trường 64×RTX5090, hiệu suất/chi phí vượt trội hơn các sản phẩm cùng loại 3,4 lần. zk Data Coprocessor của Brevis giúp smart contract có "trí nhớ", có thể truy cập dữ liệu lịch sử và thực hiện xác minh mà không cần niềm tin, ứng dụng cho phần thưởng thanh khoản, nhận diện cross-chain và DeFi dựa trên dữ liệu. Lớp khuyến khích Incentra của họ thực hiện phân phối minh bạch on-chain thông qua ZK proof, đã phục vụ các giao thức như PancakeSwap, Euler, UsualMoney, Linea. Theo Brevis Explorer, đến tháng 10 năm 2025, mạng lưới đã tạo ra 125 triệu ZK proof, hỗ trợ TVL hơn 2.8 tỷ USD, xác minh khối lượng giao dịch hơn 1 tỷ USD. Brevis dựa vào lớp bảo mật của Ethereum và EigenLayer để mở rộng sang BNB, Linea, 0G và các hệ sinh thái khác, cung cấp nền tảng cho khuyến khích on-chain, tối ưu hóa thanh khoản và xác minh cross-chain, xây dựng mạng lưới tính toán có thể xác minh với vòng lặp phản hồi kỹ thuật và ứng dụng.