Báo cáo nghiên cứu của Brevis: ZKVM và Bộ đồng xử lý dữ liệu Lớp điện toán tin cậy không giới hạn

Tiêu đề gốc: "Báo cáo nghiên cứu Brevis: ZKVM và bộ đồng xử lý dữ liệu: Một lớp điện toán tin cậy vô hạn"

Tác giả gốc: 0xjacobzhao

Mô hình "tính toán ngoài chuỗi + xác minh trên chuỗi" của điện toán tin cậy đã trở thành một mô hình điện toán phổ biến cho các hệ thống blockchain. Nó cho phép các ứng dụng blockchain đạt được sự tự do tính toán gần như không giới hạn trong khi vẫn duy trì tính bảo mật của tính phi tập trung và tính không cần tin cậy. Bằng chứng 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 lĩnh vực cơ bản: khả năng mở rộng, quyền riêng tư, khả năng tương tác và tính toàn vẹn dữ liệu. Mở rộng quy mô là kịch bản ứng dụng sớm nhất cho công nghệ ZK. Bằng cách chuyển việc thực hiện giao dịch ra khỏi chuỗi và xác minh kết quả trên chuỗi bằng các bằng chứng ngắn gọn, nó đạt được thông lượng giao dịch cao và khả năng mở rộng đáng tin cậy với chi phí thấp. Quá trình phát triển của điện toán tin cậy ZK có thể được tóm tắt như sau: L2 zkRollup → zkVM → zkCoprocessor → L1 zkEVM. Các triển khai ban đầu của L2 zkRollup đã di chuyển thực thi sang Lớp 2 và gửi bằng chứng xác thực trên Lớp 1, đạt được thông lượng cao và khả năng mở rộng chi phí thấp với những thay đổi tối thiểu. Sau đó, zkVM được mở rộng thành lớp tính toán có thể xác minh mục đích chung, hỗ trợ xác minh chuỗi chéo, suy luận AI và điện toán được mã hóa (các dự án tiêu biểu: Risc Zero, Succinct, Brevis Pico). zkCoprocessor, được phát triển song song, hoạt động như một mô-đun xác minh dựa trên kịch bản, cung cấp các dịch vụ tính toán và bằng chứng cắm và chạy cho DeFi, Ứng dụng web đáng tin cậy (RWA), quản lý rủi ro và các ứng dụng khác (các dự án tiêu biểu: Brevis, Axiom). Đến năm 2025, khái niệm zkEVM sẽ được mở rộng sang Chứng minh thời gian thực L1 (RTP), xây dựng các mạch có thể xác minh ở cấp độ lệnh EVM. Điều này sẽ cho phép các bằng chứng không kiến thức được tích hợp trực tiếp vào quy trình thực thi và xác minh của mạng chính Ethereum, trở thành một cơ chế thực thi có thể xác minh được. Sự phát triển này phản ánh bước nhảy vọt về công nghệ từ "khả năng mở rộng" sang "khả năng xác minh" trong blockchain, mở ra một kỷ nguyên mới của điện toán đáng tin cậy.

I. Lộ trình mở rộng zkEVM của Ethereum: Từ L2 Rollup đến L1 Real-Time Proofs

Lộ trình mở rộng zkEVM của Ethereum bao gồm hai giai đoạn:

· Giai đoạn 1 (2022–2024): L2 zkRollup chuyển việc thực thi sang Lớp 2, nơi các bằng chứng xác thực được gửi đi. Điều này giúp giảm đáng kể chi phí và cải thiện thông lượng, nhưng lại gây ra tình trạng phân mảnh thanh khoản và trạng thái, và L1 vẫn phải thực thi lại N trong N.

· Giai đoạn 2 (2025–): Chứng minh thời gian thực L1 (RTP) thay thế việc thực thi lại bằng "1 trong N bằng chứng + xác minh nhẹ trên toàn bộ mạng", cải thiện thông lượng mà không ảnh hưởng đến tính phi tập trung. Điều này vẫn đang được phát triển và hoàn thiện. Giai đoạn L2 zkRollup: Cân bằng khả năng tương thích và khả năng mở rộng Vào năm 2022, khi hệ sinh thái Lớp 2 phát triển mạnh mẽ, nhà sáng lập Ethereum Vitalik Buterin đã đề xuất phân loại ZK-EVM thành bốn loại (Loại 1–4), vạch ra một cách có hệ thống những đánh đổi về mặt cấu trúc giữa khả năng tương thích và hiệu suất. Khung này đã thiết lập một tọa độ rõ ràng cho lộ trình công nghệ zkRollup tiếp theo: · Loại 1: Tương đương hoàn toàn: Giống hệt mã bytecode Ethereum, với chi phí di chuyển thấp nhất và bằng chứng chậm nhất. Taiko. · Loại 2: Tương thích hoàn toàn: Tối thiểu hóa các tối ưu hóa cơ bản, mang lại khả năng tương thích cao nhất. Scroll, Linea.

· Loại 2.5 Tương thích gần: Những thay đổi nhỏ (gas/tiền biên dịch, v.v.) để đổi lấy hiệu suất. Polygon zkEVM, Kakarot.

· Khả năng tương thích một phần loại 3: Những thay đổi quan trọng hơn, có khả năng chạy hầu hết các ứng dụng nhưng khả năng tái sử dụng toàn bộ cơ sở hạ tầng L1 bị hạn chế. Thời đại zkSync.

· Mức độ ngôn ngữ loại 4: Từ bỏ khả năng tương thích mã byte, biên dịch trực tiếp từ ngôn ngữ cấp cao sang mạch, mang lại hiệu suất tối ưu nhưng yêu cầu tái cấu trúc hệ sinh thái (đại diện: Starknet/Cairo).Mô hình zkRollup L2 hiện tại đã hoàn thiện: bằng cách di chuyển việc thực thi sang Lớp 2 và gửi bằng chứng xác thực trên Lớp 1, nó tận dụng hệ sinh thái và chuỗi công cụ Ethereum với những sửa đổi tối thiểu, trở thành một giải pháp mở rộng quy mô và giảm phí phổ biến. Các bằng chứng của nó dựa trên các khối L2 và chuyển đổi trạng thái, trong khi việc thanh toán và bảo mật vẫn được neo giữ trên Lớp 1. Kiến trúc này cải thiện đáng kể thông lượng và hiệu suất, đồng thời duy trì khả năng tương thích cao với nhà phát triển, nhưng nó cũng tạo ra tính thanh khoản và phân mảnh trạng thái, và L1 vẫn bị hạn chế bởi nút thắt thực thi N-of-N. Vào tháng 7 năm 2025, Quỹ Ethereum đã xuất bản bài viết "Vận chuyển zkEVM L1 #1: Chứng minh thời gian thực", chính thức đề xuất phương pháp zkEVM L1. ZkEVM L1 nâng cấp Ethereum từ việc thực thi lại N-of-N lên bằng chứng 1-of-N với khả năng xác minh nhanh chóng trên toàn mạng: một số lượng nhỏ các trình chứng minh tạo ra các bằng chứng ngắn cho toàn bộ quá trình chuyển đổi trạng thái EVM, trong khi tất cả các trình xác thực đều thực hiện xác minh theo thời gian thực. Giải pháp này đạt được khả năng chứng minh thời gian thực L1 mà không ảnh hưởng đến tính phi tập trung, cải thiện an toàn giới hạn gas và thông lượng của mạng chính trong khi giảm đáng kể các yêu cầu về phần cứng của nút cấp đầu vào. Kế hoạch triển khai của nó là thay thế các máy khách thực thi truyền thống bằng máy khách zk, ban đầu chạy chúng song song. Khi hiệu suất, bảo mật và cơ chế khuyến khích hoàn thiện, nó sẽ dần trở thành chuẩn mực mới ở cấp độ giao thức.

· N trong số N Mô hình cũ: Tất cả các trình xác thực thực hiện lặp lại toàn bộ khối giao dịch để xác minh. Điều này an toàn nhưng dẫn đến thông lượng hạn chế và phí đỉnh cao.

· 1 trong số N Mô hình mới: Một số ít trình chứng minh thực hiện toàn bộ khối và tạo ra các bằng chứng ngắn; toàn bộ mạng chỉ thực hiện xác minh theo thời gian không đổi. Chi phí xác minh thấp hơn nhiều so với thực hiện lại, có thể tăng giới hạn gas L1 một cách an toàn và giảm yêu cầu về phần cứng.Lộ trình L1 zkEVM có ba trụ cột chính: 1. Chứng minh thời gian thực: Hoàn thành chứng minh khối đầy đủ trong các khe thời gian 12 giây, giảm độ trễ thông qua song song hóa và tăng tốc phần cứng; 2. Tích hợp máy khách và giao thức: Chuẩn hóa các giao diện xác minh chứng minh, ban đầu là tùy chọn và sau đó là mặc định; 3. Khuyến khích và bảo mật: Thiết lập thị trường chứng minh và mô hình phí để tăng cường khả năng chống kiểm duyệt và duy trì hoạt động của mạng. Chứng minh thời gian thực L1 (RTP) của Ethereum sử dụng zkVM để thực hiện lại toàn bộ giao dịch khối ngoài chuỗi và tạo ra chứng minh mật mã. Điều này cho phép các trình xác thực xác minh một chứng minh nhỏ trong 10 giây mà không cần tính toán lại, đạt được "xác minh thay vì thực thi" và cải thiện đáng kể khả năng mở rộng và hiệu quả xác minh không cần tin cậy của Ethereum. Theo trang theo dõi zkEVM chính thức của Ethereum Foundation, các nhóm chính hiện đang làm việc trên lộ trình chứng minh thời gian thực zkEVM L1 bao gồm SP1 Turbo (Succinct Labs), Pico (Brevis), Risc Zero, ZisK, Airbender (zkSync), OpenVM (Axiom) và Jolt (a16z).

II. Vượt ra ngoài Ethereum: zkVM và zkCoprocessor mục đích chung

Vượt ra ngoài hệ sinh thái Ethereum, công nghệ chứng minh không kiến thức (ZKP) cũng đã mở rộng sang lĩnh vực điện toán xác minh mục đích chung rộng hơn, hình thành nên hai hệ thống công nghệ cốt lõi tập trung vào zkVM và zkCoprocessor. zkVM: Lớp tính toán có thể xác minh. Công cụ thực thi có thể xác minh này được thiết kế cho các chương trình tùy ý, nhắm mục tiêu đến 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 nghiệp vụ của họ vào zkVM, sau đó được thực thi ngoài chuỗi bởi một trình chứng minh (prover) và tạo ra các bằng chứng không kiến thức (ZKP) có thể xác minh trên chuỗi. Điều này có thể được sử dụng để xác minh khối trên Lớp 1 (L1) của Ethereum, cũng như để xác minh xuyên chuỗi, suy luận AI, tính toán mật mã và các thuật toán phức tạp. Mặc dù ưu điểm của nó nằm ở tính linh hoạt và khả năng thích ứng rộng, nhưng nó cũng đi kèm với mạch phức tạp và chi phí chứng minh cao, đòi hỏi tính song song đa GPU và tối ưu hóa kỹ thuật mạnh mẽ. Các dự án tiêu biểu bao gồm Risc Zero, Succinct SP1 và Brevis Pico/Prism.zkCoprocessor: Mô-đun Xác minh Theo Kịch bản Cụ thể cung cấp các 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 này cấu hình sẵn quyền truy cập dữ liệu và logic mạch (chẳng hạn như đọc dữ liệu lịch sử trên chuỗi, TVL, quyết toán doanh thu và xác minh danh tính). Các ứng dụng có thể truy cập kết quả tính toán và chứng minh để sử dụng trên chuỗi thông qua các lệnh gọi SDK/API. Mô hình này mang lại khả năng áp dụng nhanh chóng, hiệu suất tuyệt vời và chi phí thấp, nhưng tính phổ biến của nó còn hạn chế. Các dự án tiêu biểu bao gồm Brevis zkCoprocessor và Axiom. Nhìn chung, cả zkVM và zkCoprocessor đều tuân thủ mô hình điện toán đáng tin cậy "tính toán ngoài chuỗi + xác minh trên chuỗi", xác minh kết quả ngoài chuỗi trên chuỗi thông qua các chứng minh không kiến thức. Logic kinh tế của nó dựa trên tiền đề rằng chi phí thực thi trực tiếp trên chuỗi cao hơn nhiều so với tổng chi phí 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 mô hình này về tính linh hoạt và độ phức tạp về mặt kỹ thuật là: zkVM là một cơ sở hạ tầng điện toán đa năng phù hợp với các kịch bản phức tạp, liên miền hoặc AI, mang lại sự linh hoạt tối đa; zkCoprocessor là một dịch vụ xác minh mô-đun, cung cấp giao diện xác minh có thể gọi trực tiếp, chi phí thấp cho các tình huống có tần suất sử dụng cao và có thể tái sử dụng (DeFi, RWA, kiểm soát rủi ro, v.v.). Về phương pháp tiếp cận thương mại, sự khác biệt giữa zkVM và zkCoprocessor như sau: zkVM áp dụng mô hình Chứng minh dưới dạng Dịch vụ (Proving-as-a-Service), tính phí theo bằng chứng (ZKP), chủ yếu nhắm mục tiêu đến các khách hàng cơ sở hạ tầng như L2 Rollup. Đặc điểm của nó bao gồm quy mô hợp đồng lớn, chu kỳ hợp đồng dài và biên lợi nhuận gộp ổn định. Mặt khác, zkCoprocessor chủ yếu cung cấp mô hình API-as-a-Service Chứng minh Dịch vụ (Proving of Service), tính phí theo tác vụ thông qua các lệnh gọi API hoặc tích hợp SDK. Mô hình này gần giống với mô hình SaaS hơn và nhắm mục tiêu đến các giao thức lớp ứng dụng như DeFi, cung cấp khả năng tích hợp nhanh chóng và khả năng mở rộng mạnh mẽ. Nhìn chung, zkVM là công cụ cơ bản cho tính toán có thể xác minh, trong khi zkCoprocessor là mô-đun xác minh lớp ứng dụng: zkVM xây dựng một hào công nghệ, trong khi zkCoprocessor thúc đẩy thương mại hóa, cùng nhau hình thành một mạng lưới điện toán đáng tin cậy phổ quát.

III. Danh mục sản phẩm và lộ trình kỹ thuật của Brevis

Bắt đầu từ Chứng minh thời gian thực L1 (Realtime Proving) của Ethereum, công nghệ ZK đang dần chuyển mình sang kỷ nguyên điện toán có thể xác minh với kiến trúc zkVM phổ quát và zkCoprocessor làm cốt lõi. Mạng lưới Brevis là sự kết hợp giữa zkVM và zkCoprocessor, xây dựng một cơ sở hạ tầng điện toán có thể xác minh phổ quát với cốt lõi là điện toán không kiến thức, kết hợp hiệu suất cao và khả năng lập trình—Lớp Điện 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 Kiểm chứng Phổ quát Vào năm 2024, Vitalik đã đề xuất kiến trúc "lớp thực thi phổ quát + lớp tăng tốc đồng xử lý" (glue & coprocessor) trong bài viết "Kiến trúc Keo và Đồng xử lý". Các phép tính phức tạp có thể được chia thành logic nghiệp vụ chung và các phép tính có cấu trúc, chuyên sâu—loại trước đề cao tính linh hoạt (ví dụ: EVM, Python, RISC-V) và loại sau đề cao tính hiệu quả (ví dụ: GPU, ASIC, mô-đun băm). Kiến trúc này đang trở thành xu hướng phổ biến trong blockchain, AI và điện toán mật mã: EVM tăng tốc thông qua biên dịch trước, AI tận dụng song song hóa GPU, và các phép chứng minh ZK kết hợp máy ảo đa năng với các mạch chuyên dụng. Chìa khóa cho tương lai là để "lớp keo" tối ưu hóa bảo mật và trải nghiệm phát triển, trong khi "lớp đồng xử lý" tập trung vào việc thực thi hiệu quả, tạo ra sự cân bằng giữa hiệu suất, bảo mật và tính mở.

Pico zkVM, được phát triển bởi Brevis, là một ví dụ điển hình của khái niệm này. Thông qua kiến trúc zkVM đa năng + tăng tốc đồng xử lý, Pico zkVM kết hợp khả năng lập trình linh hoạt với khả năng tính toán hiệu năng cao của các mạch chuyên dụng. Thiết kế mô-đun của Pico zkVM hỗ trợ nhiều backend kiểm thử (KoalaBear, BabyBear, Mersenne31) và cho phép kết hợp tự do các thành phần thực thi, đệ quy, nén và các thành phần khác để tạo thành một ProverChain.

Kiến trúc mô-đun của Pico không chỉ cho phép cấu hình lại tự do các thành phần cốt lõi mà còn cho phép giới thiệu các backend chứng minh mới và bộ đồng xử lý cấp ứng dụng (chẳng hạn như dữ liệu trên chuỗi, zkML và xác minh chuỗi chéo), đạt được khả năng mở rộng liên tục phát triển. Các nhà phát triển có thể trực tiếp sử dụng chuỗi công cụ Rust để viết logic nghiệp vụ và tự động tạo chứng minh mật mã mà không cần bất kỳ kiến thức nào trước đó, giúp giảm đáng kể rào cản phát triển. So với kiến trúc zkVM RISC-V tương đối nguyên khối của Succinct SP1 và mô hình thực thi RISC-V chung của RISC Zero R0VM, hệ thống zkVM + bộ đồng xử lý mô-đun của Pico tách rời và mở rộng các giai đoạn thực thi, đệ quy và nén. Hệ thống hỗ trợ chuyển mạch đa backend và tích hợp bộ đồng xử lý, mang lại những lợi thế khác biệt về hiệu suất và khả năng mở rộng. 3.2 Pico Prism: Một bước đột phá về hiệu suất cụm đa GPU Pico Prism là một bước đột phá đáng kể của Brevis trong kiến trúc GPU đa máy chủ, thiết lập một kỷ lục mới trong khuôn khổ Chứng minh thời gian thực (RTP) của Quỹ Ethereum. Trên cụm GPU 64x5090, nó đạt thời gian chứng minh trung bình là 6,9 giây và độ phủ RTP 96,8%, xếp hạng nó vào loại zkVM tốt nhất. Hệ thống này kết hợp các tối ưu hóa trên các lớp kiến trúc, kỹ thuật, phần cứng và hệ thống, đánh dấu sự chuyển đổi của zkVM từ nguyên mẫu nghiên cứu sang cơ sở hạ tầng cấp sản xuất. 1. Thiết kế kiến trúc: Các zkVM truyền thống (như SP1 và R0VM) chủ yếu dựa vào tối ưu hóa GPU máy đơn. Pico Prism là hệ thống đầu tiên triển khai chứng minh zk cấp cụm trên nhiều máy chủ và GPU. Thông qua đa luồng và phân mảnh, nó mở rộng chứng minh zk thành một hệ thống điện toán phân tán, cải thiện đáng kể tính song song và khả năng mở rộng. 2. Triển khai kỹ thuật: Xây dựng một đường ống bất đồng bộ nhiều giai đoạn (Thực thi/Đệ quy/Nén) và cơ chế tái sử dụng dữ liệu đa lớp (lưu trữ đệm khối bằng chứng và tái sử dụng nhúng), cùng với hỗ trợ chuyển mạch nhiều phần phụ trợ (KoalaBear, BabyBear, M31), cải thiện đáng kể hiệu quả thông lượng.3. Chiến lược phần cứng: Trên GPU RTX 5090 64x (khoảng 128.000 đô la), Pico Prism đạt thời gian xác minh trung bình là 6,0–6,9 giây và độ phủ RTP 96,8%, cải thiện hiệu suất/chi phí gấp 3,4 lần, vượt qua Hypercube SP1 (GPU 160x4090, 10,3 giây). 4. Tiến hóa hệ thống: Là zkVM đầu tiên đáp ứng các yêu cầu RTP của Quỹ Ethereum (>96% dưới 10 giây, chi phí <100.000 đô la), Pico Prism đánh dấu sự chuyển đổi của các hệ thống xác 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 giải pháp điện 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 Bộ đồng xử lý dữ liệu ZK: Lớp đồng xử lý không kiến thức thông minh dữ liệu Blockchain Hợp đồng thông minh vốn thiếu bộ nhớ—chúng không thể truy cập dữ liệu lịch sử, xác định các hành vi dài hạn hoặc thực hiện phân tích chuỗi chéo. Bộ đồng xử lý không kiến thức hiệu suất cao (ZK Coprocessor) của Brevis cung cấp cho các hợp đồng thông minh khả năng truy cập dữ liệu lịch sử chuỗi chéo và khả năng tính toán đáng tin cậy. Nó 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 chuỗi khối, cho phép các ứng dụng trong 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à xác minh danh tính chuỗi chéo. Quy trình làm việc của Brevis bao gồm ba bước: 1. Truy cập dữ liệu: Hợp đồng thông minh đọc dữ liệu lịch sử một cách đáng tin cậy thông qua API; 2. Thực hiện tính toán: Các nhà phát triển sử dụng SDK để xác định logic kinh doanh của họ, sau đó được Brevis tính toán và tạo ra ngoài chuỗi. 3. Xác minh kết quả: Bằng chứng được chuyển trở lại chuỗi, được xác minh bởi hợp đồng và logic tiếp theo được gọi. Brevis hỗ trợ cả mô hình Pure-ZK và CoChain (OP): mô hình trước đạt được mức độ tin cậy tối thiểu hoàn toàn nhưng với chi phí cao hơn; mô hình sau, thông qua xác minh PoS và cơ chế thử thách ZK, cho phép tính toán có thể xác minh với chi phí thấp hơn. Người xác thực đặt cược vào Ethereum, và nếu thử thách được ZK chứng minh thành công, họ sẽ bị phạt, do đó đạt được sự cân bằng giữa bảo mật và hiệu quả. Thông qua kiến trúc tích hợp ZK + PoS + SDK, Brevis đạt được sự cân bằng giữa bảo mật và hiệu quả, xây dựng một lớp tính toán dữ liệu đáng tin cậy có khả năng mở rộng. Hiện tại, Brevis hỗ trợ các giao thức như PancakeSwap, Euler, Usual và Linea. Tất cả các hợp tác zkCoprocessor đều dựa trên mô hình Pure-ZK, cung cấp hỗ trợ dữ liệu đáng tin cậy cho DeFi, phân phối phần thưởng và hệ thống nhận dạng trên chuỗi, mang lại cho các hợp đồng thông minh "bộ nhớ và trí tuệ" thực sự.

3.4 Incentra: Lớp Phân phối Khuyến khích Có thể Xác minh Dựa trên ZK

Incentra là một 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 hành phần thưởng an toàn, minh bạch và có thể xác minh cho các giao thức DeFi. Nền tảng này xác minh kết quả khuyến khích trực tiếp trên chuỗi thông qua các bằng chứng không kiến thức, đạt được khả năng thực thi khuyến khích không cần tin cậy, chi phí thấp và xuyên chuỗi. Hệ thống hoàn tất việc tính toán và xác minh phần thưởng trong mạch ZK, đảm bảo rằng 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, nó hỗ trợ các hoạt động chuỗi chéo 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:

· Nắm giữ mã thông báo: Tính toán phần thưởng nắm giữ dài hạn dựa trên số dư có trọng số thời gian ERC-20 (TWA);

· Thanh khoản tập trung: AMM DEX phân phối phần thưởng thanh khoản dựa trên tỷ lệ phí giao dịch và tương thích với các giao thức ALM như Gamma và Beefy. Cho vay & Vay: Tính toán phần thưởng cho vay dựa trên mức 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 và Linea, đạt được vòng lặp khép kín hoàn toàn đáng tin cậy từ tính toán khuyến khích đến phân phối, cung cấp cho các giao thức DeFi một cơ sở hạ tầng khuyến khích có thể xác minh ở cấp độ ZK. 3.5 Tổng quan về Công nghệ Sản phẩm Brevis 4. Các Chỉ số Kỹ thuật và Đột phá Hiệu suất của Brevis zkVM Quỹ Ethereum (EF) đã đề xuất Tiêu chuẩn Chứng minh Thời gian Thực L1 zkEVM (Chứng minh Thời gian Thực, RTP) đã trở thành sự đồng thuận và ngưỡng tham gia của ngành để xác minh liệu zkVM có thể tham gia vào lộ trình xác minh mạng chính Ethereum hay không. Các chỉ số đánh giá cốt lõi của tiêu chuẩn này bao gồm:

· Yêu cầu độ trễ: P99 ≤ 10 giây (phù hợp với chu kỳ khối 12 giây của Ethereum);

· Ràng buộc về phần cứng: CAPEX ≤ 100.000 đô la, mức tiêu thụ điện năng ≤ 10kW (phù hợp để sử dụng tại nhà/phòng máy tính nhỏ);

· Mức độ bảo mật: ≥128-bit (≥100-bit trong thời gian chuyển đổi);

· Kích thước bằng chứng: ≤300 KiB;

· Yêu cầu hệ thống: Không được dựa vào các cài đặt đáng tin cậy và mã lõi phải hoàn toàn là mã nguồn mở.

Vào tháng 10 năm 2025, Brevis đã công bố báo cáo "Pico Prism—Chứng minh thời gian thực 99,6% cho 45 triệu khối Ethereum gas trên phần cứng tiêu dùng", thông báo rằng Pico Prism của họ đã trở thành zkVM đầu tiên vượt qua hoàn toàn tiêu chuẩn chứng minh khối thời gian thực (RTP) của Ethereum Foundation (EF). Trên GPU RTX 5090 64x (khoảng 128.000 đô la), Pico Prism đạt độ trễ trung bình 6,9 giây, độ trễ 96,8% <10 giây và độ trễ 99,6% <12 giây trong 45 triệu khối gas, vượt trội đáng kể so với Succinct SP1 Hypercube (36 triệu gas, độ trễ trung bình 10,3 giây, độ trễ 40,9% <10 giây). Với việc giảm 71% độ trễ và giảm một nửa chi phí phần cứng, hiệu suất/hiệu quả chi phí tổng thể đã được cải thiện khoảng 3,4 lần. Thành tựu này đã được Ethereum Foundation, Vitalik Buterin và Justin Drake công nhận rộng rãi.

V. Mở rộng Hệ sinh thái và Triển khai Ứng dụng Brevis

Bộ đồng xử lý Dữ liệu ZK (zkCoprocessor) của Brevis chịu trách nhiệm xử lý các phép tính phức tạp mà các dApp không thể hoàn thành hiệu quả (chẳng hạn như hành vi lịch sử, dữ liệu chuỗi chéo và phân tích tổng hợp) và tạo ra Bằng chứng Không Kiến thức (ZKP) có thể xác minh. Chỉ bằng chứng nhỏ này cần được xác minh trên chuỗi để gọi kết quả một cách an toàn, giúp giảm đáng kể chi phí gas, độ trễ và độ tin cậy. So với các phương pháp bói toán truyền thống, Brevis không chỉ cung cấp "kết quả" mà còn "đảm bảo về mặt toán học về tính chính xác của kết quả". Các ứng dụng chính của nó có thể được chia thành các loại sau

· DeFi thông minh: Dựa trên hành vi lịch sử và trạng thái thị trường, hiện thực hóa các ưu đãi thông minh và trải nghiệm khác biệt (PancakeSwap, Uniswap, MetaMask, v.v.)

· Tăng trưởng RWA & Mã thông báo ổn định: Tự động phân phối thu nhập từ stablecoin và RWA thông qua xác minh ZK (OpenEden, Usual Money, MetaMask USD)

· Sàn giao dịch phi tập trung riêng tư (DEX với Dark Pool): Áp dụng mô hình giao dịch riêng tư với khớp lệnh ngoài chuỗi và xác minh trên chuỗi, sẽ sớm được ra mắt

· Khả năng tương tác xuyên chuỗi: Hỗ trợ restaking xuyên chuỗi và Khả năng tương tác Rollup–L1, xây dựng lớp bảo mật dùng chung (Kernel, Celer, 0G)

· Khởi động Blockchain: Sử dụng ZK Cơ chế khuyến khích giúp hệ sinh thái chuỗi công khai mới khởi động và tăng trưởng (Linea, TAC)

· Chuỗi công khai hiệu suất cao (L1 nhanh hơn 100 lần): Thúc đẩy hiệu suất của các chuỗi công khai như Ethereum thông qua công nghệ bằng chứng thời gian thực (RTP) (Ethereum, BNB Chain)

· AI có thể xác minh: Tích hợp bảo vệ quyền riêng tư và lập luậ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 của Brevis Explorer, tính đến tháng 10 năm 2025, mạng lưới Brevis đã tạo ra hơn 125 triệu bằng chứng ZK, bao gồm gần 95.000 địa chỉ và 96.000 yêu cầu ứng dụng, phục vụ nhiều tình huống khác nhau bao gồm phân phối phần thưởng, xác minh giao dịch, và bằng chứng cổ phần. Ở cấp độ hệ sinh thái, nền tảng đã phân phối khoảng 223 triệu đô la tiền thưởng, hỗ trợ hơn 2,8 tỷ đô la TVL, với khối lượng giao dịch tích lũy vượt quá 1 tỷ đô la.

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: Phân phối ưu đãi DeFi và Tối ưu hóa thanh khoản. Mức tiêu thụ năng lượng tính toán cốt lõi được đóng góp bởi bốn dự án: Usual Money, PancakeSwap, Linea Ignition và Incentra, chiếm tổng cộng hơn 85%. Trong số đó: · Usual Money (46,6 triệu bằng chứng): chứng minh tính ổn định lâu dài của mình trong phân phối ưu đãi quy mô lớn; · PancakeSwap (20,6 triệu bằng chứng): phản ánh hiệu suất cao của Brevis trong tính toán tỷ giá và chiết khấu theo thời gian thực; · Linea Ignition (20,4 triệu bằng chứng): xác minh khả năng xử lý đồng thời cao của mình trong các hoạt động sinh thái L2; · Incentra (15,2%): đánh dấu sự phát triển của Brevis từ một công cụ SDK thành một nền tảng ưu đãi tiêu chuẩn.

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 nhằm đạt được sự phân phối phần thưởng 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á 300 triệu đô la, mang lại lợi nhuận liên tục cho người dùng stablecoin và LP;

· OpenEden và Bedrock thực hiện phân phối thu nhập từ trái phiếu kho bạc Hoa Kỳ và Restaking dựa trên mô hình CPI;

· Euler, Aave, BeraBorrow và các giao thức khác sử dụng ZK để xác minh vị thế cho vay và tính toán phần thưởng.

Về mặt tối ưu hóa thanh khoản, PancakeSwap, QuickSwap, THENA, Beefy và các nền tảng khác sử dụng mức phí linh hoạt của Brevis và plugin khuyến khích ALM để đạt được chiết khấu giao dịch và tổng hợp doanh thu chuỗi chéo; Jojo Exchange và Uniswap Foundation 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.

Ở lớp cơ sở hạ tầng và chuỗi chéo, Brevis đã mở rộng ra ngoài 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 và MetaMask đang tận dụng Bộ đồng xử lý dữ liệu ZK để xây dựng các điểm bảo vệ quyền riêng tư, hệ thống chấm điểm ảnh hưởng và phần thưởng, thúc đẩy sự phát triển thông minh của dữ liệu Web3. Ở cấp độ hệ thống cơ bản, Brevis tận dụng mạng EigenLayer AVS để bảo mật lại việc đặt cược và kết hợp công nghệ bằng chứng tổng hợp (UPA) của NEBRA để nén nhiều bằng chứng ZK thành một lần gửi duy nhất, giảm đáng kể chi phí và độ trễ xác minh trên chuỗi. Nhìn chung, Brevis bao gồm đầy đủ các tình huống ứng dụng, từ các ưu đãi dài hạn, phần thưởng sự kiện, xác minh giao dịch đến các dịch vụ dựa trên nền tảng. Các tác vụ xác minh tần suất cao và các mẫu mạch có thể tái sử dụng của nó cung cấp cho Pico/Prism áp lực hiệu suất thực tế và phản hồi tối ưu hóa. Điều này dự kiến sẽ phản hồi 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 thành bánh đà hai chiều của công nghệ và ứng dụng. VI. Bối cảnh nhóm và tài trợ dự án Mo Dong | Đồng sáng lập, Brevis Network Tiến sĩ Mo Dong là đồng sáng lập của Brevis Network và có bằng Tiến sĩ Khoa học máy tính của Đại học Illinois tại Urbana-Champaign (UIUC). Nghiên cứu của ông đã được công bố tại các hội nghị học thuật quốc tế hàng đầu, được các công ty công nghệ như Google áp dụng và thu được hàng nghìn trích dẫn. Là một chuyên gia về lý thuyết trò chơi thuật toán và thiết kế cơ chế giao thức, ông tập trung vào việc thúc đẩy tích hợp điện toán không kiến thức (ZK) và các cơ chế khuyến khích phi tập trung, đồng thời cam kết xây dựng một nền kinh tế điện toán đáng tin cậy và có thể xác minh. Là đối tác liên doanh tại IOSG Ventures, ông cũng đã tập trung vào các khoản đầu tư giai đoạn đầu 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ã học và khoa học máy tính từ UIUC, MIT và UC Berkeley. Các thành viên cốt lõi có nhiều năm kinh nghiệm nghiên cứu về bằng chứng không kiến thức (ZKP) và hệ thống phân tán, đồng thời đã xuất bản nhiều bài báo được bình duyệt. Brevis đã nhận được sự công nhận về mặt kỹ thuật từ Quỹ Ethereum, và các mô-đun cốt lõi của công ty được coi là cơ sở hạ tầng quan trọng cho khả năng mở rộng trên chuỗi.

Brevis đã hoàn thành vòng gọi vốn hạt giống trị giá 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 IOSG Ventures, Nomad Capital, HashKey, Bankless Ventures và các nhà đầu tư thiên thần chiến lược từ Kyber, Babylon, Uniswap, Arbitrum, AltLayer.

VII. Phân tích cạnh tranh thị trường ZKVM và bộ đồng xử lý ZK

Hiện tại, ETHProofs.org, được hỗ trợ bởi Quỹ Ethereum, đã 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 (RTP) zkEVM L1, công khai giới thiệu hiệu suất, bảo mật và tiến độ thích ứng mạng chính của nhiều zkVM khác nhau.

Nhìn chung, sự cạnh tranh trong cuộc đua RTP tập trung vào bốn khía cạnh cốt lõi:

Độ trưởng thành: SP1 là phiên bản trưởng thành nhất để triển khai sản xuất; Pico cung cấp hiệu suất hàng đầu và gần với các tiêu chuẩn mạng chính; RISC Zero ổn định, nhưng dữ liệu RTP không được công khai.

· Hiệu suất: Kích thước đã được chứng minh của Pico là khoảng 990 kB, nhỏ hơn khoảng 33% so với SP1 (1,48 MB) và có chi phí thấp hơn;

· Bảo mật và Kiểm toán: RISC Zero và SP1 đều đã vượt qua các cuộc kiểm toán bảo mật độc lập; Pico hiện đang được kiểm toán;

Hệ sinh thái Phát triển: Các zkVM chính thống đều sử dụng bộ lệnh RISC-V. SP1 tận dụng Succinct Rollup SDK để thiết lập một hệ sinh thái tích hợp rộng rãi. Pico hỗ trợ tạo bằng chứng tự động trong Rust, và SDK đang được cải thiện nhanh chóng. Dữ liệu mới nhất cho thấy sự thống trị hai chiều trên thị trường RTP. Brevis Pico (bao gồm Prism) và Succinct SP1 Hypercube, cả hai đều dẫn đầu, đang nhắm đến tiêu chuẩn EF P99 ≤ 10s. Brevis Pico đạt được những đột phá về hiệu suất và chi phí thông qua kiến trúc đa GPU phân tán, trong khi Succinct SP1 Hypercube duy trì sự trưởng thành về kỹ thuật và một hệ sinh thái mạnh mẽ thông qua một hệ thống nguyên khối. Pico đại diện cho hiệu suất và đổi mới kiến trúc, trong khi SP1 đại diện cho ứng dụng thực tế và một hệ sinh thái hàng đầu. Bậc thứ hai, RISC Zero, Zisk và ZKM, tiếp tục khám phá khả năng tương thích hệ sinh thái và thiết kế gọn nhẹ, nhưng vẫn chưa công bố các số liệu RTP đầy đủ (độ trễ, mức tiêu thụ điện năng, CAPEX, bit bảo mật, kích thước bằng chứng và khả năng tái tạo). Scroll (Ceno) và Matter Labs (Airbender) đang cố gắng mở rộng công nghệ Rollup đến lớp xác minh L1, chứng minh sự phát triển từ việc mở rộng dung lượng L2 đến tính toán có thể xác minh L1. Đến năm 2025, lĩnh vực zkVM sẽ thiết lập một bối cảnh công nghệ đặc trưng bởi sự hợp nhất RISC-V, sự phát triển theo mô-đun, chuẩn hóa đệ quy và tính song song được tăng tốc bằng phần cứng. Lớp tính toán có thể xác minh phổ quát của zkVM (Lớp tính toán có thể xác minh) có thể được chia thành ba loại: · Hướng đến hiệu suất: Brevis Pico, SP1, Jolt và Zisk tập trung vào độ trễ thấp và bằng chứng thời gian thực, cải thiện thông lượng tính toán thông qua STARK đệ quy và tăng tốc GPU. · Có tính mô-đun và có thể mở rộng: OpenVM, Pico và SP1 nhấn mạnh vào khả năng cắm mô-đun và hỗ trợ tích hợp bộ đồng xử lý. · Hệ sinh thái và phát triển chung: RISC Zero, SP1 và Zisk tập trung vào SDK và khả năng tương thích ngôn ngữ để thúc đẩy ứng dụng phổ quát.So sánh các Dự án Cạnh tranh zkVM (tính đến tháng 10 năm 2025) Thị trường bộ đồng xử lý zk hiện tại do Brevis, Axiom, Herodotus và Lagrange thống trị. Brevis dẫn đầu với kiến trúc "bộ đồng xử lý dữ liệu ZK + zkVM đa năng", kết hợp khả năng truy cập dữ liệu lịch sử, tính toán lập trình và khả năng RTP L1. Axiom tập trung vào các truy vấn có thể xác minh và các lệnh gọi lại mạch; Herodotus chuyên về truy cập trạng thái lịch sử; và Lagrange tối ưu hóa hiệu suất điện toán chuỗi chéo với kiến trúc lai ZK+Optimistic. Nhìn chung, bộ đồng xử lý zk đang trở thành một giao diện điện toán đáng tin cậy kết nối các ứng dụng như DeFi, Ứng dụng Web Đáng tin cậy (RWA), AI và danh tính, hoạt động như một "lớp dịch vụ có thể xác minh". VIII. Tóm tắt: Logic Kinh doanh, Triển khai Kỹ thuật và Rủi ro Tiềm ẩn Logic Kinh doanh: Hướng đến Hiệu suất và Bánh đà Hai Lớp Brevis xây dựng một lớp điện toán tin cậy đa chuỗi bằng cách sử dụng zkVM phổ quát (Pico/Prism) và bộ đồng xử lý dữ liệu (zkCoprocessor). Lớp trước giải quyết vấn đề xác minh tính toán tùy ý, trong khi lớp sau cho phép thương mại hóa dữ liệu lịch sử và dữ liệu liên chuỗi. Logic tăng trưởng của nó tạo thành một chu kỳ 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 từ các giao thức hàng đầu, thúc đẩy tăng trưởng về quy mô bằng chứng và giảm chi phí đơn vị, tạo thành một bánh đà hai lớp liên tục được củng cố. Lợi thế cạnh tranh của công ty nằm ở ba lĩnh vực chính: 1. Hiệu suất có thể tái tạo – đã được tích hợp vào hệ thống RTP ETHProofs của Quỹ Ethereum; 2. Các rào cản kiến trúc – thiết kế mô-đun và tính song song đa GPU cho phép khả năng mở rộng cao; 3. Xác thực thương mại – đã được triển khai ở quy mô lớn trong phân phối ưu đãi, mức phí động và xác minh liên chuỗi.Triển khai Kỹ thuật: Từ "Tăng cường Thực thi" đến "Thay thế Thực thi bằng Xác minh" Brevis tận dụng nền tảng song song Pico zkVM và Prism để đạt được thời gian trung bình 6,9 giây và P99 <10 giây (trên GPU 64x5090, CAPEX <130.000 đô la) trên các khối gas 45 triệu, đạt được hiệu suất và chi phí hàng đầu. Mô-đun zkCoprocessor hỗ trợ đọc dữ liệu lịch sử, tạo mạch và xác minh liên kết ngược, đồng thời có thể chuyển đổi linh hoạt giữa chế độ Pure-ZK và Hybrid. Hiệu suất tổng thể về cơ bản phù hợp với tiêu chuẩn RTP cứng của Ethereum. Rủi ro tiềm ẩn và các điểm quan tâm chính · Ngưỡng Kỹ thuật và Tuân thủ: Brevis vẫn yêu cầu xác minh công khai và bên thứ ba về các số liệu cứng như mức tiêu thụ điện năng, bit bảo mật, kích thước bằng chứng và các phụ thuộc thiết lập đáng tin cậy. Tối ưu hóa hiệu suất đuôi dài vẫn là chìa khóa, và việc điều chỉnh EIP có thể giải quyết các điểm nghẽn về hiệu suất. Rủi ro Cạnh tranh và Thay thế: Succinct (SP1/Hypercube) vẫn dẫn đầu về tích hợp chuỗi công cụ và hệ sinh thái, trong khi các đội ngũ như Risc Zero, Axiom, OpenVM, Scroll và zkSync vẫn duy trì tính cạnh tranh. Mức độ Tập trung Doanh thu và Cơ cấu Kinh doanh: Hiện tại, khối lượng bằng chứng rất tập trung (bốn ứng dụng hàng đầu chiếm khoảng 80%), đòi hỏi phải mở rộng trên nhiều ngành, chuỗi công khai và các trường hợp sử dụng khác nhau để giảm sự phụ thuộc. Chi phí GPU có thể ảnh hưởng đến lợi nhuận gộp của từng đơn vị. Nhìn chung, Brevis đã thiết lập được lợi thế cạnh tranh ban đầu về cả "hiệu suất tái tạo" và "khả năng kinh doanh khả thi". Pico/Prism đã khẳng định vị thế vững chắc của mình trong phân khúc hàng đầu của thị trường RTP L1, trong khi zkCoprocessor mở ra các kịch bản thương mại có tần suất cao và có thể tái sử dụng. Trong tương lai, chúng tôi khuyến nghị đạt được mục tiêu RTP đầy đủ của Quỹ Ethereum theo từng giai đoạn, liên tục tăng cường chuẩn hóa sản phẩm đồng xử lý và mở rộng hệ sinh thái, đồng thời thúc đẩy khả năng tái tạo của bên thứ ba, kiểm toán bảo mật và minh bạch chi phí. Bằng cách đạt được sự cân bằng về mặt cấu trúc giữa cơ sở hạ tầng và doanh thu SaaS, một chu kỳ tăng trưởng kinh doanh khép kín bền vững sẽ được hình thành.

Tuyên bố miễn trừ trách nhiệm: Bài viết này được tạo ra với sự hỗ trợ của công cụ AI ChatGPT-5. Mặc dù tác giả đã nỗ lực hết sức để hiệu đính và đảm bảo tính xác thực và chính xác của thông tin, nhưng không thể tránh khỏi những thiếu sót và chúng tôi xin lỗi vì bất kỳ sự không chính xác nào. Điều quan trọng cần lưu ý là sự khác biệt giữa các yếu tố cơ bản của dự án và hiệu suất giá thị trường thứ cấp là điều thường thấy trên thị trường tiền điện tử. Bài viết này chỉ nhằm mục đích tổng hợp thông tin và trao đổi học thuật/nghiên cứu và không cấu thành lời khuyên đầu tư hoặc khuyến nghị mua hoặc bán bất kỳ mã thông báo nào.

Bài viết này là một đóng góp và không nhất thiết phản ánh quan điểm của BlockBeats.