Bài viết bởi: TechFlow TechFlow
Đứng ở vị trí của Vitalik, mọi hành động của anh ấy đều trở thành tâm điểm chú ý.
Nếu anh ấy chỉ nhắc đến một dự án trên mạng xã hội lần, mọi người sẽ suy đoán về động cơ của anh ấy. Nhưng nếu anh ấy chia sẻ và bình luận về một dự án lần, hoặc thậm chí mô tả nó là "thú vị", thì không cần phải suy đoán nữa; điều đó thể hiện sự quan tâm lâu dài và mức độ nhận diện cao.
Có lẽ bạn đã quen thuộc với dự án này: Nền tảng điện toán thông minh có thể kiểm chứng ZK Brevis.
Vào tháng 10 năm 2025, Brevis đã công bố ra mắt zkVM Pico Prism, một hệ thống triển khai bằng chứng thời gian thực Ethereum trên phần cứng dành cho người tiêu dùng. Với sự hỗ trợ của Vitalik Buterin, tài khoản Ethereum twitter chính thức của Ethereum và các nhà nghiên cứu thuộc nhóm Ethereum OG, hệ thống này đã chính thức trở thành tâm điểm trong quá trình Ethereum Ethereum.
Trong khi hệ sinh thái Ethereum đang hân hoan trước sê-ri cột mốc kỹ thuật của Brevis, hứa hẹn tăng khả năng mở rộng gấp 100 lần vào năm 2026, Brevis cũng truyền tải mạnh mẽ thông điệp của mình thông qua sự hợp tác với sê-ri các đối tác lớn trong hệ sinh thái, bao gồm Usual, PancakeSwap, Aster, Euler, Linea và Uniswap :
Là một lớp điện toán vô hạn cho mọi thứ, Brevis không chỉ được xây dựng riêng cho Ethereum mà còn có khả năng mạnh mẽ được triển khai trong nhiều kịch bản ứng dụng cấp độ sản xuất khác nhau trên các hệ sinh thái đa chuỗi.
Trong một cuộc phỏng vấn công khai hồi tháng 10, Michael, đồng sáng lập kiêm CEO của Brevis, đã tuyên bố:
Chúng tôi hy vọng rằng trong vòng mười năm tới, 99% các phép tính liên quan đến EVM sẽ được thực hiện ngoài Chuỗi và có thể được xác minh thông qua Brevis.
Từ khả năng mở rộng trong tương lai Ethereum đến 288 triệu bằng chứng đã được tạo ra trong các kịch bản sản xuất thực tế, làn sóng do Brevis khởi xướng sẽ thúc đẩy tương lai của Ethereum trong bao nhiêu năm nữa? Và nó sẽ đẩy giới hạn của tính toán có thể kiểm chứng ZK trong các kịch bản sản xuất thực tế đến mức nào?
Bất chấp thị trường ảm đạm, nhu cầu về Brevis vẫn cực kỳ cao.
Đây là một dự án tỏa sáng rực rỡ từ mọi góc độ.
Vào năm 2023, khi câu chuyện về ZK bước vào giai đoạn lắng xuống, một nhóm các tiến sĩ khoa học máy tính và những người tiên phong trong lĩnh vực mật mã, tốt nghiệp từ các trường đại học danh tiếng như UIUC, MIT, Berkeley và Princeton, với viễn cảnh mong đợi"làm cho điện toán quy mô lớn có thể kiểm chứng được", đã tham gia vào lĩnh vực này, và Brevis ra đời.
Bối cảnh học vấn vững chắc của các thành viên cốt lõi đã định hình cách tiếp cận nghiêm ngặt của Brevis đối với việc triển khai kỹ thuật, đồng thời giúp Brevis thường xuyên nhận được sự công nhận rộng rãi nhờ những đột phá kỹ thuật quan trọng của mình. Như đã đề cập trước đó, việc ông triển khai bằng chứng thời gian thực Ethereum trên phần cứng dành cho người tiêu dùng đã tạo ra phản ứng mạnh mẽ từ các thành viên cốt lõi, bao gồm Vitalik Buterin, twitter chính thức Ethereum , và nhà nghiên cứu kỳ cựu Ethereum, Justin Drake, một thành tựu vẫn được cộng đồng nhắc đến cho đến ngày nay.
Vitalik Buterin đã đăng lại dòng tweet đó, gọi đó là: "Đây là một bước tiến đáng kể trong việc chứng minh tốc độ và tính đa dạng của ZK-EVM."
Khi tài khoản Ethereum twitter chính thức của Ethereum đăng lại bài viết này, họ đã viết: "Đây là một bước tiến lớn hướng tới tương lai của Ethereum."
Justin Drake, nhà nghiên cứu kỳ cựu Ethereum, đã viết một bài báo dài giới thiệu về zkVM Pico Prism và khẳng định rằng tương lai của Ethereum rất tươi sáng.
"Mang tính học thuật" từng là một trong những nhãn hiệu nổi bật nhất của ZK. Tuy nhiên, giữa những nghi ngờ xung quanh sự trì trệ kéo dài của ZK trong giai đoạn sáng tạo và khả năng không thể hoàn thiện tác phẩm của ông, "mang tính học thuật" đôi khi lại trở thành một điều mỉa mai đối với ZK.
Với tư cách là những học giả thực dụng, các thành viên cốt lõi của đội ngũ Brevis đương nhiên đã nhận thấy điểm này. Trong khi theo đuổi sự chặt chẽ về mặt kỹ thuật, họ luôn nhấn mạnh việc phát triển sản phẩm dựa trên nhu cầu. ZK không phải là mục tiêu, mà là phương tiện.
Triết lý này thúc đẩy Brevis chuyển từ phòng thí nghiệm sang ứng dụng thực tiễn ngay từ giai đoạn đầu:
Theo trang hệ sinh thái chính thức của mình, Brevis đã hợp tác với hàng chục dự án trong các lĩnh vực DeFi, cơ sở hạ tầng và stablecoin, trong đó những tên tuổi có tiếng như PancakeSwap, Metamask, Linea, Uniswap và Aster. Hiện tại, Brevis đã tạo ra hơn 288 triệu bằng chứng ZK, có hơn 200.000 người dùng, đã phân phối 230 triệu đô la Mỹ tiền thưởng có thể xác minh và tổng giá trị bị khóa (TVL) vượt quá 2,54 tỷ đô la Mỹ.
Thị trường vốn cũng đã sớm thể hiện sự tin tưởng vào Brevis:
Vào tháng 9 năm 2024, Brevis đã hoàn tất vòng gọi vốn trị giá 7,5 triệu đô la, thu hút Polychain Capital và Yzi Labs làm nhà đầu tư chính, cùng với sự tham gia IOSG Ventures, Nomad Capital, Bankless Ventures, Hashkey và một số nhà đầu tư thiên thần giấu tên.
Do đó, nói rằng Brevis cực kỳ nổi tiếng không phải là một sự phóng đại.
Tuy nhiên, ý nghĩa thực sự của một dự án không chỉ nằm ở mức độ được công nhận mà nó nhận được, mà về cơ bản nằm ở cách nó mang lại sự thay đổi thực sự cho thế giới thực. Vị thế của Brevis như một dự án ngôi sao không thể tách rời khỏi tính khả thi về mặt kỹ thuật và khả năng triển khai quy mô lớn của các giải pháp mà nó cung cấp.
Đi sâu vào câu chuyện về "lớp điện toán vô hạn của mọi thứ": Brevis đã đạt được điều này như thế nào?
Tóm lại, cốt lõi của Brevis là: tính toán Chuỗi và xác minh Chuỗi.
Là một nền tảng cơ sở hạ tầng tập trung vào tính toán có thể kiểm chứng bằng chứng không tiết lộ thông tin (ZK), Brevis chuyển các phép tính Chuỗi tốn kém và bị hạn chế sang một hoàn cảnh ngoài Chuỗi hiệu quả, sau đó sử dụng bằng chứng ZK để đưa kết quả trở lại Chuỗi một cách an toàn, mà không cần lo lắng về chi phí gas tăng cao, vấn đề bảo mật hoặc độ tin cậy.
Được thúc đẩy bởi viễn cảnh mong đợi một "lớp điện toán vô hạn cho mọi thứ", hệ sinh thái Brevis bao gồm ba thành phần sản phẩm chính: Pico zkVM, ZK Data Coprocessor và ProverNet.
Pico zkVM có thể được xem như động cơ viễn cảnh mong đợi "lớp điện toán vô hạn" của Brevis. Nó được thiết kế để xây dựng các ứng dụng phi tập trung an toàn, có mở rộng và hiệu năng cao, và có sê-ri các ưu điểm cốt lõi so với các zkVM khác:
Thứ nhất, Pico zkVM rất linh hoạt và có rào cản gia nhập thấp. Thiết kế mô-đun cho phép các nhà phát triển tùy chỉnh các chức năng như các khối xây dựng, và hỗ trợ họ viết các chương trình tùy ý bằng Rust trong khi vẫn tương thích với RISC-V. Không cần phải học các ngôn ngữ mạch phức tạp hoặc tự tối ưu hóa đệ quy. Các nhà phát triển chỉ cần thay đổi một vài dòng cấu hình để tối ưu hóa hiệu suất, chi phí và bảo mật cho ứng dụng của họ.
Quan trọng hơn, Pico zkVM nhanh hơn và có thể chứng minh bất kỳ phép tính nào, về cơ bản giải quyết vấn đề triển khai ZK quy mô lớn: phiên bản đa GPU của Pico Prism ra mắt năm 2025 đã đạt được độ phủ chứng minh thời gian thực 99,6% đối với các khối mạng chủ Ethereum trên phần cứng cấp người tiêu dùng, đưa Brevis trở thành zkVM nhanh nhất thế giới. 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ợ chi phí thấp hơn và hiệu quả cao hơn trong việc tạo bằng chứng.
Ngoài ra, thông qua sự hợp tác với một chức năng cốt lõi khác, Bộ xử lý dữ liệu ZK, Pico zkVM sẽ đạt được hiệu suất cao hơn trong việc xử lý dữ liệu lịch sử trên Chuỗi , giúp Pico zkVM trở nên thiết thực hơn và cho phép ứng dụng quy mô lớn trong hoàn cảnh sản xuất.
ZK Dữ liệu Coprocessor có thể được xem là sản phẩm hoàn thiện nhất và được triển khai rộng rãi nhất của Brevis. Chức năng cốt lõi của nó là cho phép các 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 mà không cần sự tin tưởng và với chi phí thấp, về cơ bản cung cấp cho hợp đồng một "cơ sở dữ liệu lịch sử vô hạn".
Trước đây, khi các nhà thầu muốn truy cập dữ liệu lịch sử , thường có hai lựa chọn: một là tìm kiếm thủ công, nhưng chi phí gas rất cao; lựa chọn khác là sử dụng một oracle tập trung, nhưng điều này tiềm ẩn rủi ro về lòng tin và bảo mật.
Bộ xử lý dữ liệu ZK (ZK Data Coprocessor) cung cấp một lựa chọn thứ ba: nó không chỉ cung cấp quyền truy cập vào hầu hết mọi thông tin lịch sử Chuỗi, mà còn có rào cản gia nhập rất thấp. Các nhà phát triển không cần phải hiểu về mạch ZK để truy cập dữ liệu . Hệ thống phụ trợ Brevis sẽ tự động lấy dữ liệu lịch sử thực từ Chuỗi , tạo bằng chứng ZK một cách hiệu quả và xác minh chúng. Toàn bộ quy trình có chi phí gas cực thấp và hoàn toàn không cần tin tưởng vào bất kỳ bên nào.
mô-đun sản phẩm quan trọng cuối cùng là ProverNet: một thị trường tạo bằng chứng ZooKeeper phi tập trung, nơi bất kỳ ứng dụng nào cũng có thể gửi yêu cầu cấp bằng chứng và bất kỳ người chứng thực chuyên nghiệp nào cũng có thể đấu thầu để hoàn thành nhiệm vụ.
Chúng ta biết rằng các yêu cầu về bằng chứng xác thực rất khác nhau trong các dự án và tình huống khác nhau. Nếu mỗi ứng dụng tự xây dựng cơ sở hạ tầng chứng thực riêng, điều đó không chỉ tốn kém mà còn kém hiệu quả.
ProverNet hướng đến việc đưa việc tạo bằng chứng vào một thị trường công khai: các ứng dụng gửi yêu cầu, các chuyên gia chứng minh đưa ra giá cả và phản hồi các yêu cầu đó, nhiệm vụ phức tạp có thể được chia nhỏ thành nhiệm vụ phụ và được hoàn thành một cách cộng tác bởi các chuyên gia chứng minh khác nhau, và một khi bằng chứng được tạo ra, nó có thể được xác minh trên bất kỳ Chuỗi mục tiêu nào.
Nhiệm vụ được ghép nối và đối sánh bằng cách sử dụng Hệ thống đấu giá kép trực tuyến trung thực (TODA) của Brevis, trong khi ProverNet hoạt động trên chuỗi khối Rollup Brevis chuyên dụng của Brevis, đảm bảo hiệu quả hơn nữa. Hiện tại, ProverNet đang ra mắt Mainnet Beta.
Ba thành phần sản phẩm này được lồng ghép theo từng lớp: Bộ xử lý dữ liệu ZK chịu trách nhiệm "thu dữ liệu", Pico zkVM giải quyết vấn đề "chứng minh việc tạo ra dữ liệu an toàn và hiệu quả", và ProverNet xác định ai sẽ chứng minh và chứng minh tính tối ưu như thế nào thông qua thị trường, tạo thành một vòng lặp khép kín hoàn chỉnh của "tính toán có thể kiểm chứng vô hạn".
Việc thảo luận về công nghệ theo cách này có thể vẫn còn hơi trừu tượng đối với nhiều người mới bắt đầu.
May mắn thay, Brevis có phạm vi ứng dụng rộng, giúp người dùng nhanh chóng hiểu được những ưu điểm cốt lõi của Brevis và giá trị cốt lõi của việc hiện thực hóa "lớp điện toán vô hạn cho mọi thứ" thông qua các ví dụ sinh động và cụ thể.
Ethereum mở rộng quy mô lên đến 288 triệu bằng chứng: triển khai quy mô lớn thực sự
Trường hợp sử dụng được thảo luận nhiều nhất cho Brevis là mở rộng quy mô Ethereum.
Vào tháng 7 năm 2025, Quỹ Ethereum đã công bố bài báo "Shipping an L1 zkEVM #1: Realtime Proving", chính thức xác nhận lộ trình mở rộng quy mô của L1 zkEVM: một nút tạo ra bằng chứng ZK cho một khối, và bằng chứng này có thể được xác minh bởi hàng triệu nút trên toàn mạng. Sức mạnh tính toán cần thiết cho việc xác minh chỉ bằng một phần mười nghìn hoặc thậm chí ít hơn sức mạnh tính toán cần thiết cho chính khối đó.
Điều này hoàn toàn phù hợp với định hướng công nghệ của Brevis và càng được thúc đẩy hơn nữa bởi sự ra mắt của Brevis zkVM Pico Prism.
Vào ngày 15 tháng 10 năm 2025, Brevis thông báo rằng zkVM Pico Prism của họ đã đạt được khả năng chứng minh Ethereum thực trên phần cứng cấp độ người tiêu dùng: sử dụng 64 card đồ họa RTX 5090, nó đã hoàn thành 99,6% chứng minh khối Ethereum L1 trong vòng 12 giây, trong đó 96,8% thời gian chứng minh khối nằm trong tiêu chuẩn 10 giây của Ethereum Foundation. Trong một thử nghiệm vào ngày 1 tháng 9 năm 2025, với giới hạn gas hiện tại là 45 triệu Ethereum , 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ề mặt lý thuyết, Ethereum có thể ngay lập tức đạt được khả năng mở rộng gấp 10 đến 100 lần thông qua zkVM Pico Prism, và vì Pico zkVM hỗ trợ tính toán song song đa GPU, Brevis thậm chí có thể đạt được khả năng mở rộng thực sự không giới hạn mà không cần bổ sung lượng lớn tài nguyên tính toán.
Tại hội nghị ETH Devconnect vào tháng 11 năm 2025, nhà nghiên cứu Justin Drake của Ethereum OG đã trình diễn Pico ZKVM của Brevis, một thuật toán đồng thuận mới, thông qua một bản demo. Ngay sau đó, Vitalik Buterin đã đăng tweet về những cải tiến tiềm năng mà Ethereum có thể thực hiện trong tương lai theo hướng này. Bước đột phá Pico ZKVM của Brevis đã biến lộ trình mở rộng quy mô L1 zkEVM Ethereum từ một kế hoạch thành một tương lai khả thi.
Mặc dù việc Brevis triển khai cơ chế Proof-in-Time Ethereum đã gây ra nhiều tranh luận rộng rãi, giá trị của Brevis còn vượt xa Ethereum.
Về lý thuyết, logic "tính toán ngoài Chuỗi, xác minh Chuỗi" của Brevis có thể áp dụng cho mọi tình huống, và nền tảng công nghệ của Brevis hỗ trợ đa chuỗi, hướng tới hiện thực hóa "khả năng tính toán vô hạn cho mọi thứ". Đây là một lợi thế cốt lõi khác của công nghệ Brevis: khả năng triển khai quy mô lớn trong các tình huống thực tế.
Nếu bạn là người tích cực tham gia vào thế giới crypto, rất có thể bạn đã trải nghiệm các dịch vụ của Brevis mà không hề nhận ra điều đó.
Trong năm qua, Brevis đã thiết lập quan hệ đối tác độ sâu với hàng chục giao thức hàng đầu, bao phủ hầu hết các dự án hàng đầu trong hệ sinh thái DeFi, stablecoin, DEX và L2. Điều này càng chứng tỏ sự công nhận của ngành đối với Brevis. Hơn nữa, mỗi mối quan hệ đối tác không chỉ là sự "tích hợp khái niệm" hời hợt, mà là một ứng dụng quy mô lớn thực sự trong hoàn cảnh sản xuất, thể hiện giá trị to lớn của khả năng tính toán có thể kiểm chứng trong nhiều kịch bản khác nhau.
Sự hợp tác giữa Brevis và PancakeSwap là một trong những ví dụ điển hình nhất: các sàn giao dịch phi tập trung (DEX) truyền thống không thể truy cập dữ liệu lịch sử với chi phí thấp, gây khó khăn trong việc tạo ra trải nghiệm cá nhân hóa. Tuy nhiên, thông qua sự hợp tác với Brevis, logic phức tạp được thực thi ngoài Chuỗi và được xác minh trên Chuỗi, sau đó bằng chứng về khối lượng giao dịch được tạo ra cho người dùng. Hợp đồng thông minh thực thi các mức phí giao dịch khác nhau dựa trên bằng chứng, mang lại khả năng quản lý trải nghiệm người dùng tinh tế hơn và cho phép PancakeSwap phát triển từ một DEX có mức phí đồng nhất thành một nền tảng phản hồi thông minh với hành vi người dùng.
Hơn nữa, mô hình CPI (Continuous Incentive Protocol ), được Brevis và Usual cùng tiên phong phát triển, được nhiều người coi là một mô hình mới thay thế airdrop truyền thống và khích lệ tức thời: Bộ xử lý ZK của Brevis xác định những người tham gia thực sự đóng góp bằng cách liên tục theo dõi hành vi thực tế của người dùng trong hệ sinh thái Usual. Điều tương tự cũng đang diễn ra trong các hệ sinh thái như Euler và Linea, nơi các mô hình phân phối khích lệ phức tạp được xây dựng bằng bằng chứng ZK đảm bảo tính công bằng, hợp lý, bảo mật và minh bạch trong việc phân bổ khích lệ.
Ngoài ra, vào ngày 24 tháng 10 năm 2025, Quỹ Uniswap chính thức thông báo sẽ cấp cho Brevis khoản tài trợ lên đến 9 triệu đô la để phát triển và vận hành Chương trình Hoàn trả Định tuyến Hooks . Chương trình này nhằm mục đích tận dụng những ưu điểm của bằng chứng ZK của Brevis, chẳng hạn như hiệu quả cao, chi phí thấp và tính phi tập trung, khích lệ các sản phẩm tổng hợp DEX tích hợp các pool hooked v4 nhanh hơn, cuối cùng mang lại lợi ích cho người dùng về thanh khoản, độ trượt giá và phí giao dịch.
Gần đây, Brevis cũng đã công bố hợp tác với DEX đa chuỗi Aster, nhằm tối ưu hóa tốc độ, bảo mật và quyền riêng tư của các DEX vĩnh viễn thông qua công nghệ tính toán có thể kiểm chứng. Brevis có thể chuyển các phép tính phức tạp Chuỗi ra khỏi Chuỗi và tạo ra Bằng chứng không tri thức để giảm chi phí xác minh Chuỗi. Hai bên sẽ cùng nhau tìm kiếm các giải pháp khả thi để bảo vệ quyền riêng tư vị thế của người dùng đồng thời đảm bảo tính minh bạch của thị trường.
Những tính năng từng được cho là "quá tốn kém và quá chậm" để triển khai nay đang được hiện thực hóa 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 tốt hơn.
Trong tương lai, với sự mở rộng hợp tác hệ sinh thái và sự hoàn thiện của cơ chế thị trường ProverNet, giá trị điện toán có thể kiểm chứng của Brevis sẽ thâm nhập sâu rộng hơn vào nhiều kịch bản khác nhau.
Đặt tính toán có thể kiểm chứng làm cấu hình mặc định cho các ứng dụng trên Chuỗi thế hệ tiếp theo.
Trong chu kỳ có phần ảm đạm hiện tại của thị trường crypto, sự chú ý đã trở nên thẳng thắn hơn: những thứ không mang lại kết quả ổn định sẽ khó được nhắc đến liên tục.
Sự "nổi tiếng" của Brevis không chỉ đến từ nền tảng học thuật danh giá, danh sách các dự án được tài trợ, hay việc Vitalik Buterin chia sẻ lại bài viết, mà còn từ sự phù hợp với một quan điểm chung mạnh mẽ hơn: biến điện toán có thể kiểm chứng trở thành cấu hình mặc định cho các ứng dụng Chuỗi thế hệ tiếp theo và đẩy nhanh sự ra đời của tương lai điện toán có thể kiểm chứng thông qua vô số ứng dụng thực tế.
Chính nhờ 288 triệu bằng chứng do Brevis tạo ra trong các ứng dụng thực tế mà chúng ta có thể nhận thấy rõ hơn rằng, sau nhiều năm nghiên cứu, điện toán có thể kiểm chứng ZK thực sự đang đứng trước ngưỡng cửa của một sự bùng nổ quy mô lớn.
Tất nhiên, trước khi thực sự cất cánh, tương lai của Brevis vẫn còn nhiều điều không chắc chắn. Ví dụ, Pico Prism hiện tại vẫn còn chỗ để tối ưu hóa. Brevis cho biết bước tiếp theo của họ sẽ tập trung vào việc giảm chi phí chứng minh và có kế hoạch đạt được 99% chứng minh thời gian thực bằng cách sử dụng ít hơn 16 GPU RTX 5090 trong những tháng tới. Ngoài ra, chu kỳ kinh tế của hệ sinh thái Brevis vẫn chưa thực sự bắt đầu.
Trong tương lai, với những đột phá công nghệ, việc hoàn thiện mô-đun kinh tế và đạt được sê-ri cột mốc quan trọng, Brevis sẽ có thể biến thách thức thành cơ hội để chứng minh giá trị của mình và tiếp tục mang lại "kết quả có thể kiểm chứng" trong nhiều kịch bản đa chuỗi hơn.
Đứng trên xu hướng tương lai của điện toán có thể kiểm chứng, chúng tôi vẫn lạc quan.
