2.88 tỷ bằng chứng triển khai: Brevis đưa "tính toán có thể xác minh" đến trước thềm bùng nổ
Tuyển chọn TechFlowTuyển chọn TechFlow
2.88 tỷ bằng chứng triển khai: Brevis đưa "tính toán có thể xác minh" đến trước thềm bùng nổ
Là lớp tính toán vô hạn của vạn vật, Brevis không chỉ được xây dựng cho Ethereum mà còn có khả năng triển khai mạnh mẽ trong các kịch bản ứng dụng cấp sản xuất đa dạng của hệ sinh thái đa chuỗi.
Chuyên sâu báo cáo Web3Tác giả: TechFlow
Đứng ở vị trí của Vitalik, mọi hành động đều là tâm điểm chú ý.
Nếu anh ấy một lần nhắc đến một dự án nào đó trên mạng xã hội, mọi người sẽ suy đoán động cơ đằng sau, nhưng nếu anh ấy nhiều lần chia sẻ, bình luận về một dự án, thậm chí dùng từ "cảm thấy hào hứng" để miêu tả, thì không cần phải suy đoán gì nữa, điều này đại diện cho sự quan tâm lâu dài và sự công nhận cao độ.
Rất có thể bạn đã biết dự án này: Nền tảng tính toán thông minh có thể xác minh bằng ZK Brevis.
Tháng 10 năm 2025, Brevis thông báo ra mắt zkVM Pico Prism, thực hiện chứng minh thời gian thực cho Ethereum trên phần cứng cấp tiêu dùng, và với sự ủng hộ chia sẻ từ tầng lớp cốt lõi của Ethereum bao gồm Vitalik Buterin, tài khoản Twitter chính thức của Ethereum cũng như các nhà nghiên cứu OG của Ethereum, chính thức bước lên sân khấu trung tâm của việc mở rộng quy mô Ethereum trong tương lai.
Trong khi hệ sinh thái Ethereum vui mừng vì loạt cột mốc công nghệ của Brevis có khả năng đạt được mức mở rộng 100 lần vào năm 2026, Brevis thông qua hàng loạt hợp tác sinh thái trọng yếu với Usual, PancakeSwap, Aster, Euler, Linea, Uniswap và nhiều dự án khác, đã truyền tải mạnh mẽ thông điệp:
Là tầng tính toán vô hạn cho vạn vật, Brevis không chỉ được xây dựng cho Ethereum, mà còn sở hữu khả năng triển khai mạnh mẽ trong các kịch bản ứng dụng cấp sản xuất đa dạng của hệ sinh thái đa chuỗi.
Vào tháng 10, trong một cuộc phỏng vấn công khai, Michael, đồng sáng lập kiêm CEO của Brevis, đã từng nói:
Chúng tôi hy vọng rằng sau 10 năm nữa, 99% các tính toán liên quan đến EVM sẽ diễn ra off-chain và được thực hiện thông qua Brevis để đạt được tính toán có thể xác minh.
Từ tương lai mở rộng của Ethereum, đến 288 triệu chứng minh đã được tạo ra trong các kịch bản cấp sản xuất, làn sóng do Brevis tạo ra sẽ đẩy nhanh tương lai của Ethereum bao nhiêu năm? Và sẽ đẩy ranh giới của tính toán có thể xác minh bằng ZK trong các kịch bản cấp sản xuất đi xa đến đâu?
Thị trường trầm lắng, nhưng Brevis tuyệt đối nóng bỏng
Đây là một dự án, nhìn từ bất kỳ góc độ nào, cũng đều có hào quang ngôi sao sáng chói.
Năm 2023, khi câu chuyện ZK bước vào giai đoạn lắng đọng, một nhóm tiến sĩ khoa học máy tính, Crypto OG tốt nghiệp từ các trường đại học danh tiếng như UIUC, MIT, Berkeley, Princeton, mang theo tầm nhìn "làm cho tính toán quy mô lớn trở nên có thể xác minh", cùng nhau bước vào cuộc đua, Brevis ra đời từ đó.
Nền tảng học thuật sâu sắc của các thành viên cốt lõi tạo nên phong cách nghiêm ngặt của Brevis trong việc thực hiện công nghệ, cũng khiến Brevis thường xuyên vượt ra khỏi khuôn khổ nhờ những đột phá công nghệ quan trọng, như vừa đề cập, việc thực hiện chứng minh thời gian thực cho Ethereum trên phần cứng cấp tiêu dùng đã gây ra sự chú ý lớn, bao gồm cả sự hưởng ứng của các thành viên cốt lõi như Vitalik Buterin, tài khoản Twitter chính thức của Ethereum và nhà nghiên cứu OG của Ethereum Justin Drake, đến nay vẫn được cộng đồng bàn tán sôi nổi.
Vitalik Buterin chia sẻ và gọi đó là: Đây là một bước tiến quan trọng về tốc độ và sự đa dạng trong xác minh ZK-EVM.
Tài khoản Twitter chính thức của Ethereum khi chia sẻ đã viết: Đây là một bước tiến lớn hướng tới tương lai của Ethereum.
Nhà nghiên cứu OG của Ethereum Justin Drake thì viết một bài dài giới thiệu zkVM Pico Prism và nói: Tương lai của Ethereum rất tươi sáng.
"Học thuật" từng là một trong những nhãn dán nổi bật nhất trên ZK, trong những nghi ngờ về việc ZK lâu dài chỉ dừng lại ở giai đoạn khái niệm, chậm trễ không thể triển khai, "học thuật" đối với ZK đôi khi lại trở thành một sự châm biếm ngầm.
Là những người theo chủ nghĩa học thuật thực tế, các thành viên nhóm cốt lõi của Brevis tất nhiên cũng nhận thấy điều này, trong khi theo đuổi sự nghiêm ngặt về công nghệ, lại luôn kiên trì lấy nhu cầu làm động lực thúc đẩy sản phẩm, ZK không phải là mục đích, mà là một phương tiện.
Triết lý này thúc đẩy Brevis sớm đi từ phòng thí nghiệm đến ứng dụng thực tế:
Theo trang hệ sinh thái trên trang web chính thức, Brevis đã thiết lập hợp tác với hàng chục dự án, bao phủ các lĩnh vực như DeFi, cơ sở hạ tầng, stablecoin, trong đó chúng ta dễ dàng nhận thấy sự hiện diện của các dự án nổi tiếng như PancakeSwap, Metamask, Linea, Uniswap, Aster. Hiện tại, Brevis đã tạo ra hơn 288 triệu chứng minh ZK, với hơn 200 nghìn người dùng, phân phối 230 triệu USD tính toán phần thưởng có thể xác minh, TVL được cung cấp bởi Brevis vượt quá 2,54 tỷ USD.
Thị trường vốn cũng sớm bỏ phiếu tín nhiệm cho Brevis:
Tháng 9 năm 2024, Brevis hoàn thành vòng gọi vốn 7,5 triệu USD, thu hút Polychain Capital và Yzi Labs cùng dẫn đầu, với sự tham gia của IOSG Ventures, Nomad Capital, Bankless Ventures, Hashkey và một số nhà đầu tư thiên thần chưa tiết lộ.
Vì vậy, nói Brevis nóng bỏng, thực ra không hề pha trộn sự cường điệu.
Nhưng trọng lượng thực sự của một dự án, không bao giờ chỉ nằm ở việc nó nhận được bao nhiêu sự công nhận, mà căn bản nằm ở việc làm thế nào để mang lại sự thay đổi thực sự cho thế giới thực, lý do Brevis trở thành dự án ngôi sao không thể tách rời tính khả thi về công nghệ và khả năng triển khai quy mô lớn của giải pháp mà nó mang lại.
Đi vào đằng sau câu chuyện "Tầng tính toán vô hạn cho vạn vật": Brevis thực hiện như thế nào?
Tóm tắt cốt lõi của Brevis trong một câu: Tính toán off-chain, xác minh on-chain.
Là một nền tảng cơ sở hạ tầng tập trung vào tính toán có thể xác minh bằng zero-knowledge (ZK), Brevis di chuyển các tính toán đắt đỏ, bị hạn chế trên chuỗi sang môi trường off-chain hiệu quả để thực thi, sau đó sử dụng chứng minh ZK để đưa kết quả trở lại chuỗi một cách an toàn, không cần lo lắng về chi phí Gas tăng vọt, đồng thời không cần lo lắng về vấn đề an ninh và tin cậy.
Xoay quanh tầm nhìn "Tầng tính toán vô hạn cho vạn vật", hệ sinh thái Brevis sở hữu ba thành phần sản phẩm: Pico zkVM, ZK Data Coprocessor và ProverNet.
Pico zkVM có thể được coi là động cơ của tầm nhìn "tầng tính toán vô hạn" của Brevis, nó được thiết kế chuyên biệt để xây dựng các ứng dụng phi tập trung an toàn, có thể mở rộng, hiệu suất cao, so với các zkVM khác có một loạt lợi thế cốt lõi:
Đầu tiên, Pico zkVM linh hoạt và có ngưỡng vào thấp, thiết kế mô-đun hóa cho phép nhà phát triển tùy chỉnh chức năng như xếp hình khối, và hỗ trợ nhà phát triển viết bất kỳ chương trình nào bằng Rust đồng thời tương thích RISC-V, không cần học ngôn ngữ mạch phức tạp, cũng không cần tối ưu hóa đệ quy thủ công, nhà phát triển chỉ cần thay đổi vài dòng cấu hình là có thể điều chỉnh hiệu suất, chi phí, an ninh tối ưu cho ứng dụng của mình.
Quan trọng hơn, Pico zkVM nhanh hơn, có thể chứng minh bất kỳ tính toán nào, điều này về cơ bản giải quyết vấn đề khó khăn trong việc triển khai ZK quy mô lớn: Phiên bản đa GPU Pico Prism ra mắt năm 2025 đã đạt được tỷ lệ phủ chứng minh thời gian thực 99,6% cho các khối mạng chính Ethereum trên phần cứng cấp tiêu dùng, khiến Brevis trở thành zkVM nhanh nhất toàn cầu, so với giải pháp SP1 Hypercube đứng thứ hai, Pico Prism nhanh hơn 32 lần, đồng thời giảm 50% chi phí phần cứng GPU, hỗ trợ tạo chứng minh với chi phí thấp hơn, hiệu quả cao hơn.
Ngoài ra, thông qua sự hợp tác với chức năng cốt lõi khác là ZK Data Coprocessor, Pico zkVM sẽ đạt được sự gia tăng hiệu suất mạnh mẽ trong việc xử lý dữ liệu lịch sử trên chuỗi, điều này làm cho Pico zkVM thiết thực hơn, có khả năng hơn trong việc đạt được sự áp dụng quy mô lớn trong môi trường sản xuất.
ZK Data Coprocessor (Bộ xử lý đồng hành dữ liệu ZK) có thể coi là sản phẩm trưởng thành nhất, được triển khai rộng rãi nhất của Brevis. Tác dụng cốt lõi của nó là: Cho phép hợp đồng thông minh truy cập và tính toán bất kỳ dữ liệu lịch sử trên chuỗi nào một cách không cần tin cậy, chi phí thấp, giống như lắp cho hợp đồng một "cơ sở dữ liệu lịch sử vô hạn".
Trước đây, hợp đồng muốn đọc dữ liệu lịch sử, thường có hai lựa chọn: Một là tự tra cứu chậm rãi, nhưng Gas đắt một cách khó tin; cách khác là thông qua oracle tập trung, nhưng tồn tại rủi ro về tin cậy và an ninh.
ZK Data Coprocessor đưa ra lựa chọn thứ ba: Không chỉ có thể truy cập hầu hết mọi thông tin lịch sử trên chuỗi, mà ngưỡng sử dụng rất thấp, nhà phát triển không cần hiểu mạch ZK vẫn có thể gọi dữ liệu, Brevis backend sẽ tự động lấy dữ liệu lịch sử thực từ chuỗi, tạo chứng minh ZK hiệu quả và xác minh, toàn bộ quá trình chi phí Gas cực thấp, và hoàn toàn không cần tin cậy.
Mô-đun sản phẩm then chốt cuối cùng là ProverNet: Đây là một thị trường phi tập trung để tạo chứng minh ZK, bất kỳ ứng dụng nào có thể gửi nhu cầu chứng minh, bất kỳ người tạo chứng minh chuyên nghiệp nào có thể đấu thầu hoàn thành nhiệm vụ.
Chúng ta biết rằng, dưới các dự án, kịch bản khác nhau, nhu cầu về chứng minh cũng muôn hình vạn trạng, nếu mỗi ứng dụng tự xây dựng cơ sở hạ tầng chứng minh, không chỉ chi phí cao, mà hiệu quả còn thấp.
ProverNet thì nỗ lực đưa việc tạo chứng minh vào thị trường công khai: Ứng dụng đưa ra nhu cầu, người tạo chứng minh chuyên nghiệp báo giá và đáp ứng nhu cầu, nhiệm vụ phức tạp có thể phân giải thành nhiệm vụ con, do những người tạo chứng minh khác nhau hợp tác hoàn thành, sau khi chứng minh được tạo, có thể xác minh đến bất kỳ chuỗi mục tiêu nào.
Nhiệm vụ được ghép nối thông qua Truthful Online Double Auction (TODA, Đấu giá kép trực tuyến trung thực) của Brevis, đồng thời ProverNet chạy trên Rollup chuyên dụng Brevis Chain do Brevis triển khai, đảm bảo thêm hiệu quả. Hiện tại, ProverNet đã ra mắt phiên bản Mainnet Beta.
Ba thành phần sản phẩm này lồng ghép vào nhau từng tầng: ZK Data Coprocessor chịu trách nhiệm "lấy dữ liệu", Pico zkVM giải quyết vấn đề "tạo chứng minh an toàn hiệu quả", còn ProverNet thông qua thị trường quyết định ai sẽ chứng minh và cách chứng minh tối ưu như thế nào, hình thành một vòng khép kín hoàn chỉnh cho "tính toán có thể xác minh vô hạn".
Chỉ nói về công nghệ như vậy, có thể đối với nhiều người mới vẫn còn hơi trừu tượng.
May mắn thay, Brevis có các kịch bản ứng dụng rất phong phú, có thể giúp người dùng trong các ví dụ cụ thể sinh động, nhanh chóng hiểu được lợi thế cốt lõi của Brevis, cũng như giá trị cốt lõi để đạt được "tầng tính toán vô hạn cho vạn vật".
Từ mở rộng Ethereum đến 288 triệu chứng minh: Sự triển khai quy mô thực sự
Về việc thảo luận kịch bản sử dụng của Brevis, không gì nhiều bằng việc mở rộng Ethereum.
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 xác nhận lộ trình mở rộng L1 zkEVM: Một node tạo ra một chứng minh ZK cho một khối, chứng minh này có thể được xác minh bởi hàng triệu node của toàn mạng, năng lực tính toán cần thiết cho việc xác minh chỉ bằng một phần vạn, thậm chí ít hơn, so với bản thân việc tính toán khối.
Điều này phù hợp cao độ với hướng công nghệ của Brevis, và cũng được thổi bùng hoàn toàn nhờ việc ra mắt Brevis zkVM Pico Prism.
Ngày 15 tháng 10 năm 2025, Brevis thông báo zkVM Pico Prism mà họ ra mắt đã thực hiện chứng minh thời gian thực cho Ethereum trên phần cứng cấp tiêu dùng: Sử dụng 64 card đồ họa RTX 5090, hoàn thành chứng minh cho 99,6% các khối L1 của Ethereum trong vòng 12 giây, trong đó 96,8% thời gian chứng minh khối thấp hơn tiêu chuẩn dưới 10 giây do Quỹ Ethereum đặt ra. Trong thử nghiệm ngày 1 tháng 9 năm 2025, trong điều kiện giới hạn gas hiện tại của Ethereum là 45M, thời gian chứng minh trung bình của Pico Prism chỉ là 6,9 giây.
Điều này có nghĩa là, về lý thuyết, thông qua zkVM Pico Prism, Ethereum sẽ có thể ngay lập tức đạt được mức mở rộng 10 thậm chí 100 lần, và do Pico zkVM hỗ trợ tính toán song song đa GPU, Brevis thậm chí có thể đạt được mức mở rộng vô hạn thực sự mà không cần tăng thêm nhiều tài nguyên tính toán.
Tại hội nghị ETH Devconnect tháng 11 năm 2025, nhà nghiên cứu OG của Ethereum Justin Drake đã trình diễn trực tiếp thông qua Demo về việc Pico ZKVM của Brevis hoàn thành thuật toán đồng thuận mới, không lâu sau đó Vitalik cũng đăng tweet chia sẻ về những cải tiến mà Ethereum có thể thúc đẩy trong tương lai xoay quanh hướng này. Những tiến bộ đột phá của Brevis Pico ZKVM khiến lộ trình mở rộng L1 zkEVM của Ethereum từ kế hoạch thực sự trở thành tương lai có thể đạt được.
Mặc dù việc Brevis thực hiện chứng minh thời gian thực cho Ethereum gây ra cuộc thảo luận sôi nổi tràn ngập màn hình, nhưng giá trị của Brevis tuyệt đối không chỉ nằm ở Ethereum.
Về lý thuyết, logic "tính toán off-chain, xác minh on-chain" này của Brevis áp dụng cho bất kỳ kịch bản nào, và stack công nghệ của Brevis hỗ trợ đa chuỗi, theo đuổi việc thực hiện "tính toán vô hạn cho vạn vật", đây cũng là một lợi thế cốt lõi khác của Brevis ngoài công nghệ: Sự triển khai quy mô lớn trong kịch bản thực tế.
Nếu bạn là người tham gia tích cực trong thế giới crypto, rất có thể bạn đã vô tình trải nghiệm dịch vụ của Brevis.
Một năm qua, Brevis thiết lập hợp tác sâu rộng với hàng chục giao thức hàng đầu, đối tác hợp tác gần như bao phủ các dự án hàng đầu trong lĩnh vực DeFi, stablecoin, DEX, hệ sinh thái L2, thể hiện thêm sự công nhận của ngành đối với Brevis, và mỗi hợp tác không phải là "tích hợp khái niệm" hời hợt bề mặt, mà là thực sự ứng dụng quy mô lớn trong môi trường sản xuất, thể hiện giá trị to lớn của tính toán có thể xác minh trong đa kịch bản.
Hợp tác giữa Brevis và PancakeSwap là một trong những ví dụ điển hình nhất: DEX truyền thống không thể truy cập dữ liệu lịch sử với chi phí thấp, dẫn đến trải nghiệm cá nhân hóa khó thực hiện, trong khi thông qua hợp tác với Brevis, logic phức tạp được thực thi off-chain, xác minh on-chain, sau đó tạo chứng minh khối lượng giao dịch cho người dùng, hợp đồng thông minh thực thi các mức phí khác nhau dựa trên chứng minh, mang lại quản lý trải nghiệm người dùng tinh tế hơn, khiến PancakeSwap tiến hóa từ DEX phí thống nhất thành nền tảng phản hồi thông minh hành vi người dùng.
Ngoài ra, mô hình khuyến khích giao thức liên tục CPI được Brevis và Usual hợp tác cùng khai phá, được nhiều người coi là mô hình mới thay thế cho khuyến khích airdrop và snapshot truyền thống: Brevis ZK Coprocessor thông qua việc theo dõi liên tục hành vi thực tế của người dùng trong hệ sinh thái Usual để xác định những người tham gia thực sự có đóng góp. Điều tương tự cũng đang diễn ra trong các hệ sinh thái như Euler và Linea, thông qua chứng minh ZK xây dựng mô hình phân phối khuyến khích phức tạp, đảm bảo tính công bằng, hợp lý, an toàn và minh bạch của việc phân phối khuyến khích.
Ngoài ra, ngày 24 tháng 10 năm 2025, Quỹ Uniswap còn chính thức thông báo cấp cho Brevis khoản tài trợ tối đa 9 triệu USD, để phát triển và vận hành Chương trình Hoàn trả Định tuyến Hooks (Hooks Routing Rebate Program), chương trình này nhằm sử dụng lợi thế hiệu quả cao, chi phí thấp, không cần tin cậy của chứng minh ZK Brevis, khuyến khích các sản phẩm tổng hợp DEX tích hợp nhanh hơn các hooked pools v4, cuối cùng mang lại lợi ích cho người dùng về thanh khoản, trượt giá, phí giao dịch.
Gần đây, Brevis còn thông báo đạt được hợp tác với DEX đa chuỗi Aster, nhằm tối ưu hóa tốc độ, an ninh và tính riêng tư của DEX vĩnh cửu thông qua công nghệ tính toán có thể xác minh, Brevis có thể di chuyển tính toán phức tạp trên chuỗi xuống off-chain và tạo chứng minh zero-knowledge, để giảm chi phí xác minh trên chuỗi, hai bên sẽ khám phá các giải pháp khả thi trong việc bảo vệ quyền riêng tư vị thế người dùng đồng thời đảm bảo tính minh bạch thị trường.
Những chức năng từng "quá đắt, quá chậm" để thực hiện, giờ đây đều đang được thực hiện thông qua Brevis, mang lại hiệu quả giao dịch cao hơn, phân phối giá trị công bằng hơn và trải nghiệm người dùng xuất sắc hơn.
Trong tương lai, cùng với sự mở rộng của nhiều hợp tác sinh thái hơn và sự trưởng thành của cơ chế thị trường ProverNet, giá trị tính toán có thể xác minh của Brevis còn sẽ thâm nhập sâu hơn trong các kịch bản rộng rãi phong phú hơn.
Để tính toán có thể xác minh, thực sự trở thành cấu hình mặc định của ứng dụng trên chuỗi thế hệ tiếp theo
Trong chu kỳ hiện tại hơi nhàm chán của thị trường crypto, sự chú ý trở nên trung thực hơn: Những thứ không liên tục thực hiện, khó có thể được nhắc đến nhiều lần.
Sự "nóng" của Brevis, không chỉ đến từ hồ sơ trường danh tiếng, danh sách gọi vốn hay tweet chia sẻ từ V神, mà nằm ở việc nó đạp trúng một sự đồng thuận cứng hơn: Để tính toán có thể xác minh, thực sự trở thành cấu hình mặc định của ứng dụng trên chuỗi thế hệ tiếp theo, và thông qua các kịch bản triển khai phong phú để đẩy nhanh sự đến của tương lai tính toán có thể xác minh.
Và chính vì có 288 triệu chứng minh do Brevis tạo ra trong việc triển khai kịch bản thực tế, chúng ta mới có thể cảm nhận rõ ràng hơn: Trải qua nhiều năm mò mẫm, tính toán có thể xác minh bằng ZK thực sự đang ở đêm trước của sự bùng nổ toàn diện.
Tất nhiên, trước khi thực sự tiến tới bùng nổ, tương lai của Brevis vẫn đối mặt với nhiều yếu tố không chắc chắn, ví dụ Pico Prism hiện tại vẫn có không gian tối ưu hóa, Brevis cho biết bước tiếp theo sẽ tập trung vào việc giảm chi phí chứng minh, kế hoạch trong vài tháng tới sử dụng ít hơn 16 GPU RTX 5090 để đạt được 99% chứng minh thời gian thực, ngoài ra vòng tuần hoàn kinh tế của hệ sinh thái Brevis vẫn chưa thực sự bắt đầu khởi động.
Trong tương lai, cùng với những đột phá công nghệ, bổ sung mô-đun kinh tế và đạt được hàng loạt cột mốc, liệu Brevis có thể lần lượt biến những thử thách thành cơ hội chứng minh giá trị, tiếp tục xuất ra "kết quả có thể xác minh" trong các kịch bản đa chuỗi rộng rãi hơn?
Đứng trong xu hướng tương lai của tính toán có thể xác minh, chúng ta giữ kỳ vọng.
Chào mừng tham gia cộng đồng chính thức TechFlow
Nhóm Telegram:https://t.me/TechFlowDaily
Tài khoản Twitter chính thức:https://x.com/TechFlowPost
Tài khoản Twitter tiếng Anh:https://x.com/BlockFlow_News
深潮TechFlow
