Tác giả: JacobZhao Nguồn: mirror
Mô hình tính toán đáng tin cậy (Verifiable Computing) “tính toán ngoài chuỗi + xác minh trong chuỗi” đã trở thành mô hình tính toán phổ quát cho hệ thống blockchain. Nó cho phép ứng dụng blockchain có được gần như tự do tính toán (computational freedom) vô hạn, trong khi vẫn duy trì sự phân cấp và an toàn tối thiểu trong lòng tin (trustlessness). Chứng minh không kiến thức (ZKP) là trụ cột cốt lõi của mô hình này, với các ứng dụng chủ yếu tập trung vào ba hướng cơ bản: mở rộng (Scalability), quyền riêng tư (Privacy) và khả năng tương tác cùng tính toàn vẹn dữ liệu (Interoperability & Data Integrity). Trong đó, mở rộng là kịch bản mà công nghệ ZK được áp dụng đầu tiên, thông qua việc chuyển giao việc thực hiện giao dịch ra ngoài chuỗi, sử dụng chứng minh ngắn gọn để xác minh kết quả trên chuỗi, đạt được TPS cao và chi phí thấp cho việc mở rộng đáng tin cậy.
Sự tiến hóa của tính toán đáng tin cậy ZK có thể được tóm tắt như sau: L2 zkRollup → zkVM → zkCoprocessor → L1 zkEVM. Các zkRollup L2 ban đầu đã chuyển việc thực thi lên tầng hai và nộp chứng minh tính hợp lệ (Validity Proof) lên tầng một, nhằm đạt được khả năng mở rộng cao với chi phí thấp mà không cần thay đổi nhiều. zkVM sau đó đã mở rộng thành một lớp tính toán có thể xác minh tổng quát, hỗ trợ xác minh chuỗi chéo, suy diễn AI và tính toán mã hóa (các dự án đại diện: Risc Zero, Succinct, Brevis Pico). zkCoprocessor phát triển song song với nó, như một mô-đun xác minh theo ngữ cảnh, cung cấp dịch vụ tính toán và chứng minh có thể cắm và chạy cho DeFi, RWA, quản lý rủi ro, v.v. (các dự án đại diện: Brevis, Axiom). Năm 2025, khái niệm zkEVM được mở rộng tới chứng minh thời gian thực L1 (Realtime Proving, RTP), xây dựng mạch có thể xác minh ở mức lệnh EVM, cho phép chứng minh không biết trực tiếp tích hợp vào quy trình thực hiện và xác minh trên mạng chính Ethereum, trở thành cơ chế thực thi có thể xác minh gốc. Mạch liên kết này phản ánh sự chuyển mình công nghệ của blockchain từ “có thể mở rộng” sang “có thể xác minh”, mở ra một giai đoạn mới của tính toán đáng tin cậy.
Một, con đường mở rộng zkEVM Ethereum: từ L2 Rollup đến L1 chứng minh thời gian thực
Đường mở rộng zkEVM của Ethereum đã trải qua hai giai đoạn:
- Giai đoạn một (2022–2024): L2 zkRollup sẽ thực hiện di chuyển sang lớp hai, trong khi lớp một nộp bằng chứng tính hợp lệ; giảm đáng kể chi phí và nâng cao khả năng xử lý, nhưng mang lại tính thanh khoản và phân mảnh trạng thái, L1 vẫn bị ràng buộc bởi việc thực hiện lại N-of-N.
- Giai đoạn hai (2025–): Chứng minh L1 theo thời gian thực (Realtime Proving, RTP) thay thế việc thực hiện lại bằng “1-of-N chứng minh + xác minh nhẹ toàn mạng”, nâng cao khả năng xử lý mà không hy sinh sự phi tập trung, vẫn đang trong quá trình phát triển.
Giai đoạn L2 zkRollup: Cân bằng giữa khả năng tương thích và hiệu suất mở rộng
Vào năm 2022, trong giai đoạn mà hệ sinh thái Layer2 phát triển mạnh mẽ, người sáng lập Ethereum Vitalik Buterin đã đưa ra bốn loại phân loại ZK-EVM (Loại 1–4), hệ thống đã tiết lộ một cách có hệ thống sự đánh đổi cấu trúc giữa khả năng tương thích (compatibility) và hiệu suất (performance). Khung này đã thiết lập tọa độ rõ ràng cho lộ trình công nghệ zkRollup tiếp theo:
- Loại 1 hoàn toàn tương đương: nhất quán với mã byte Ethereum, chi phí di chuyển thấp nhất, chứng minh chậm nhất. Taiko.
- Loại 2 hoàn toàn tương thích: Tối ưu hóa nền tảng rất ít, tương thích mạnh nhất. Scroll, Linea.
- Loại 2.5 tương thích bán phần: thay đổi nhỏ (gas/biên dịch trước, v.v.) đổi lấy hiệu suất. Polygon zkEVM, Kakarot.
- Loại 3 phần mềm tương thích: thay đổi lớn hơn, có thể chạy hầu hết các ứng dụng nhưng khó tái sử dụng hoàn toàn cơ sở hạ tầng L1. zkSync Era.
- Loại 4 cấp độ ngôn ngữ: từ bỏ tương thích bytecode, trực tiếp biên dịch từ ngôn ngữ cấp cao sang mạch điện, hiệu suất tối ưu nhưng cần xây dựng lại hệ sinh thái (đại diện: Starknet / Cairo).
Mô hình L2 zkRollup hiện đã trở nên trưởng thành: thông qua việc chuyển thực thi sang lớp hai, và gửi chứng minh tính hợp lệ (Validity Proof) lên lớp một, nó duy trì hệ sinh thái và công cụ của Ethereum với sự thay đổi tối thiểu, trở thành giải pháp mở rộng và giảm phí phổ biến. Đối tượng của chứng minh là khối L2 và chuyển trạng thái, trong khi đó việc thanh toán và an ninh vẫn được neo giữ ở L1. Kiến trúc này nâng cao đáng kể thông lượng và hiệu suất, đồng thời duy trì tính tương thích cao với các nhà phát triển, nhưng cũng mang lại sự phân mảnh thanh khoản và trạng thái, và L1 vẫn bị hạn chế bởi nút thắt tái thực hiện N-of-N.
L1 zkEVM: Chứng minh thời gian thực tái cấu trúc logic xác minh nhẹ của Ethereum
Vào tháng 7 năm 2025, Quỹ Ethereum đã công bố bài viết “Shipping an L1 zkEVM #1: Realtime Proving” chính thức đề xuất lộ trình L1 zkEVM. L1 zkEVM nâng cấp Ethereum từ việc thực thi N-of-N lên chứng minh 1-of-N + xác minh nhanh toàn mạng: một số prover tạo ra chứng minh ngắn cho toàn bộ trạng thái EVM, tất cả các verifier chỉ cần xác minh trong thời gian hằng số. Giải pháp này đạt được chứng minh thời gian thực (Realtime Proving) cấp L1 mà không hy sinh sự phi tập trung, nâng cao an toàn giới hạn Gas trên mạng chính và thông lượng, đồng thời giảm đáng kể ngưỡng phần cứng cho các nút. Kế hoạch triển khai là thay thế khách hàng zk cho khách hàng thực thi truyền thống, chạy song song trước, và khi hiệu suất, an toàn và cơ chế khuyến khích trưởng thành, sẽ dần dần trở thành trạng thái mới của tầng giao thức.
- N của N phương pháp cũ: Tất cả các validator thực hiện lại toàn bộ giao dịch để xác minh, an toàn nhưng có khả năng thông lượng hạn chế, phí đỉnh cao.
- 1 trong N mô hình mới: một số ít prover thực hiện toàn bộ khối và tạo ra chứng minh ngắn; toàn mạng chỉ thực hiện xác minh trong thời gian hằng số. Chi phí xác minh thấp hơn nhiều so với việc thực hiện lại, có thể an toàn nâng cao giới hạn gas L1 và giảm yêu cầu phần cứng.
L1 zkEVM lộ trình ba dòng chính
- Chứng minh thời gian thực (Realtime Proving): Hoàn thành chứng minh toàn bộ khối trong thời gian 12 giây, thông qua việc song song hóa và tăng tốc phần cứng để giảm độ trễ;
- Tích hợp khách hàng với giao thức: Giao diện xác minh chứng nhận tiêu chuẩn hóa, trước là tùy chọn, sau là mặc định;
- Khuyến khích và an ninh: Xây dựng thị trường Prover và mô hình phí, tăng cường khả năng chống kiểm duyệt và hoạt động mạng.
Bằng chứng thời gian thực L1 Ethereum (RTP) sử dụng zkVM để thực hiện lại toàn bộ giao dịch trên chuỗi ngoài và tạo ra bằng chứng mã hóa, cho phép người xác minh không cần tính toán lại, chỉ cần xác minh một bằng chứng nhỏ trong vòng 10 giây, từ đó thực hiện “thay thế thực thi bằng xác minh”, nâng cao đáng kể khả năng mở rộng và hiệu quả xác minh không tín nhiệm của Ethereum. Theo trang theo dõi zkEVM chính thức của Quỹ Ethereum, các đội ngũ chính tham gia vào lộ trình bằng chứng thời gian thực L1 zkEVM hiện nay bao gồm SP1 Turbo (Succinct Labs), Pico (Brevis), Risc Zero, ZisK, Airbender (zkSync), OpenVM(Axiom và Jolt(a16z).
Hai, vượt qua Ethereum: zkVM và zkCoprocessor tổng quát
Ngoài hệ sinh thái Ethereum, công nghệ chứng minh không biết (ZKP) cũng mở rộng đến lĩnh vực tính toán có thể xác minh (Verifiable Computing) rộng hơn, hình thành hai loại hệ thống công nghệ chủ yếu là zkVM và zkCoprocessor.
zkVM: Lớp tính toán có thể xác minh chung
Động cơ thực thi có thể xác minh cho bất kỳ chương trình nào, các kiến trúc tập lệnh phổ biến bao gồm RISC-V, MIPS và WASM. Các nhà phát triển có thể biên dịch logic kinh doanh thành zkVM, nơi prover thực hiện ngoài chuỗi và tạo ra chứng minh không biết (ZKP) có thể xác minh trên chuỗi, có thể được sử dụng cho chứng minh khối L1 của Ethereum, cũng như xác minh chéo chuỗi, suy luận AI, tính toán mã hóa và các thuật toán phức tạp. Ưu điểm của nó là tính phổ quát và phạm vi thích ứng rộng, nhưng mạch phức tạp, chi phí chứng minh cao, cần dựa vào nhiều GPU song song và tối ưu hóa kỹ thuật mạnh mẽ. Các dự án đại diện bao gồm Risc Zero, Succinct SP1, Brevis Pico / Prism.
zkCoprocessor: Mô-đun có thể xác minh theo kịch bản
Cung cấp dịch vụ tính toán và chứng minh “cắm và chạy” cho các tình huống kinh doanh cụ thể. Nền tảng đã tích hợp sẵn truy cập dữ liệu và logic mạch (như đọc dữ liệu trên chuỗi lịch sử, TVL, thanh toán lợi nhuận, xác thực danh tính, v.v.), các ứng dụng có thể nhận được kết quả tính toán và chứng minh tiêu thụ trên chuỗi thông qua SDK / API. Mô hình này dễ sử dụng, hiệu suất cao, chi phí thấp, nhưng tính linh hoạt hạn chế. Các dự án điển hình bao gồm Brevis zkCoprocessor, Axiom, v.v.
Nói chung, zkVM và zkCoprocessor đều tuân theo mô hình tính toán tin cậy “tính toán ngoài chuỗi + xác minh trên chuỗi”, thông qua chứng minh không biết để xác minh kết quả ngoài chuỗi trên chuỗi. Logic kinh tế của nó được xây dựng trên một giả định rằng chi phí thực hiện trực tiếp trên chuỗi cao hơn nhiều so với chi phí tổng hợp của việc tạo chứng minh ngoài chuỗi và xác minh trên chuỗi.
Sự khác biệt chính giữa hai bên về tính phổ quát và độ phức tạp kỹ thuật là:
- zkVM là cơ sở hạ tầng tính toán tổng quát, phù hợp cho các tình huống phức tạp, đa miền hoặc AI, có độ linh hoạt cao nhất;
- zkCoprocessor là dịch vụ xác thực mô-đun, cung cấp giao diện xác thực chi phí thấp, có thể gọi trực tiếp cho các tình huống sử dụng lại cao (DeFi, RWA, quản lý rủi ro, v.v.).
Trong con đường kinh doanh, sự khác biệt giữa zkVM và zkCoprocessor là:
- zkVM áp dụng mô hình Proving-as-a-Service, tính phí theo mỗi lần chứng minh (ZKP), chủ yếu hướng đến khách hàng hạ tầng như L2 Rollup, đặc điểm là quy mô hợp đồng lớn, chu kỳ dài, tỷ suất lợi nhuận ổn định;
- zkCoprocessor thì chủ yếu dựa vào Proof API-as-a-Service, tính phí theo nhiệm vụ thông qua việc gọi API hoặc tích hợp SDK, gần giống với mô hình SaaS, hướng tới các giao thức ứng dụng tầng như DeFi, tích hợp nhanh chóng và khả năng mở rộng mạnh mẽ.
Nói chung, zkVM là động cơ cơ sở cho tính toán có thể xác minh, zkCoprocessor là mô-đun xác minh ở tầng ứng dụng: cái trước xây dựng rào cản công nghệ, cái sau thúc đẩy hiện thực hóa thương mại, cùng nhau tạo thành mạng tính toán đáng tin cậy tổng quát.
Ba, Bản đồ sản phẩm và lộ trình công nghệ của Brevis
Bắt nguồn từ chứng minh thời gian thực (Realtime Proving) của Ethereum L1, công nghệ ZK đang dần tiến tới kỷ nguyên tính toán có thể xác minh với kiến trúc zkVM và zkCoprocessor làm trung tâm. Brevis Network là sự kết hợp giữa zkVM và zkCoprocessor, xây dựng một cơ sở hạ tầng tính toán có thể xác minh tổng quát với tính toán không kiến thức là cốt lõi, đồng thời kết hợp hiệu suất cao và tính lập trình —— Lớp Tính Toán Vô Hạn cho Mọi Thứ.
( 3.1 Pico zkVM: kiến trúc chứng minh mô-đun cho tính toán có thể xác minh tổng quát
Năm 2024, Vitalik đã đề xuất kiến trúc “Lớp thực thi chung + Lớp tăng tốc đồng xử lý” (glue & coprocessor) trong bài viết “Glue and Coprocessor Architectures”. Tính toán phức tạp có thể được phân tách thành logic kinh doanh chung và tính toán tập trung có cấu trúc - cái trước theo đuổi tính linh hoạt (như EVM, Python, RISC-V), cái sau theo đuổi hiệu quả (như GPU, ASIC, mô-đun băm). Kiến trúc này đang trở thành xu hướng chung trong blockchain, AI và tính toán mã hóa: EVM tăng tốc thông qua precompile, AI sử dụng GPU song song, chứng minh ZK kết hợp VM chung và mạch chuyên dụng. Chìa khóa trong tương lai là tối ưu hóa “lớp keo” cho an toàn và trải nghiệm phát triển, trong khi “lớp đồng xử lý” tập trung vào thực thi hiệu quả, đạt được sự cân bằng giữa hiệu suất, an toàn và tính mở.
![])https://img-cdn.gateio.im/webp-social/moments-c46288543a83af189338fd6a8ba5d1ef.webp###
Pico zkVM được phát triển bởi Brevis, chính là biểu hiện tiêu biểu của tư tưởng này. Qua kiến trúc “zkVM tổng quát + tăng tốc đồng xử lý”, kết hợp tính linh hoạt lập trình với khả năng tính toán hiệu suất cao của mạch chuyên dụng. Thiết kế mô-đun của nó hỗ trợ nhiều backend chứng minh khác nhau (KoalaBear, BabyBear, Mersenne31), và có thể tự do kết hợp các thành phần thực thi, đệ quy, nén để hình thành ProverChain.
Hệ thống mô-đun của Pico không chỉ cho phép tái cấu trúc các thành phần cốt lõi một cách tự do mà còn có thể tích hợp các backend chứng minh mới và bộ xử lý đồng ứng dụng (như dữ liệu trên chuỗi, zkML, xác minh chuỗi chéo), đạt được khả năng mở rộng tiến hóa liên tục. Các nhà phát triển có thể sử dụng trực tiếp bộ công cụ Rust để viết logic kinh doanh, không cần nền tảng kiến thức về zero-knowledge để tự động tạo ra các chứng minh mã hóa, giảm đáng kể rào cản phát triển.
So với kiến trúc RISC-V zkVM tương đối đơn thể của Succinct SP1 và mô hình thực thi RISC-V chung của RISC Zero R0VM, Pico đạt được sự tách rời và mở rộng giữa các giai đoạn thực thi, đệ quy và nén thông qua Modular zkVM + Hệ thống Đồng xử lý, hỗ trợ chuyển đổi nhiều backend và tích hợp đồng xử lý, tạo ra lợi thế khác biệt về hiệu suất và khả năng mở rộng.
( 3.2 Pico Prism: Đột phá hiệu suất của cụm GPU đa
Pico Prism là một bước đột phá quan trọng của Brevis trên kiến trúc GPU đa máy chủ, và đã thiết lập kỷ lục mới trong khuôn khổ “Chứng minh thời gian thực (Real-Time Proving, RTP)” của Quỹ Ethereum. Đạt được thời gian chứng minh trung bình 6.9 giây với tỷ lệ bao phủ RTP 96.8% trên cụm GPU 64×5090, hiệu suất đứng đầu trong số các zkVM cùng loại. Hệ thống này đã tối ưu hóa ở cấp độ kiến trúc, kỹ thuật, phần cứng và hệ thống, đánh dấu sự chuyển mình của zkVM từ nguyên mẫu nghiên cứu sang cơ sở hạ tầng cấp sản xuất.
- Thiết kế kiến trúc: zkVM truyền thống (như SP1, R0VM) chủ yếu dựa vào tối ưu hóa GPU đơn máy. Pico Prism lần đầu tiên hiện thực hóa chứng minh song song đa máy chủ và cụm GPU (Cluster-Level zkProving), thông qua đa luồng và lập lịch phân đoạn, mở rộng chứng minh zk thành hệ thống tính toán phân tán, nâng cao đáng kể độ song song và khả năng mở rộng.
- Thực hiện dự án: Xây dựng đường ống bất đồng bộ đa giai đoạn (Thực thi / Đệ quy / Nén) và cơ chế tái sử dụng dữ liệu đa lớp (bộ đệm proof chunk và tái sử dụng embedding), đồng thời hỗ trợ chuyển đổi giữa nhiều backend (KoalaBear, BabyBear, M31), cải thiện đáng kể hiệu suất thông lượng.
- Chiến lược phần cứng: Với cấu hình 64×RTX 5090 GPU (khoảng $128K), Pico Prism đạt được thời gian chứng minh trung bình từ 6.0–6.9 giây, tỷ lệ phủ RTP đạt 96.8%, tỷ lệ hiệu suất/chi phí tăng khoảng 3.4 lần, vượt trội hơn so với SP1 Hypercube (160×4090 GPU, 10.3 giây).
- Sự tiến hóa của hệ thống: Là zkVM đầu tiên đáp ứng các tiêu chí RTP của Quỹ Ethereum (>96% sub-10s, <) chi phí), Pico Prism đánh dấu sự chuyển mình của hệ thống chứng minh zk từ nguyên mẫu nghiên cứu sang cơ sở hạ tầng sản xuất cấp mainnet, cung cấp các giải pháp tính toán không kiến thức tiết kiệm hơn cho các tình huống như Rollup, DeFi, AI và xác minh chuỗi chéo.
3.3 ZK Data Coprocessor: Lớp xử lý đồng kiến thức không biết về dữ liệu blockchain thông minh
Thiết kế gốc của hợp đồng thông minh “thiếu trí nhớ” - không thể truy cập dữ liệu lịch sử, nhận diện hành vi lâu dài hoặc phân tích liên chuỗi. Brevis cung cấp bộ đồng xử lý không kiến thức hiệu suất cao (ZK Coprocessor), cung cấp khả năng truy cập dữ liệu lịch sử liên chuỗi và khả năng tính toán đáng tin cậy cho hợp đồng thông minh, xác minh và tính toán toàn bộ trạng thái lịch sử, giao dịch và sự kiện của blockchain, ứng dụng trong các tình huống như DeFi dựa trên dữ liệu, quản lý thanh khoản chủ động, khuyến khích người dùng và nhận diện danh tính liên chuỗi.
Quy trình làm việc của Brevis bao gồm ba bước:
- Truy cập dữ liệu: Hợp đồng thông minh đọc dữ liệu lịch sử một cách không đáng tin cậy qua API;
- Tính toán thực thi: Các nhà phát triển sử dụng SDK để định nghĩa logic kinh doanh, được Brevis tính toán ngoài chuỗi và tạo ra bằng chứng ZK;
Xác minh kết quả: Kết quả được trả về chuỗi, được hợp đồng xác minh và gọi các logic tiếp theo.
![]$100K https://img-cdn.gateio.im/webp-social/moments-34c4b4cdde3635acaed075831947e4ae.webp###
Brevis hỗ trợ đồng thời mô hình Pure-ZK và CoChain (OP): mô hình trước đạt được sự tối thiểu hóa tin cậy hoàn toàn, nhưng chi phí cao hơn; mô hình sau thông qua xác thực PoS và cơ chế thách thức ZK, cho phép thực hiện tính toán có thể xác minh với chi phí thấp hơn. Các xác thực viên đặt cọc trên Ethereum, nếu kết quả bị thách thức ZK và thành công sẽ bị phạt, từ đó đạt được sự cân bằng giữa an toàn và hiệu quả. Thông qua sự kết hợp của kiến trúc ZK + PoS + SDK, Brevis đạt được sự cân bằng giữa an toàn và hiệu quả, xây dựng một lớp tính toán dữ liệu đáng tin cậy có thể mở rộng. Hiện tại, Brevis đã phục vụ cho các giao thức như PancakeSwap, Euler, Usual, Linea, tất cả các hợp tác zkCoprocessor đều dựa trên **Pure-ZK mô hình, ** cung cấp dữ liệu đáng tin cậy cho DeFi, phân bổ thưởng và hệ thống danh tính trên chuỗi, khiến hợp đồng thông minh thực sự có “trí nhớ và trí thông minh”.
( 3.4 Incentra: Lớp phân phối động lực có thể xác minh dựa trên ZK
Incentra là nền tảng phân phối khuyến khích đáng tin cậy được điều khiển bởi Brevis zkCoprocessor, cung cấp cơ chế tính toán và phát thưởng an toàn, minh bạch, có thể xác minh cho các giao thức DeFi. Nó xác minh trực tiếp kết quả khuyến khích trên chuỗi thông qua chứng minh không tri thức, đạt được thực hiện khuyến khích không cần tin tưởng, chi phí thấp và xuyên chuỗi. Hệ thống hoàn thành việc tính toán và xác minh phần thưởng trong mạch ZK, đảm bảo bất kỳ người dùng nào cũng có thể xác minh kết quả một cách độc lập; đồng thời hỗ trợ hoạt động xuyên chuỗi và kiểm soát truy cập, đạt được phân phối khuyến khích tự động tuân thủ và an toàn.
Incentra chủ yếu hỗ trợ ba loại mô hình khuyến khích:
- Giữ Token: Tính toán phần thưởng nắm giữ lâu dài dựa trên số dư có trọng số theo thời gian (TWA) của ERC-20;
- Thanh khoản tập trung: Phân phối phần thưởng thanh khoản dựa trên tỷ lệ phí giao dịch AMM DEX, tương thích với các giao thức ALM như Gamma, Beefy;
- Lend & Borrow: Tính toán phần thưởng vay mượn dựa trên giá trị trung bình của số dư và nợ.
Hệ thống này đã được áp dụng cho các dự án như PancakeSwap, Euler, Usual, Linea, tạo ra một vòng khép kín đáng tin cậy trên toàn chuỗi từ tính toán đến phân phối, cung cấp cơ sở hạ tầng khuyến khích có thể xác minh cấp ZK cho các giao thức DeFi.
) Tổng quan về công nghệ sản phẩm Brevis 3.5
![]###https://img-cdn.gateio.im/webp-social/moments-52317d5796169cb68f9a65b545ce3b4c.webp###
Bốn, Chỉ tiêu kỹ thuật và đột phá hiệu suất của Brevis zkVM
Tiêu chuẩn chứng minh thời gian thực L1 zkEVM do Quỹ Ethereum (EF) đề xuất đã trở thành sự đồng thuận trong ngành và tiêu chuẩn đầu vào cho việc zkVM có thể vào lộ trình xác thực của mạng chính Ethereum hay không, các chỉ số đánh giá cốt lõi của nó bao gồm:
- Yêu cầu độ trễ: P99 ≤ 10 giây (phù hợp với chu kỳ tạo khối 12 giây của Ethereum);
- Ràng buộc phần cứng: CAPEX ≤ $100K, tiêu thụ điện ≤ 10kW (phù hợp với hộ gia đình/phòng máy nhỏ);
- Cấp độ an toàn: ≥128-bit (thời gian chuyển tiếp ≥100-bit);
- Kích thước chứng minh: ≤300 KiB；
Yêu cầu hệ thống: Không được phụ thuộc vào cài đặt tin cậy, mã nguồn phải hoàn toàn mã nguồn mở.
Vào tháng 10 năm 2025, Brevis đã phát hành báo cáo “Pico Prism — 99.6% Real-Time Proving for 45M Gas Ethereum Blocks on Consumer Hardware”, công bố rằng Pico Prism trở thành zkVM đầu tiên hoàn toàn đáp ứng tiêu chuẩn chứng minh khối thời gian thực (RTP) của Quỹ Ethereum (EF).
Với cấu hình 64×RTX 5090 GPU (khoảng $128K), Pico Prism đã đạt được hiệu suất với độ trễ trung bình 6.9 giây trong khối gas 45M, 96.8% <10 giây, 99.6% <12 giây, vượt trội hơn nhiều so với Succinct SP1 Hypercube (36M gas, thời gian trung bình 10.3 giây, 40.9% <10 giây). Dưới điều kiện giảm độ trễ 71% và giảm chi phí phần cứng một nửa, hiệu suất/chi phí tổng thể tăng khoảng 3.4×. Thành tựu này đã nhận được sự công nhận công khai từ Quỹ Ethereum, Vitalik Buterin và Justin Drake.
Năm, Mở rộng và triển khai ứng dụng của hệ sinh thái Brevis
Bộ đồng xử lý ZK của Brevis (zkCoprocessor) chịu trách nhiệm xử lý các phép tính phức tạp mà dApp không thể hoàn thành một cách hiệu quả (như hành vi lịch sử, dữ liệu chuỗi chéo, phân tích tổng hợp), và tạo ra các chứng minh không kiến thức (ZKP) có thể xác minh. Trên chuỗi chỉ cần xác minh chứng minh nhỏ này là có thể gọi kết quả một cách an toàn, giảm đáng kể Gas, độ trễ và chi phí tin cậy. So với các oracle truyền thống, Brevis cung cấp không chỉ là “kết quả”, mà còn là “đảm bảo toán học về tính chính xác của kết quả”, các trường hợp ứng dụng chính của nó có thể được phân loại như sau.
- DeFi thông minh (Intelligent DeFi): Dựa trên hành vi lịch sử và trạng thái thị trường, thực hiện khuyến khích thông minh và trải nghiệm khác biệt (PancakeSwap, Uniswap, MetaMask, v.v.)
- Tăng trưởng RWA và stablecoin (Tăng trưởng RWA & Stable Token): Tự động phân phối lợi nhuận stablecoin và RWA thông qua xác minh ZK (OpenEden, Usual Money, MetaMask USD)
- Giao dịch phi tập trung bảo mật (DEX với Dark Pools): áp dụng mô hình giao dịch bảo mật kết hợp khớp lệnh ngoại tuyến và xác minh trên chuỗi, sắp ra mắt.
- Tính tương tác giữa các chuỗi (Cross-chain Interoperability): Hỗ trợ tái đặt cọc giữa các chuỗi và tương tác Rollup–L1, xây dựng lớp bảo mật chia sẻ (Kernel, Celer, 0G)
- Khởi động lạnh chuỗi công khai (Blockchain Bootstrap): Hỗ trợ khởi động và tăng trưởng hệ sinh thái chuỗi công khai mới bằng cơ chế khuyến khích ZK (Linea, TAC)
- Chuỗi công cộng hiệu suất cao (100× Nhanh hơn L1s): Nâng cao hiệu suất của các chuỗi công cộng như Ethereum và BNB Chain thông qua công nghệ chứng minh thời gian thực (RTP)
AI có thể xác minh (Verifiable AI): Kết hợp bảo vệ quyền riêng tư và suy diễn có thể xác minh, cung cấp sức mạnh tính toán đáng tin cậy cho AgentFi và nền kinh tế dữ liệu (Kaito, Trusta)
Theo dữ liệu từ Brevis Explorer, tính đến tháng 10 năm 2025, mạng Brevis đã tạo ra hơn 125 triệu chứng minh ZK, bao phủ gần 95,000 địa chỉ và 96,000 yêu cầu ứng dụng, phục vụ rộng rãi cho các tình huống như phân phát thưởng, xác minh giao dịch và chứng minh đặt cược. Về mặt hệ sinh thái, nền tảng đã phân phát khoảng 223 triệu đô la Mỹ tiền thưởng, hỗ trợ TVL vượt quá 2.8 tỷ đô la Mỹ, và khối lượng giao dịch liên quan đã vượt mốc 1 tỷ đô la Mỹ.
Hiện tại, hoạt động kinh doanh sinh thái của Brevis chủ yếu tập trung vào hai hướng chính là phân phối khuyến khích DeFi và tối ưu hóa thanh khoản, tổng mức tiêu thụ sức mạnh cốt lõi được đóng góp bởi bốn dự án là Usual Money, PancakeSwap, Linea Ignition và Incentra, chiếm tổng cộng trên 85%. Trong đó
- Usual Money（46.6M proofs）：Thể hiện sự ổn định lâu dài của nó trong việc phân phối khuyến khích quy mô lớn；
- PancakeSwap (20.6M): thể hiện Brevis trong việc tính toán tỷ lệ phí và chiết khấu theo thời gian thực với hiệu suất cao;
- Linea Ignition (20.4M): Xác minh khả năng xử lý đồng thời cao của nó trong các hoạt động sinh thái L2;
- Incentra (15.2%): Đánh dấu sự tiến hóa của Brevis từ công cụ SDK sang nền tảng khuyến khích chuẩn hóa.
Trong lĩnh vực khuyến khích DeFi, Brevis dựa vào nền tảng Incentra để hỗ trợ nhiều giao thức thực hiện việc phân phối phần thưởng một cách minh bạch và liên tục:
- Quy mô khuyến khích hàng năm của Usual Money vượt quá $300M, cung cấp lợi nhuận liên tục cho người dùng stablecoin và LP.
- OpenEden và Bedrock dựa trên mô hình CPI để phân phối lợi nhuận từ trái phiếu Mỹ và Restaking;
- Các giao thức như Euler, Aave, BeraBorrow sử dụng xác thực ZK để tính toán vị thế vay mượn và phần thưởng.
Về tối ưu hóa thanh khoản, PancakeSwap, QuickSwap, THENA, Beefy và các nền tảng khác sử dụng Brevis với tỷ lệ phí động và plugin khuyến khích ALM để đạt được giảm giá giao dịch và tổng hợp lợi nhuận xuyên chuỗi; Jojo Exchange và Uniswap Foundation thì sử dụng cơ chế xác minh ZK để xây dựng hệ thống khuyến khích giao dịch an toàn hơn.
Trong lĩnh vực chuỗi chéo và lớp hạ tầng, Brevis đã mở rộng từ Ethereum sang BNB Chain, Linea, Kernel DAO, TAC và 0G, cung cấp khả năng tính toán đáng tin cậy và xác minh chuỗi chéo cho hệ sinh thái đa chuỗi. Trong khi đó, các dự án như Trusta AI, Kaito AI, MetaMask đang sử dụng ZK Data Coprocessor để xây dựng hệ thống điểm số bảo mật quyền riêng tư, điểm ảnh hưởng và hệ thống thưởng, thúc đẩy sự phát triển thông minh dữ liệu Web3. Ở lớp dưới cùng của hệ thống, Brevis dựa vào mạng EigenLayer AVS để cung cấp bảo đảm an toàn tái thế chấp, đồng thời kết hợp công nghệ NEBRA Aggregated Proof (UPA) để nén nhiều chứng cứ ZK thành một lần nộp, giảm đáng kể chi phí và độ trễ xác minh trên chuỗi.
Tổng thể, Brevis đã bao phủ toàn bộ chu kỳ ứng dụng từ khuyến khích dài hạn, thưởng hoạt động, xác thực giao dịch đến dịch vụ nền tảng. Nhiệm vụ xác thực tần suất cao và mẫu mạch có thể tái sử dụng đã cung cấp áp lực hiệu suất thực và phản hồi tối ưu cho Pico/Prism, hứa hẹn sẽ hỗ trợ lại hệ thống chứng minh thời gian thực L1 zkVM ở cấp độ kỹ thuật và hệ sinh thái, tạo ra một vòng quay hai chiều giữa công nghệ và ứng dụng.
Sáu, Nền tảng đội ngũ và tài trợ dự án
Mo Dong｜Đồng sáng lập (Co-founder, Brevis Network)
Dr Mo Dong là đồng sáng lập của Brevis Network, có bằng tiến sĩ ngành khoa học máy tính từ Đại học Illinois tại Urbana-Champaign (UIUC). Các công bố nghiên cứu của ông đã được xuất bản tại các hội nghị học thuật hàng đầu quốc tế, được các công ty công nghệ như Google áp dụng và nhận được hàng nghìn trích dẫn học thuật. Ông là chuyên gia trong lĩnh vực lý thuyết trò chơi thuật toán và thiết kế cơ chế giao thức, tập trung vào việc thúc đẩy sự kết hợp giữa tính toán không biết (ZK) và cơ chế khuyến khích phi tập trung, cam kết xây dựng một Verifiable Compute Economy đáng tin cậy. Là một đối tác đầu tư mạo hiểm tại IOSG Ventures, ông cũng đã chú ý đến việc đầu tư sớm vào cơ sở hạ tầng Web3.
Đội ngũ Brevis được thành lập bởi các tiến sĩ về mật mã và khoa học máy tính từ UIUC, MIT, UC Berkeley, với các thành viên cốt lõi có nhiều năm kinh nghiệm nghiên cứu trong lĩnh vực hệ thống chứng minh không tri thức (ZKP) và hệ thống phân tán, và đã công bố nhiều bài báo được đánh giá bởi đồng nghiệp. Brevis đã nhận được sự công nhận về mặt kỹ thuật từ Quỹ Ethereum (Ethereum Foundation), và các mô-đun cốt lõi của nó được coi là cơ sở hạ tầng mở rộng trên chuỗi quan trọng.
Brevis đã hoàn thành vòng gọi vốn hạt giống 7,5 triệu đô la Mỹ vào tháng 11 năm 2024, do Polychain Capital và Binance Labs đồng dẫn đầu, với sự tham gia của các bên đầu tư như IOSG Ventures, Nomad Capital, HashKey, Bankless Ventures và các nhà đầu tư thiên thần chiến lược đến từ Kyber, Babylon, Uniswap, Arbitrum, và AltLayer.
Bảy, Phân tích đối thủ cạnh tranh trên thị trường ZKVM và ZK Coprocessor
Hiện tại, ETHProofs.org được Quỹ Ethereum hỗ trợ đã trở thành nền tảng theo dõi cốt lõi cho lộ trình chứng minh thời gian thực (Realtime Proving, RTP) L1 zkEVM, nhằm công khai trình diễn hiệu suất, độ an toàn và tiến độ tương thích với mạng chính của từng zkVM.
Tổng quan lại, cạnh tranh trên đường đua RTP đang tập trung vào bốn chiều thức cốt lõi:
- Trưởng thành: SP1 đã triển khai sản xuất trưởng thành nhất; Pico có hiệu suất hàng đầu và gần đạt tiêu chuẩn mạng chính; RISC Zero ổn định nhưng dữ liệu RTP chưa được công bố.
- Hiệu suất: Kích thước chứng minh Pico khoảng 990 kB, giảm khoảng 33% so với SP1 (1,48 MB), chi phí thấp hơn.
- An toàn và kiểm toán: RISC Zero và SP1 đều đã vượt qua kiểm toán an toàn độc lập; Pico đang trong quá trình kiểm toán;
- Phát triển hệ sinh thái: Các zkVM chính thống đều sử dụng tập lệnh RISC-V, SP1 dựa vào Succinct Rollup SDK để hình thành hệ sinh thái tích hợp rộng rãi; Pico hỗ trợ Rust tự động tạo ra chứng minh, độ hoàn thiện của SDK nhanh chóng được nâng cao.
Từ dữ liệu mới nhất, hiện tại, đường đua RTP đã hình thành “cục diện hai mạnh.”
- Đội đầu tiên Brevis Pico (bao gồm Prism) và Succinct SP1 Hypercube đều hướng tới tiêu chuẩn P99 ≤ 10s do EF đặt ra. Cái trước đạt được bước đột phá về hiệu suất và chi phí nhờ kiến trúc đa GPU phân tán; cái sau duy trì sự chín muồi trong kỹ thuật và hệ sinh thái vững chắc với hệ thống tập trung. Pico đại diện cho sự đổi mới về hiệu suất và kiến trúc, còn SP1 đại diện cho tính ứng dụng và sự dẫn đầu trong hệ sinh thái.
- Đội hình thứ hai RISC Zero, ZisK, ZKM tiếp tục khám phá về tính tương thích với hệ sinh thái và tính nhẹ, nhưng vẫn chưa công bố đầy đủ chỉ số RTP (độ trễ, tiêu thụ năng lượng, CAPEX, vị trí an toàn, kích thước chứng minh, khả năng tái tạo). Scroll (Ceno) và Matter Labs (Airbender) thử nghiệm mở rộng công nghệ Rollup đến lớp xác thực L1, thể hiện xu hướng tiến hóa từ mở rộng L2 sang tính toán có thể xác thực L1.
Năm 2025, lĩnh vực zkVM đã hình thành một cấu trúc công nghệ với sự thống nhất của RISC-V, tiến hóa mô-đun, tiêu chuẩn hóa đệ quy và tăng tốc phần cứng song song. Lớp tính toán có thể xác minh (Verifiable Compute Layer) của zkVM có thể được chia thành ba loại:
- Hướng đến hiệu suất: Brevis Pico, SP1, Jolt, ZisK tập trung vào độ trễ thấp và chứng minh thời gian thực, nâng cao khả năng tính toán thông qua STARK đệ quy và tăng tốc GPU.
- Tính mô-đun và khả năng mở rộng: OpenVM, Pico, SP1 nhấn mạnh tính mô-đun có thể cắm và hỗ trợ kết nối bộ xử lý đồng.
- Phát triển sinh thái và tổng quát: RISC Zero, SP1, ZisK tập trung vào SDK và tương thích ngôn ngữ, thúc đẩy tính phổ quát.
So sánh các dự án đối thủ zkVM (tính đến tháng 10 năm 2025)
Hiện tại, lĩnh vực zk-Coprocessor đã hình thành một cấu trúc với các đại diện là Brevis, Axiom, Herodotus, Lagrange. Trong đó, Brevis dẫn đầu với kiến trúc tích hợp “ZK Data Coprocessor + General zkVM”, sở hữu khả năng đọc dữ liệu lịch sử, tính toán lập trình và khả năng L1 RTP; Axiom tập trung vào truy vấn có thể xác minh và callback mạch; Herodotus chuyên về truy cập trạng thái lịch sử; Lagrange tối ưu hiệu suất tính toán cross-chain với kiến trúc kết hợp ZK+Optimistic. Tổng thể, zk-Coprocessor đang trở thành giao diện tính toán đáng tin cậy kết nối các ứng dụng như DeFi, RWA, AI, danh tính theo cách “lớp dịch vụ có thể xác minh”.
Tám, Tóm tắt: Logic kinh doanh, thực hiện kỹ thuật và rủi ro tiềm ẩn
Logic kinh doanh: Hiệu suất thúc đẩy và vòng quay đôi Brevis xây dựng lớp tính toán đáng tin cậy đa chuỗi bằng “zkVM chung (Pico/Prism)” và “bộ xử lý đồng dữ liệu (zkCoprocessor)”: cái trước giải quyết vấn đề có thể xác minh tính toán tùy ý, cái sau thực hiện việc triển khai kinh doanh dữ liệu lịch sử và xuyên chuỗi. Logic tăng trưởng của nó hình thành chu trình tích cực “hiệu suất - hệ sinh thái - chi phí”: Hiệu suất RTP của Pico Prism thu hút sự tích hợp của các giao thức hàng đầu, mang lại sự tăng trưởng quy mô chứng minh và giảm chi phí mỗi lần, hình thành vòng quay đôi được củng cố liên tục. Lợi thế cạnh tranh chủ yếu nằm ở ba điểm:
- Hiệu suất có thể tái tạo - Đã được đưa vào hệ thống ETHProofs RTP của Quỹ Ethereum;
- Rào cản kiến trúc - Thiết kế mô-đun và thực hiện song song đa GPU để đạt được khả năng mở rộng cao;
- Xác thực thương mại - Đã được triển khai quy mô trong phân phối động lực, tỷ lệ phí động và xác thực chuỗi chéo.
Thực hiện dự án: Từ “thực thi nặng” đến “thay thế bằng kiểm tra”
Brevis thông qua Pico zkVM và khung song song Prism, trong khối 45M gas đạt trung bình 6.9 giây, P99 < 10 giây (64×5090 GPU, <(K CAPEX), hiệu suất và chi phí đều đứng đầu. Mô-đun zkCoprocessor hỗ trợ đọc dữ liệu lịch sử, tạo mạch và xác minh chuỗi ngược, và có thể linh hoạt chuyển đổi giữa chế độ Pure-ZK và Hybrid, hiệu suất tổng thể đã cơ bản đồng bộ với tiêu chuẩn cứng RTP của Ethereum.
Rủi ro tiềm ẩn và những điểm cần chú ý
- Ngưỡng kỹ thuật và tuân thủ: Brevis vẫn cần hoàn thành công khai và xác minh của bên thứ ba về các chỉ tiêu cứng như tiêu thụ năng lượng, vị trí an toàn, kích thước chứng minh và thiết lập tin cậy. Tối ưu hóa hiệu suất đuôi dài vẫn là chìa khóa, việc điều chỉnh EIP có thể thay đổi nút thắt hiệu suất.
- Rủi ro cạnh tranh và thay thế: Succinct (SP1/Hypercube) vẫn dẫn đầu trong việc tích hợp chuỗi công cụ và hệ sinh thái, sức cạnh tranh của các đội ngũ như Risc Zero, Axiom, OpenVM, Scroll, zkSync vẫn không thể xem nhẹ.
- Tập trung doanh thu và cấu trúc kinh doanh: Hiện tại, khối lượng chứng minh tập trung cao độ (bốn ứng dụng lớn chiếm khoảng 80%), cần mở rộng giảm sự phụ thuộc thông qua nhiều ngành, nhiều chuỗi công khai và nhiều trường hợp sử dụng. Chi phí GPU có thể ảnh hưởng đến lợi nhuận gộp trên đơn vị.
Xét tổng thể, Brevis đã xây dựng được một thành trì ban đầu ở cả hai đầu “tính khả thi của hiệu suất” và “tính khả thi của hoạt động”: Pico/Prism đã ổn định ở nhóm đầu tiên trong lĩnh vực L1 RTP, trong khi zkCoprocessor mở ra các kịch bản thương mại có thể tái sử dụng và tần suất cao. Trong tương lai, nên đặt mục tiêu đạt được các chỉ tiêu cứng đầy đủ của quỹ Ethereum RTP làm mục tiêu giai đoạn, tiếp tục củng cố chuẩn hóa sản phẩm bộ đồng xử lý và mở rộng hệ sinh thái, đồng thời thúc đẩy tái hiện của bên thứ ba, kiểm toán an toàn và minh bạch chi phí. Bằng cách đạt được sự cân bằng cấu trúc giữa cơ sở hạ tầng và doanh thu SaaS, hình thành vòng lặp tăng trưởng thương mại bền vững.
