Brevis：Mở ra kỷ nguyên tính toán vô hạn của chuỗi khối

Tiêu đề gốc: Brevis：Khởi đầu kỷ nguyên tính toán vô hạn của chuỗi khối

Tác giả gốc:律动BlockBeats

Nguồn gốc gốc:

Chuyển thể:火星财经

Vào tháng 11 năm 2025 tại Devconnect Argentina, nhà nghiên cứu của Quỹ Ethereum Justin Drake đã trình diễn một quy trình xác thực khối khác biệt, nút xác thực của ông sử dụng khách hàng zkLighthouse, chỉ dựa vào các bằng chứng không thể chối cãi từ các giao thức như Pico zkVM của Brevis để hoàn thành việc xác định tính hợp lệ của khối. Điều này rất có khả năng báo hiệu hướng mở rộng của Ethereum trong tương lai. Nó chứng minh một điều: chuỗi khối không cần phải thực thi lại tất cả các tính toán, chỉ cần xác minh các bằng chứng được tạo ra từ bên ngoài là đủ.

Brevis là gì: lớp tính toán xác thực đang được các giao thức và lõi Ethereum sử dụng

Vị trí của Brevis không chỉ là một ứng dụng cụ thể nào đó, mà là một lớp tính toán xác thực. Với vai trò là lớp tính toán vô hạn (Infinite Compute Layer), nó cho phép thực hiện các tính toán phức tạp ngoài chuỗi, và thông qua bằng chứng không thể chối cãi, mang kết quả trở lại chuỗi, được hợp đồng thông minh xác minh với chi phí cực thấp. Điều này quan trọng vì mô hình an toàn mặc định của Ethereum về bản chất dựa trên tính toán lại toàn mạng, mỗi nút xác thực sau khi nhận khối mới thường phải chạy lại các giao dịch trong khối để xác nhận kết quả thực thi là chính xác. Mặc dù đảm bảo tính chính xác, nhưng điều này cũng đồng nghĩa với việc sức mạnh tính toán và tiêu thụ tài nguyên sẽ liên tục tăng theo tải trọng. Brevis đang biến phần tính toán nặng này, vốn phải lặp lại nhiều lần, thành một lần tính toán và xác minh toàn mạng, thực hiện tính toán ngoài chuỗi và tạo ra bằng chứng, trong khi trên chuỗi và các nút chỉ cần xác minh một bằng chứng nhỏ.

Khác với nhiều ứng dụng zk chỉ tập trung vào quyền riêng tư hoặc mở rộng quy mô, Brevis thực sự giải quyết các vấn đề cấu trúc của ngành Web3. Khi tính toán trên chuỗi ngày càng phức tạp và thường xuyên hơn, hệ thống có nhất thiết phải dựa vào từng nút lặp lại thực thi để duy trì độ tin cậy không? Con đường của Brevis là đưa tính toán ra ngoài chuỗi, do zkVM thực thi và tạo bằng chứng, hợp đồng trên chuỗi chỉ cần xác minh bằng chứng, từ đó hợp đồng có thể tin cậy sử dụng dữ liệu lịch sử, trạng thái chuỗi chéo hoặc kết quả các thuật toán phức tạp mà không cần giả định tin cậy bổ sung nào. Trong quá trình thực hiện mục tiêu này, ZK Data Coprocessor, Pico zkVM và ProverNet tạo thành ba công nghệ cốt lõi hiện tại của nó.

Làm vượt giới hạn của hợp đồng thông minh: Siêu năng lực từ ZK Data Coprocessor

Bước đột phá công nghệ ban đầu của Brevis là ZK Data Coprocessor. Nó giúp hợp đồng thông minh có thể truy vấn dữ liệu lịch sử bất kỳ trên chuỗi, thực thi tính toán ngoài chuỗi và tạo bằng chứng không thể chối cãi, cung cấp kết quả tính toán như đầu vào đáng tin cậy cho hợp đồng. ZK Data Coprocessor có thể truy vấn và tính toán khối lượng giao dịch lịch sử hoặc hành vi người dùng trên chuỗi, và tạo bằng chứng không thể chối cãi để hợp đồng xác minh. Điều này cho phép các hợp đồng vốn chỉ truy cập khối hiện tại, nay cũng có thể sử dụng dữ liệu trong cửa sổ thời gian dài và trạng thái chéo chuỗi.

Sau khi Brevis tạo ra nguyên mẫu Coprocessor vào năm 2023 và liên tục phát triển, đến tháng 1 năm 2025 đã ra mắt v2 và chính thức hoạt động trên mainnet. Những thay đổi chính của v2 không cần phải bận tâm về tên gọi của hệ thống chứng minh cụ thể, có thể tóm gọn thành ba điểm: nhanh hơn (hoàn thành nhiệm vụ với ít tài nguyên hơn, trong thời gian ngắn hơn), linh hoạt hơn (bao phủ nhiều loại dữ liệu và yêu cầu tính toán hơn), dễ sử dụng hơn (đơn giản hóa quy trình, đóng gói phức tạp).

Nhìn lại lộ trình công nghệ của Brevis trước năm 2025, thực chất chỉ có một hướng chính: trước tiên xác định rõ giới hạn hiệu năng của hệ thống chứng minh, sau đó phát triển các hệ thống tính toán ngoài chuỗi và xác minh trên chuỗi thành các Coprocessor có thể sử dụng, liên tục cải tiến kỹ thuật, rồi khám phá các hình thái vận hành hệ thống hơn nữa. Điều đáng quý hơn là thể hiện rõ bản chất của đội ngũ, vừa hiểu về mật mã, vừa hiểu về kỹ thuật hệ thống quy mô lớn, không dựa vào lý thuyết trừu tượng để thắng thế, mà từ đầu đã xác định rõ các điểm đau của ngành, và cam kết áp dụng công nghệ quy mô lớn.

Khi khả năng chứng minh bước vào tầng hệ thống: Pico zkVM và ProverNet

Năm 2025, Brevis còn bổ sung hai phần còn lại trong bộ ba công nghệ chính: một là động cơ chứng minh linh hoạt hơn, phù hợp hơn với môi trường sản xuất, Pico zkVM; hai là mạng lưới cung cấp khả năng tạo chứng minh mở rộng, ProverNet, từ khả năng chứng minh đơn lẻ chuyển sang khả năng cung cấp chứng minh liên tục, quy mô lớn.

Pico zkVM có thể hiểu là động cơ chứng minh đa năng của Brevis, đưa việc tạo bằng chứng không thể chối cãi từ mạch chuyên dụng, thủ công sang dạng gần như kỹ thuật phần mềm hơn — nhà phát triển dùng phương pháp quen thuộc để viết logic, rồi phần nền tảng biến nó thành kết quả chứng minh có thể xác minh được. Điều quan trọng hơn, Pico từ đầu đã hướng tới khả năng xử lý và chi phí thực tế của các doanh nghiệp, cùng một tiêu chuẩn, so sánh cho thấy Pico của Brevis rõ ràng có lợi thế về hiệu năng so với các zkVM chính thống, đồng thời còn có thể nâng cao hiệu quả của các loại tính toán đặc thù thông qua các thành phần/thiết bị phụ trợ có thể cắm thêm.

Tháng 6 năm 2025, Brevis ra mắt Pico-GPU, đẩy tốc độ tạo chứng minh thời gian thực lên một mốc quan trọng, không chỉ cho giao thức mà còn cho toàn ngành. Pico-GPU chuyển toàn bộ quá trình tạo chứng minh cốt lõi sang song song trên GPU, mức tăng do chính thức công bố đạt 10–20 lần, tạo bước nhảy vọt về hiệu năng so với các giải pháp trước đó.

Tháng 10, ra mắt Pico Prism đưa hướng này lên một ngưỡng rất trực quan, trong cấu hình 64 GPU tiêu dùng, đã hoàn thành chứng minh cho khối Ethereum 45 triệu gas trong 12 giây, đạt 99.6%, và 96.8% trong 10 giây, trung bình khoảng 6.9 giây, gần như chạm tới mục tiêu của Quỹ Ethereum. Tốc độ tạo chứng minh thời gian thực lần đầu gần như hoàn hảo, bắt kịp tốc độ tạo khối của Ethereum, và so với các đối thủ cạnh tranh, sử dụng ít tài nguyên hơn.

Những tiến bộ này cũng nhận được phản hồi trực tiếp từ cộng đồng lõi Ethereum. Vitalik trực tiếp đề cập trong tweet rằng, việc Pico Prism gia nhập lĩnh vực chứng minh ZK-EVM là một bước quan trọng trong việc chứng minh tốc độ và đa dạng. Justin Drake trong các tweet trước đó đã đánh giá rất rõ ràng về tiến bộ của Pico Prism trong tạo chứng minh thời gian thực, cần biết rằng, tháng 5 năm nay, SP1 Hypercube cần tới 160 RTX 4090 để chứng minh khoảng 94% khối L1 trong 12 giây. Với tốc độ chứng minh nhanh như vậy, Brevis và Pico Prism trở thành giải pháp nổi bật nhất.

Sau khi phát triển thành công zkVM đa năng và công nghệ chứng minh thời gian thực, Brevis bắt đầu giải quyết vấn đề cung cấp chứng minh. Tháng 11 năm 2025, Brevis công bố tầm nhìn ProverNet, hướng tới thị trường khả năng chứng minh, mọi ứng dụng đều có thể gửi nhiệm vụ chứng minh, thông qua cơ chế đấu giá để kết nối với các nút prover. Tháng 12, mainnet Beta ra mắt, đưa nó vào dạng sản phẩm có thể sử dụng, thị trường vận hành liên tục, yêu cầu chứng minh có thể gửi trực tiếp, prover có thể đăng ký và bắt đầu đấu giá nhận nhiệm vụ, các ứng dụng không cần tự xây dựng hạ tầng chứng minh nữa.

Thông qua bộ ba công nghệ này, Brevis biến khả năng chứng minh từ công cụ thành hạ tầng, vừa có động cơ chứng minh có thể mở rộng quy mô, vừa có mạng lưới cung cấp chứng minh mở, giúp các ứng dụng có thể lấy được tính toán xác thực theo nhu cầu. Ý nghĩa của nó không chỉ giới hạn ở Ethereum — mô hình tính toán ngoài chuỗi, xác minh trên chuỗi này sẽ lan tỏa ra toàn bộ Web3, thậm chí các ngành khác như AI và game.

Giao thức không nói dối: sử dụng mới là hợp lệ

Giá trị công nghệ của Brevis cuối cùng thể hiện trong các ứng dụng thực tế. Nó không chỉ là khái niệm trình diễn trên các tài liệu quảng bá, mà còn được tích hợp vào hoạt động hàng ngày của giao thức, từ cách lấy dữ liệu, tính chỉ số, phát thưởng, điều chỉnh phí — những việc vốn trước đây không thể thực hiện hoặc chỉ có thể dựa vào các script tập trung để gộp lại — nay bắt đầu có một con đường mang tính hợp pháp hơn, trong quá trình này, Brevis đã tạo ra hơn 2.8 tỷ bằng chứng cho người dùng, phân phát hơn 2.3 tỷ USD phần thưởng và an toàn thúc đẩy tăng trưởng TVL 25 tỷ USD.

Cách hiểu rõ nhất về Brevis có thể bắt đầu từ các giao dịch mà người dùng quen thuộc nhất. Brevis có thể đảm bảo dữ liệu riêng tư và tính xác thực, giúp DEX có thể vận hành như CEX, từ đó cải thiện trải nghiệm giao dịch của người dùng DEX. PancakeSwap Infinity qua hooks cho phép phân cấp phí, hành vi lịch sử như giữ token, khối lượng giao dịch đều ảnh hưởng đến phí của bạn. Nhưng các đánh giá này dựa vào tổng hợp dữ liệu lịch sử, quá đắt để đưa lên chuỗi, còn đưa xuống chuỗi thì dễ gây ra vấn đề tin cậy. Brevis làm là tính toán rõ ràng hành vi lịch sử ngoài chuỗi, rồi dùng chứng minh mang dữ liệu trở lại chuỗi, để phí phân biệt có thể viết vào hợp đồng, thay vì như CEX viết trong script phía sau.

Nếu nói PancakeSwap phù hợp hơn với trải nghiệm như CEX, thì Usual thể hiện cơ chế tăng trưởng dài hạn hơn, biến khuyến khích từ airdrop một lần thành CPI liên tục. Phần thưởng và các hành vi như giữ token, tương tác sẽ gắn kết dài hạn, còn Brevis biến các chỉ số này thành đầu vào có thể xác minh, giúp phân phối tự động, có thể kiểm toán, không cần cộng đồng tin tưởng vào bảng tính vận hành hay nhà phát hành trung tâm. Thông qua Incentra, việc phát hành phần thưởng trở thành khả năng chuẩn hóa, giao thức muốn phát LP, thưởng vay hoặc giữ token, cốt lõi là tính toán ngoài chuỗi, xác minh trên chuỗi dựa trên chứng minh. Các hoạt động của Euler trên Arbitrum là đại diện — phần thưởng không dựa vào thống kê thủ công hay phát hành đa chữ ký, mà dựa trên quy tắc và chứng minh để phân phối liên tục.

Khi các trường hợp mở rộng ra cấp độ hệ sinh thái, chương trình Ignition của Linea càng rõ ràng hơn, khó khăn không phải là phát động khuyến khích, mà là cách phát. Brevis cho phép tính toán khuyến khích quy mô lớn ngoài chuỗi, và mang tính xác thực trở lại xác minh trên chuỗi, từ đó đẩy hoạt động khuyến khích từ hành động vận hành trung tâm sang khả năng hệ thống có thể tái sử dụng. Cũng theo hướng hệ thống là Chương trình hoàn tiền Routing Rebate của Uniswap v4. Việc định tuyến có xảy ra hay không, cách thống kê gas tiêu thụ, cách tính số tiền hoàn lại — tất cả đều là chuỗi dữ liệu—tính toán—thanh toán. Brevis đảm nhận việc tính toán ngoài chuỗi và tạo chứng minh, giúp hệ thống hoàn tiền dựa trên quy tắc + xác minh, thay vì tin tưởng vào một bên thống kê nào đó.

Nhìn các ví dụ này liên kết lại, khả năng lấy dữ liệu, tính chỉ số và tạo chứng minh của Brevis giúp các giao thức, mà không làm mất đi tính phi tập trung, có thể đưa các logic vốn chỉ có thể thực hiện bởi các backend trung tâm trở lại chuỗi, mở rộng khả năng của toàn ngành công nghiệp mã hóa, đồng thời mở ra không gian thiết kế mới.

Ai đang hỗ trợ công nghệ dài hạn?

Đội ngũ cốt lõi của Brevis gồm các nhà nghiên cứu từ các trường đại học hàng đầu và kỹ sư hệ thống hàng đầu, đặc điểm rõ ràng, vừa có thể làm các nghiên cứu dài hạn về hệ thống chứng minh và thuật toán, vừa có thể đưa các công nghệ phức tạp vào môi trường sản xuất thực tế để mài giũa liên tục, đạt tiêu chuẩn về hiệu năng, ổn định và chi phí để triển khai quy mô lớn. Quan trọng hơn, họ không chỉ là đội ngũ phòng thí nghiệm hiểu về công nghệ — họ còn hiểu rõ cách vận hành của ngành mã hóa: hiểu nhu cầu thực của các bên trong giao thức, nhịp độ hợp tác hệ sinh thái, và còn có khả năng tích lũy về vốn và cộng đồng, biến lộ trình kỹ thuật thành các mối quan hệ hợp tác và động lực phát triển liên tục.

Điều này thể hiện rõ qua sự hỗ trợ dài hạn của vốn và cộng đồng dành cho Brevis. Tháng 11 năm 2024, Brevis hoàn thành vòng gọi vốn hạt giống, dẫn đầu bởi Polychain và Yzi Labs cùng các tổ chức hàng đầu khác, cung cấp nguồn vốn để thúc đẩy phát triển zkVM, mạng lưới chứng minh và đưa sản phẩm ra thị trường. Đồng thời, cộng đồng của Brevis đã tăng rõ rệt vào năm 2025, phối hợp với Proving Grounds, hệ thống vai trò và nhiệm vụ thu hút các nhà phát triển và người dùng tham gia liên tục. Thêm vào đó, sự công khai của Vitalik và Justin Drake của Quỹ Ethereum trong các cuộc thảo luận và nghiên cứu về tiến trình này đã tạo nên sự ủng hộ và niềm tin từ bên ngoài dành cho Brevis như một hạ tầng nền tảng mở rộng quy mô.

Từ Ethereum đến thế giới rộng lớn hơn

Việc mở rộng quy mô Ethereum lâu nay mắc kẹt trong một tình thế tiến thoái lưỡng nan về cấu trúc: hoặc để tất cả các nút lặp lại tính toán để đổi lấy an toàn và phi tin cậy, nhưng thông lượng và chi phí bị hạn chế bởi tính toán toàn mạng; hoặc outsource tính toán để nâng cao hiệu quả, nhưng phải tin tưởng vào một bên tính toán nào đó. Brevis cố gắng cung cấp con đường thứ ba — đưa các tính toán phức tạp ra ngoài chuỗi, rồi dùng chứng minh mang tính xác thực trở lại để xác minh trên chuỗi, thúc đẩy hệ thống từ việc lặp lại tính toán sang phân công kết quả xác minh. Giá trị của nó không chỉ nằm ở một sản phẩm cụ thể, mà là việc mở ra toàn bộ chuỗi liên kết tính toán xác thực.

Brevis không phải là giải pháp duy nhất cho vấn đề mở rộng của Ethereum, nhưng nó thể hiện rõ giá trị của lớp tính toán xác thực, tách rời tính toán và xác minh, vừa đảm bảo an toàn và phi tập trung, vừa giảm tải cho thực thi trên chuỗi. Điều quan trọng hơn, lớp tính toán vô hạn không chỉ hoạt động trên Ethereum. Đối với toàn ngành mã hóa, nó có nghĩa là nhiều ứng dụng trên chuỗi có thể đạt được độ phức tạp và trải nghiệm gần như Web2 mà không hy sinh an toàn; còn trong thế giới truyền thống rộng lớn hơn, tính toán có thể xác minh sau tính toán cung cấp một phương thức hợp tác mới — khi nhiều bên cần chia sẻ kết quả nhưng không thể chia sẻ niềm tin, chứng minh có thể trở thành ngôn ngữ chung mới. Khi các mạng chứng minh mở như ProverNet trưởng thành, những gì Brevis xây dựng không chỉ là khả năng của một chuỗi, mà còn là một khả năng cung cấp tính toán đáng tin cậy xuyên ngành, xuyên hệ sinh thái.