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

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

Brevis không chỉ là một ứng dụng cụ thể, mà còn là một tầng tính toán có thể xác minh. Là một tầng tính toán vô hạn (Infinite Compute Layer), Brevis cho phép thực hiện các tính toán phức tạp ngoài chuỗi (off-chain), sau đó sử dụng bằng chứng zero-knowledge để đưa kết quả trở lại chuỗi, và hợp đồng thông minh có thể xác minh kết quả với chi phí cực thấp. Điều này rất quan trọng vì mô hình an toàn mặc định của Ethereum về bản chất dựa vào việc tính toán lại toàn bộ mạng. Sau khi nhận được một khối mới, mỗi nút xác minh 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 của khối đó thực sự chính xác. Dù đảm bảo tính chính xác, nhưng đồng nghĩa với việc tiêu thụ năng lực tính toán và tài nguyên sẽ tiếp tục tăng theo khối lượng công việc. Brevis đang thay đổi phần tính toán nặng và phải lặp lại này thành một lần tính toán duy nhất, sau đó toàn mạng xác minh. Tính toán được thực hiện ngoài chuỗi và tạo ra bằng chứng, trong khi chuỗi và các nút chỉ cần xác minh một bằng chứng rất nhỏ.

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

Mở rộng giới hạn của hợp đồng thông minh: Siêu năng lực từ ZK Data Coprocessor mang lại

Đột phá công nghệ ban đầu của Brevis là ZK Data Coprocessor. Nó cho phép hợp đồng thông minh truy vấn dữ liệu lịch sử chuỗi trên bất kỳ phạm vi nào, thực hiện tính toán ngoài chuỗi và tạo ra bằng chứng không có kiến thức (zero-knowledge proof), sau đó cung cấp kết quả tính toán như một đầ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 hoặc hành vi người dùng trên chuỗi, đồng thời tạo ra bằng chứng không có kiến thức để hợp đồng có thể xác minh. Nhờ đó, các hợp đồng trước đây chỉ có thể truy cập dữ liệu của khối hiện tại nay có thể tận dụng dữ liệu trong một khoảng thời gian dài và trạng thái liên chuỗi.

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

Nếu nhìn lại lộ trình công nghệ của Brevis trước năm 2025, thực ra chỉ có một đường chính duy nhất: trước hết xác định rõ giới hạn hiệu năng của hệ thống chứng minh, sau đó xây dựng thành một bộ xử lý phụ (Coprocessor) có thể sử dụng được cho việc tính toán ngoài chuỗi (off-chain) và xác minh trên chuỗi (on-chain), đồng thời liên tục cải tiến về mặt kỹ thuật. Tiếp theo, sẽ tiếp tục khám phá các hình thức vận hành có hệ thống hơn.Điều đáng quý hơn nữa là thể hiện rõ bản chất của đội nhóm, vừa hiểu về mật mã học, vừa hiểu về kỹ thuật hệ thống quy mô lớn, không dựa vào việc chứng minh lý thuyết trên giấy để chiến thắng, mà từ giai đoạn đầu của dự án đã xác định được những điểm nghẽn trong ngành và cam kết thúc đẩy việc áp dụng quy mô lớn công nghệ.

Khi năng lực chứng minh đi vào cấp độ hệ thống: Pico zkVM và ProverNet

Năm 2025, Brevis đã hoàn thiện thêm hai trong ba trụ cột còn lại. Một là Pico zkVM - một bộ máy thực thi bằng chứng (proof execution engine) phổ dụng và phù hợp hơn cho môi trường sản xuất, và thứ hai là ProverNet - một nền tảng cung cấp khả năng tạo bằng chứng mở, biến khả năng chứng minh thành một nguồn cung cấp bằng chứng liên tục và có quy mô.

Pico zkVM có thể được hiểu là một động cơ chứng minh tổng quát của Brevis, giúp chuyển đổi việc tạo chứng minh kiến thức bằng không từ các mạch chuyên dụng, điều chỉnh thủ công sang một hình thức gần giống hơn với kỹ thuật phần mềm – các nhà phát triển có thể viết logic bằng cách quen thuộc, sau đó hệ thống sẽ chuyển đổi chúng thành kết quả chứng minh có thể xác minh được. Điều quan trọng hơn là, ngay từ đầu, Pico đã hướng đến hiệu suất xử lý và chi phí phù hợp với các ứng dụng thực tế. Dưới cùng một bộ tiêu chuẩn, Brevis đã đưa ra so sánh cho thấy Pico có ưu thế hiệu năng rõ rệt so với các zkVM phổ biến hiện nay, đồng thời còn có thể đạt hiệu quả cao hơn nữa trong các loại tính toán cụ thể nhờ vào các thành phần hoặc bộ xử lý phụ có thể thay thế linh hoạt.

Tháng 6 năm 2025, Brevis ra mắt Pico-GPU, đưa tốc độ tạo bằng chứng theo thời gian thực lên một mốc ngoặt quan trọng, không chỉ đối với giao thức mà còn cho toàn bộ ngành công nghiệp.Pico-GPU đã hệ thống hóa việc chuyển quy trình cốt lõi tạo ra bằng chứng sang tính toán song song trên GPU. Theo số liệu chính thức, hiệu suất được cải thiện từ 10 đến 20 lần, đây là bước nhảy vọt chất lượng so với các giải pháp trước đây.

Pico Prism được phát hành vào tháng 10 đã đưa hướng này đến một ngưỡng rất trực quan, với cấu hình sử dụng 64 GPU cấp người tiêu dùng, đã đạt được 99,6% khối Ethereum 45M gas được chứng minh trong vòng 12 giây, 96,8% được chứng minh trong vòng 10 giây, thời gian chứng minh trung bình khoảng 6,9 giây, gần như đạt mục tiêu mà Quỹ Ethereum đặt ra.Lần đầu tiên, tốc độ tạo bằng chứng theo thời gian thực gần như hoàn hảo đã bắt kịp tốc độ tạo khối của Ethereum, đồng thời sử dụng ít tài nguyên hơn so với các sản phẩm cạnh tranh.

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

Sau khi thành công trong việc phát triển một zkVM phổ dụng và công nghệ chứng minh theo thời gian thực, Brevis bắt đầu giải quyết vấn đề cung cấp chứng minh. Vào tháng 11 năm 2025, Brevis công bố tầm nhìn ProverNet, biến khả năng chứng minh thành một thị trường, nơi bất kỳ ứng dụng nào cũng có thể gửi các nhiệm vụ chứng minh và được ghép nối với các nút prover (người chứng minh) thông qua cơ chế đấu giá. Phiên bản Beta của mạng chính thức được ra mắt vào tháng 12 tiếp tục triển khai tầm nhìn này dưới dạng sản phẩm có thể sử dụng, cho phép thị trường vận hành liên tục, các yêu cầu chứng minh có thể được gửi trực tiếp, các nút prover có thể đăng ký và bắt đầu đấu thầu nhận nhiệm vụ, và các ứng dụng không còn cần phải tự xây dựng cơ sở hạ tầng chứng minh.

Bằng cách sử dụng ba yếu tố cốt lõi, Brevis đã biến việc chứng minh tính năng thành một phần của hạ tầng, không chỉ có một động cơ chứng minh có thể mở rộng quy mô mà còn có một mạng lưới cung cấp chứng minh mở, cho phép các ứng dụng nhận được tính toán có thể xác minh theo nhu cầu. Ý nghĩa của nó không chỉ giới hạn ở Ethereum — mẫu hình tính toán ngoại chuỗi và xác minh nội chuỗi này sẽ lan rộng ra toàn bộ Web3, thậm chí cả các ngành công nghiệp khác như AI và trò chơi.

Giao thức không nói dối: Điều quan trọng là phải sử dụng thử.

Giá trị công nghệ của Brevis cuối cùng được thể hiện trong các ứng dụng thực tế. Nó không phải là một khái niệm được trưng bày trên các vật liệu quảng bá, mà là một phần thiết yếu trong hoạt động hàng ngày của giao thức: cách thức truy xuất dữ liệu, cách tính toán chỉ số, cách phân phối phần thưởng, cách điều chỉnh tỷ lệ phí – những việc trước đây hoặc không thể thực hiện được, hoặc chỉ có thể thực hiện bằng các tập lệnh trung tâm cứng nhắc. Bây giờ, một con đường theo hướng giao thức rõ ràng hơn đang dần hình thành. Trong quá trình này, Brevis đã tạo ra hơn 280 triệu bằng chứng cho người dùng, phân phối hơn 230 triệu USD phần thưởng và an toàn thúc đẩy sự tăng trưởng TVL lên tới 2,5 tỷ USD.

Một cách tiếp cận trực quan nhất để hiểu về Brevis là bắt đầu từ giao dịch - điều mà người dùng quen thuộc nhất. Brevis có thể giúp DEX sở hữu các chức năng tương tự CEX, trong khi vẫn đảm bảo tính riêng tư và tính xác thực của dữ liệu, qua đó cải thiện trải nghiệm giao dịch của người dùng DEX. PancakeSwap Infinity thông qua các hooks đã làm cho việc phân cấp phí giao dịch trở nên khả thi, các hành vi lịch sử như sở hữu token, khối lượng giao dịch... đều ảnh hưởng đến mức phí của giao dịch hiện tại. Tuy nhiên, các phán đoán này cần dựa vào việc tổng hợp dữ liệu lịch sử, nếu lưu trữ trên chuỗi sẽ quá tốn kém, còn lưu trữ ngoài chuỗi lại dẫn đến vấn đề tin cậy. Điều mà Brevis làm là tính toán rõ ràng các hành vi lịch sử ngoài chuỗi, sau đó sử dụng bằng chứng để đưa dữ liệu trở lại chuỗi, cho phép mức phí khác biệt được ghi vào hợp đồng thông minh, thay vì như CEX là ghi vào các tập lệnh phía sau.

Nếu PancakeSwap tương ứng với trải nghiệm cá nhân hóa giống như CEX, thì Usual lại thể hiện một cơ chế tăng trưởng dài hạn hơn, chuyển đổi các phần thưởng một lần từ airdrop thành CPI hoạt động liên tục. Các phần thưởng này gắn liền với hành vi nắm giữ và tương tác trong thời gian dài, và Brevis biến các chỉ số này thành đầu vào có thể xác minh, tự động hóa và có thể kiểm toán việc phân phối, không cần cộng đồng phải tin vào một bảng thống kê vận hành hoặc người phát hành trung tâm. Bằng cách sử dụng Incentra để tiêu chuẩn hóa việc phát hành phần thưởng, giao thức muốn phát hành phần thưởng LP, cho vay hoặc nắm giữ, cốt lõi là tính toán chỉ số ngoại chuỗi, sau đó thanh toán trên chuỗi theo bằng chứng. Hoạt động của Euler trên Arbitrum là ví dụ tiêu biểu — phần thưởng không dựa vào việc thống kê thủ công hay phát hành bằng chữ ký đa người, mà là sự phân bổ liên tục được hỗ trợ bởi các quy tắc và bằng chứng.

Khi mở rộng quy mô lên cấp độ hệ sinh thái, chương trình Ignition của Linea càng thể hiện rõ tầm quan trọng. Vấn đề không phải là việc phát các phần thưởng, mà là cách phát chúng như thế nào. Brevis cho phép tính toán các phần thưởng quy mô lớn được thực hiện ngoại chuỗi (off-chain), sau đó đưa tính xác thực trở lại chuỗi (on-chain) để kiểm chứng, qua đó biến việc phát phần thưởng từ một hành động vận hành trung tâm thành một năng lực hệ thống có thể tái sử dụng. Một ví dụ tương tự về hệ thống là chương trình hoàn tiền (Routing Rebate Program) của Uniswap v4. Việc xác định xem giao dịch định tuyến có xảy ra hay không, cách thống kê mức tiêu thụ gas, và cách tính toán số tiền hoàn trả đều là một chuỗi liên quan đến dữ liệu - tính toán - thanh toán. Trong chuỗi này, Brevis đảm nhận vai trò tính toán ngoại chuỗi và tạo ra bằng chứng, giúp hệ thống hoàn tiền dựa trên quy tắc cộng với việc kiểm chứng, thay vì dựa vào việc tin tưởng một bên thống kê cụ thể.

Khi xem xét các ví dụ này như một chuỗi, có thể thấy rằng việc Brevis thu thập dữ liệu, tính toán chỉ số và tạo bằng chứng đã cho phép giao thức thực hiện nhiều logic trước đây chỉ có thể được thực hiện thông qua nền tảng trung tâm, mà không làm ảnh hưởng đến tính phi tập trung. Nhờ đó, các giao thức trong ngành công nghiệp mật mã có thể thực hiện nhiều điều hơn, và không gian thiết kế cũng vì thế mà được mở ra lại.

Ai đang ủng hộ công nghệ chủ nghĩa lâu dài?

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

Điều này có thể nhìn thấy rõ qua sự hỗ trợ lâu dài từ cả cộng đồng và các tổ chức đầu tư đối với Brevis. Vào tháng 11 năm 2024, Brevis đã hoàn thành vòng huy động vốn hạt giống, với các tổ chức hàng đầu như Polychain và Yzi Labs dẫn đầu, cung cấp nguồn vốn để tiếp tục phát triển zkVM, mạng lưới chứng minh và triển khai sản phẩm. Đồng thời, cộng đồng của Brevis đã ghi nhận sự tăng trưởng đáng kể vào năm 2025, với các tính năng như Proving Grounds, hệ thống vai trò và cơ chế 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 nhận công khai từ Vitalik và sự quan tâm của Justin Drake từ Quỹ Ethereum trong các thử nghiệm và thảo luận liên quan đến những tiến triển này đã cùng tạo nên sự bảo chứng bên ngoài và vốn niềm tin, giúp Brevis tiếp tục mở rộng vai trò của mình như một hạ tầng.

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

Ethereum trong thời gian dài bị kẹt trong một nghịch lý cấu trúc: hoặc để đảm bảo an toàn và phi tập trung, tất cả các nút phải tính toán lại, nhưng điều này lại làm hạn chế khả năng xử lý và chi phí do toàn mạng phải tính toán lại; hoặc là thuê bên ngoài thực hiện tính toán để nâng cao hiệu suất, nhưng phải tin tưởng thêm vào một bên tính toán nào đó. Brevis đang cố gắng mở ra con đường thứ ba – thực hiện các tính toán phức tạp ở ngoài chuỗi, sau đó sử dụng bằng chứng để đưa tính khả tín trở lại chuỗi để xác minh, chuyển hệ thống từ mô hình tính toán lặp lại sang mô hình phân công kết quả xác minh. Giá trị của nó do đó không nằm ở một tính năng sản phẩm cụ thể nào đó, mà nằm ở việc kết nối toàn bộ quy trình tính toán có thể xác minh.

Brevis không phải là giải pháp duy nhất để mở rộng quy mô Ethereum, nhưng nó thể hiện rõ giá trị quan trọng của lớp tính toán có thể xác minh, tách biệt 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 bớt áp lực thực thi trên chuỗi. Điều quan trọng hơn là, hiệu quả của lớp tính toán vô hạn không chỉ giới hạn ở Ethereum. Đối với toàn bộ ngành công nghiệp mật mã, điều này 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 làm tổn hại đến an toàn. Nếu nhìn rộng ra thế giới truyền thống, mô hình tính toán có thể xác minh theo nguyên tắc "tính trước, kiểm tra sau" cũng cung cấp một cách 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, bằng chứng có thể trở thành ngôn ngữ chung mới. Khi các mạng chứng minh mở như ProverNet ngày càng trưởng thành, Brevis sẽ không chỉ tăng cường năng lực cho một chuỗi cụ thể, mà còn tạo ra một nguồn tính toán đáng tin cậy có thể được gọi dùng xuyên hệ sinh thái và vượt qua ranh giới ngành nghề.

Nhấp để biết thêm về các vị trí tuyển dụng của BlockBeats

Chào mừng bạn tham gia cộng đồng chính thức của BlockBeats:

Nhóm đăng ký Telegram:https://t.me/theblockbeats

Nhóm trao đổi Telegram:https://t.me/BlockBeats_App

Tài khoản chính thức của Twitter:https://twitter.com/BlockBeatsAsia