Phỏng vấn đồng sáng lập Brevis: Làn sóng thứ hai của ZK, hiện thực hóa trong tính toán vô hạn là chìa khóa

Từ bằng chứng thời gian thực của Ethereum, đến việc bao phủ toàn bộ các kịch bản ứng dụng Web3 và Web2.

Điều gì đang xảy ra trong hệ sinh thái Ethereum? Điều gì đã thu hút sự chia sẻ và thảo luận tập thể của 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?

Ngày 15 tháng 10 năm 2025, nền tảng tính toán và xác minh dữ liệu toàn chuỗi ZK Brevis thông báo zkVM Pico Prism do họ phát triển đã thực hiện thành công bằng chứng thời gian thực của Ethereum trên phần cứng tiêu dùng: sử dụng 64 card đồ họa RTX 5090, chỉ trong 12 giây đã hoàn thành 99,6% bằng chứng khối L1 của Ethereum, trong đó 96,8% thời gian chứng minh khối thấp hơn tiêu chuẩn 10 giây do Ethereum Foundation đặt ra. Trong thử nghiệm ngày 1 tháng 9 năm 2025, với 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.

Về lần ra mắt này, tài khoản Twitter chính thức của Ethereum đã chia sẻ lại và cho biết: Đây là một bước tiến lớn hướng tới tương lai của Ethereum.

Từ tài khoản Twitter chính thức của Ethereum, nhà sáng lập đến các OG, sự phấn khích không che giấu của mọi người khiến cộng đồng không khỏi tò mò: Rốt cuộc Pico Prism là đột phá quan trọng gì? Brevis đã làm thế nào để đạt được đột phá này?

Ngay trước khi Pico Prism công bố đạt được bằng chứng thời gian thực của Ethereum, Odaily TechFlow đã có một cuộc trò chuyện sâu sắc với Michael, đồng sáng lập kiêm CEO của Brevis.

Khi nói về Pico Prism, chủ đề gây xôn xao lần này, Michael tự hào chia sẻ:

Đột phá này không chỉ có nghĩa là chúng tôi hiện là zkVM nhanh nhất thế giới, mà còn là một bước tiến lớn đối với cộng đồng Ethereum, có thể mở rộng Ethereum một cách đáng kể, thậm chí đạt được khả năng mở rộng vô hạn thực sự. Đồng thời, việc thực hiện bằng chứng thời gian thực của Ethereum đã nâng cao đáng kể hiệu suất xử lý và tốc độ xác nhận của blockchain. Có thể nói, đây là động thái mang tính biểu tượng cho nâng cấp lớn của mạng Ethereum trong năm tới, và tương lai Ethereum có thể sẽ hoàn toàn chuyển sang kiến trúc lấy zkVM làm trung tâm.

Khi được hỏi về lợi thế khác biệt của Brevis so với các dự án ZK khác, Michael đã đưa ra ba điểm then chốt:

Thứ nhất, chúng tôi rất chú trọng đến việc ứng dụng thực tế và đã đạt được sự áp dụng rộng rãi trong nhiều kịch bản; thứ hai, chúng tôi sở hữu khả năng mở rộng mạnh mẽ trong tương lai, có thể thích ứng với các nhu cầu đa dạng không ngừng thay đổi. Cuối cùng, chúng tôi có lợi thế về tính dễ sử dụng và phổ quát, các nhà phát triển không cần hiểu sâu về nguyên lý phức tạp của ZK, chỉ cần dễ dàng tạo ra bằng chứng và tận hưởng sức mạnh tính toán off-chain mạnh mẽ.

Cuối cùng, với tư cách là một dự án có thành quả phát triển phù hợp cao với lộ trình của Ethereum, Michael cũng chia sẻ quan điểm độc đáo về chủ đề "E Guard":

Ethereum không chỉ đại diện cho con đường công nghệ trưởng thành và ổn định nhất hiện nay, mà còn đại diện cho một nền văn hóa mở, có thể xác minh, tôn trọng nhà phát triển và đổi mới, điều này rất phù hợp với triết lý của Brevis. Tuy nhiên, cần nhấn mạnh rằng, Brevis không chỉ được xây dựng cho Ethereum. Thiết kế kiến trúc của chúng tôi vốn là native đa chuỗi. Chúng tôi hy vọng rằng sau mười năm, 99% các tính toán liên quan đến Ethereum hoặc EVM sẽ diễn ra off-chain và được xác minh thông qua Brevis.

Nội dung kỳ này, hãy cùng theo chân chia sẻ của Michael, đồng sáng lập kiêm CEO của Brevis, khám phá ý nghĩa phát triển ngành sâu xa đằng sau nhiều thành tựu công nghệ của Brevis, cũng như lợi thế khác biệt cốt lõi của Brevis khi làn sóng thứ hai của ZK nổi lên.

Odaily TechFlow:

Cảm ơn anh đã dành thời gian, xin mời anh giới thiệu bản thân và chia sẻ về những gì Brevis đang làm hiện nay?

Michael:

Chào mọi người, tôi là Michael, đồng sáng lập kiêm CEO của Brevis, rất vui khi có cơ hội trao đổi sâu với mọi người.

Tôi xuất thân từ lĩnh vực công nghệ, cả đại học và tiến sĩ đều chuyên ngành khoa học máy tính, hướng nghiên cứu là hệ thống phân tán và tính toán mạng. Bảy năm qua, tôi luôn tập trung xây dựng hạ tầng cơ bản cho blockchain. Trước khi sáng lập Brevis, tôi cũng đồng sáng lập Celer Network, một nền tảng tương tác đa chuỗi và cầu nối cross-chain được ứng dụng rộng rãi.

Tôi tiếp xúc với blockchain khá sớm, từ năm 2015 đã bắt đầu nghiên cứu và phát triển liên quan, đến nay cũng gần mười năm. Tôi luôn giữ một tâm niệm, đó là thúc đẩy ứng dụng quy mô lớn của công nghệ blockchain.

Về Brevis, chúng tôi gọi nó là giải pháp "lớp tính toán vô hạn Web3". Nói đơn giản, mục tiêu của chúng tôi là giúp các ứng dụng blockchain có thể thực hiện bất kỳ phép tính phức tạp nào mà vẫn giữ được tính phi tập trung và bảo mật như blockchain, từ đó mở rộng blockchain một cách đáng kể.

Blockchain luôn được coi là máy tính thế giới, vài năm qua cũng có rất nhiều nỗ lực và tiến bộ trong việc mở rộng blockchain, nhưng nó vẫn rất cồng kềnh, nguyên nhân cốt lõi là khi một phép tính diễn ra trên blockchain, tất cả các node đều phải thực hiện lại mọi thứ, khiến tính toán on-chain vừa chậm vừa đắt đỏ. Điều Brevis làm là nếu bạn gặp phải phép tính quá phức tạp trong smart contract, bạn có thể chuyển nó ra off-chain, sau đó tạo ra một bằng chứng zero-knowledge, đây là một bằng chứng toán học rất an toàn, dùng để xác minh tính đúng đắn và độ tin cậy của phép tính off-chain này, sau đó contract on-chain không cần thực hiện phép tính phức tạp nữa, chỉ cần xác minh nhanh bằng chứng toán học này, vừa giữ được tính phi tập trung và bảo mật của blockchain, vừa giúp ứng dụng đạt hiệu suất tính toán truyền thống.

Hiện tại Brevis không còn là một dự án thử nghiệm, chúng tôi đã phục vụ rất nhiều dự án DeFi hàng đầu, hạ tầng, stablecoin v.v., bao gồm PancakeSwap, Metamask, Linea, Uniswap... Trên mainnet, chúng tôi đã tạo ra hơn 100 triệu bằng chứng ZK, tổng số người dùng của các đối tác đã vượt 190.000, giúp tăng trưởng khoảng 4 tỷ USD TVL, phân phối hơn 300 triệu USD phần thưởng tính toán có thể xác minh.

Tổng thể, Brevis hướng tới việc giúp smart contract trong bối cảnh Web3 lần đầu tiên có khả năng tính toán vô hạn, biến blockchain từ một hệ thống chỉ có thể thực hiện các phép tính đơn giản, quy tắc tài chính đơn giản, thành một hệ thống thông minh mạnh mẽ thực sự, đó là điều chúng tôi muốn làm.

Odaily TechFlow:

Chúng tôi biết Brevis bắt đầu khám phá ZK từ năm 2023, khi đó lĩnh vực ZK còn rất sơ khai, tại sao lại chọn hướng đi này?

Hiện nay một số dự án ZK hàng đầu như Starknet, zkSync dường như không còn hot như trước, thậm chí thị trường không còn lạc quan với các dự án ZK. Hiện tượng này có ảnh hưởng gì đến các bạn không? Tại sao cuối cùng vẫn kiên trì theo hướng này?

Michael:

Theo tôi, sự phát triển của bất kỳ làn sóng công nghệ nào cũng có nhịp điệu riêng. Thông thường, làn sóng ứng dụng đầu tiên của công nghệ mới sẽ rất hạn chế, còn làn sóng thứ hai sẽ mở rộng kịch bản ứng dụng rất lớn.

Chúng ta có thể nhìn lại lịch sử Internet, mỗi công nghệ mới đều trải qua quá trình như vậy. Ví dụ, Internet di động trải qua hai làn sóng: từ ứng dụng đơn giản ban đầu đến việc toàn bộ Internet chuyển sang di động, bao gồm sự bùng nổ của video ngắn. AI cũng vậy, ban đầu chỉ giải quyết được một số vấn đề nhỏ, sau khi sức mạnh tính toán bùng nổ mới xuất hiện chu kỳ mới như mô hình ngôn ngữ lớn (LLM).

ZK cũng vậy. Khoảng năm 2021, ZK trở thành chủ đề nóng trong blockchain, nhưng khi đó ứng dụng thực tế rất hạn chế, chủ yếu tập trung vào mạng layer 2 dựa trên ZK. Chúng tôi cho rằng, ZK như một giải pháp L2 là một ví dụ ứng dụng tốt, nhưng kịch bản ứng dụng rất hạn chế, còn phải đối mặt với cạnh tranh từ Optimistic Rollup.

Đến năm 2023, ZK bước vào giai đoạn trầm lắng, nhưng với chúng tôi là đội ngũ làm hạ tầng thì đó không phải vấn đề cốt lõi. Chúng tôi không đơn thuần coi mình là một dự án ZK, chúng tôi không lấy công nghệ dẫn dắt sản phẩm, mà lấy nhu cầu dẫn dắt sản phẩm. Chúng tôi muốn giải quyết vấn đề thực tế của ngành, và ZK chính là giải pháp hiệu quả cho những vấn đề này. Vấn đề chúng tôi cần giải quyết là làm sao để tính toán quy mô lớn có thể xác minh và thực hiện trên blockchain. ZK không phải là mục đích, mà là phương tiện.

Khác biệt lớn nhất giữa chúng tôi và các dự án ZK khác là chúng tôi có thể đưa ZK vào các kịch bản và trường hợp sử dụng thực tế. Ví dụ, với PancakeSwap, chúng tôi phát hiện dự án có nhu cầu cung cấp trải nghiệm cá nhân hóa cho người dùng, đặc biệt là cần cung cấp mức phí khác nhau cho các "cá mập" dựa trên khối lượng giao dịch. Nhu cầu này không thể thực hiện bằng smart contract truyền thống. Chúng tôi dùng công nghệ ZK để giúp các cá mập tạo bằng chứng về khối lượng giao dịch, sau đó smart contract dựa vào bằng chứng này để áp dụng mức phí khác nhau, từ đó mang lại trải nghiệm người dùng khác biệt.

Trong hợp tác với Euler, dự án muốn không chỉ đơn giản là khuyến khích cho vay, mà còn phân phối phần thưởng tốt hơn thông qua các mô hình phức tạp như trọng số theo thời gian, trước đây cũng không thể thực hiện trên smart contract, giờ chúng tôi cũng dùng ZK để giải quyết.

Một ví dụ khác là nền tảng Linea, họ dùng ZK để thực hiện một mô hình phân phối khuyến khích phức tạp dựa trên trọng số thời gian, đảm bảo tính tuân thủ, an toàn và minh bạch của việc phân phối khuyến khích. Mô hình này không thể thực hiện bằng smart contract truyền thống, nhưng nhờ công nghệ ZK, chúng tôi đã thành công đáp ứng nhu cầu này.

Từ những ứng dụng thực tế này, có thể thấy công nghệ ZK không chỉ giải quyết vấn đề tính toán phức tạp mà còn giúp hiện thực hóa các dịch vụ cá nhân hóa phù hợp hơn với nhu cầu người dùng. Chúng tôi đã có hàng nghìn người dùng ở nhiều lĩnh vực sử dụng các hệ thống này.

Vì vậy, chúng tôi thực sự là một dự án lấy nhu cầu làm trung tâm, lấy nhu cầu dẫn dắt phát triển công nghệ sản phẩm, chúng tôi tin chỉ có như vậy mới đưa ZK vào các kịch bản ứng dụng rộng lớn hơn, thúc đẩy thời đại ZK 2.0.

Ứng dụng thực tế, mở rộng vô hạn, dễ dùng phổ quát: Ba từ khóa cạnh tranh khác biệt của Brevis

Odaily TechFlow:

ZK có ngưỡng hiểu biết khá cao, và trong ngành cũng có nhiều dự án ZK ngoài Brevis. So với các dự án ZK khác, nếu dùng ba từ khóa để giúp độc giả nhanh chóng hiểu lợi thế khác biệt của Brevis, theo anh đó là ba từ nào?

Michael:

Thứ nhất, chúng tôi rất chú trọng đến ứng dụng thực tế. Nhiều dự án ZK vẫn dừng lại ở giai đoạn khái niệm học thuật, hoặc tập trung vào các kịch bản không liên quan nhiều đến người dùng. Ngay từ đầu, chúng tôi đã lấy nhu cầu làm động lực, đã có nhiều kịch bản ứng dụng xử lý hàng nghìn yêu cầu người dùng mỗi ngày, thực sự giải quyết nhiều nhu cầu thực tế. Hiện tại, chúng tôi quan tâm nhiều hơn đến việc liệu ZK có thể triển khai thành công trên mainnet, xử lý hàng triệu bằng chứng mỗi ngày, chứ không chỉ bàn về tiềm năng công nghệ. Do đó, mục tiêu cốt lõi của chúng tôi là dùng công nghệ ZK phục vụ người dùng thực tế, đảm bảo công nghệ được ứng dụng thực sự trong thế giới thực.

Lấy ví dụ, khi chúng tôi phát triển zkVM, ý tưởng không chỉ là xây dựng một zkVM có thể tính toán mọi thứ, mà còn phải đảm bảo nó hỗ trợ các nhu cầu của các dự án như PancakeSwap, MetaMask, Linea... Vì vậy, chúng tôi thiết kế một kiến trúc rất mô-đun, có thể tích hợp các Coprocessor khác nhau tùy theo kịch bản ứng dụng, đây là điểm khác biệt lớn của chúng tôi, chúng tôi vừa có VM, vừa có nhiều Coprocessor có thể tích hợp vào VM để xử lý nhu cầu ứng dụng, thực sự biến công nghệ ZK từ lý thuyết thành năng suất.

Thứ hai là khả năng mở rộng mạnh mẽ trong tương lai. Chúng tôi không chỉ xây dựng một Coprocessor hoặc zkVM đơn lẻ, mà thiết kế một kiến trúc hệ thống rất mô-đun, đảm bảo nó có thể thích ứng với các nhu cầu thay đổi trong tương lai. Hiện tại, kiến trúc của chúng tôi gồm hai module cốt lõi là Pico zkVM và ZK Coprocessor. Pico zkVM chịu trách nhiệm xác minh tính đúng đắn của phép tính, còn ZK Coprocessor có thể xử lý các nhu cầu ứng dụng phức tạp hơn, ví dụ như smart contract truy cập dữ liệu lịch sử blockchain, hoặc xác minh hành vi quá khứ của người dùng.

Với kiến trúc này, chúng tôi không chỉ hỗ trợ các ứng dụng về quyền riêng tư dữ liệu, xác minh lịch sử blockchain, mà còn có thể tích hợp nhanh các module công nghệ mới. Gần đây chúng tôi đang phát triển ZK-TLS và dự kiến sẽ ra mắt sớm. Đồng thời, chúng tôi cũng đang khám phá ZK Coprocessor liên quan đến AI. Thiết kế có khả năng mở rộng cao này đảm bảo hệ thống của chúng tôi có thể thích ứng với các kịch bản ứng dụng đa chiều trong tương lai.

Thứ ba là tính dễ sử dụng và phổ quát. Chúng tôi muốn kiến trúc hệ thống của mình được đông đảo nhà phát triển sử dụng, không chỉ dành cho những chuyên gia mật mã học hoặc công nghệ ZK. Mục tiêu thiết kế của chúng tôi là giúp nhà phát triển khi tiếp xúc với công nghệ ZK không cần hiểu sâu nguyên lý phức tạp của ZK, chỉ cần dễ dàng tạo bằng chứng và blockchain xác minh bằng chứng đó với chi phí thấp là đủ.

Để đạt được mục tiêu này, chúng tôi xây dựng kiến trúc kỹ thuật dựa trên zkVM, giúp nhà phát triển chỉ cần viết chương trình Rust quen thuộc, không cần học các công cụ phát triển zero-knowledge proof phức tạp. Thiết kế này giảm ngưỡng cho nhà phát triển, giúp họ dễ dàng tích hợp ứng dụng của mình vào công nghệ ZK, tận hưởng sức mạnh tính toán off-chain mạnh mẽ.

Lớp tính toán vô hạn cho mọi thứ: Mang lại vô số kịch bản đổi mới ứng dụng cho Brevis

Odaily TechFlow:

Gần đây do ZEC tăng trưởng mạnh, mọi người lại chú ý đến token về quyền riêng tư và ZK, anh cũng vừa nhắc đến ZK giai đoạn đầu khá hạn chế, vậy so với các câu chuyện ZK cũ như ZEC, công nghệ ZK của Brevis có nâng cấp gì?

Michael:

Trước tiên hãy nói về "zero-knowledge proof (ZK)", trong tiếng Trung thường gọi tắt là "bằng chứng zero-knowledge", nhưng ý nghĩa đầy đủ là "bằng chứng zero-knowledge ngắn gọn".

Công nghệ ZK thực tế được ứng dụng vào hai lĩnh vực chính: một là bảo vệ quyền riêng tư, hai là tính ngắn gọn. Lĩnh vực quyền riêng tư chủ yếu đảm bảo giao dịch và dữ liệu không bị bên ngoài nhìn thấy, đảm bảo tính riêng tư của dữ liệu. Còn về tính ngắn gọn, công nghệ ZK cho phép chúng ta chuyển các tác vụ tính toán phức tạp ra off-chain, tạo ra một bằng chứng ngắn gọn, sau đó blockchain xác minh bằng chứng này, từ đó nâng cao đáng kể khả năng tính toán của blockchain.

Trong lĩnh vực blockchain, ứng dụng của ZK hiện nay tập trung nhiều hơn vào phương thức bằng chứng ngắn gọn này. Ví dụ, chúng tôi có thể giúp PancakeSwap xác minh người dùng đã thực hiện giao dịch nào đó, hoặc trên nền tảng cross-chain chứng minh một số dữ liệu là thật. Việc tạo bằng chứng qua tính toán off-chain rồi xác minh on-chain như vậy giúp blockchain xử lý các tác vụ tính toán phức tạp mà không hy sinh tính phi tập trung và bảo mật.

Về bảo vệ quyền riêng tư, ZK có ưu thế rất rõ ràng. Ví dụ, gần đây chúng tôi hợp tác với Kaito ra mắt chức năng bảng xếp hạng Yapper dựa trên ZK. Ai cũng biết hiện nay văn hóa "miệng lưỡi" rất phổ biến, nhiều người đăng tweet để tăng thứ hạng và nhận thưởng. Vấn đề là nhiều người tự nhận mình là cá mập, có khối lượng giao dịch lớn, nhưng làm sao để chứng minh điều đó? Nếu người dùng công khai địa chỉ ví, sẽ lộ thông tin riêng tư, dễ trở thành mục tiêu.

Để giải quyết vấn đề này, chúng tôi cùng Kaito thiết kế một phương thức mới, người dùng có thể dùng ZK để chứng minh mình sở hữu ví đáp ứng điều kiện nhất định mà không cần công khai địa chỉ ví. Ví dụ, một người dùng có thể tạo bằng chứng cho thấy mình nắm giữ 1 triệu USD một token nào đó mà không cần tiết lộ địa chỉ ví. Cách này vừa bảo vệ quyền riêng tư, vừa chứng minh được danh tính hoặc uy tín, từ đó tăng trọng số trên bảng xếp hạng.

Bảo vệ quyền riêng tư bằng ZK không chỉ giới hạn ở ứng dụng xác minh danh tính, mà còn có thể ứng dụng rộng rãi ở các kịch bản khác, ví dụ trong lĩnh vực DeFi. Người dùng có thể dùng ZK để chứng minh mình là holder lâu dài của một token nào đó, hoặc là trader tích cực của một giao thức DeFi. Như vậy, trong các dự án DeFi tương lai, nhà phát triển có thể cung cấp ưu đãi cá nhân hóa cho nhóm người dùng này, như lãi suất vay tốt hơn hoặc phần thưởng, từ đó tăng độ gắn bó của người dùng.

Ngoài ra, ứng dụng của ZK trong sàn giao dịch hợp đồng vĩnh viễn cũng là một ví dụ rất điển hình. Ví dụ, trên các sàn phi tập trung như Hyperliquid, dữ liệu giao dịch, order book và vị thế của người dùng thường công khai, dễ dẫn đến "đánh úp" hoặc bị tấn công ác ý. Trong sàn tập trung thì có dark pool để bảo vệ thông tin giao dịch, còn sàn phi tập trung lại khó cân bằng giữa quyền riêng tư và minh bạch.

Nhờ công nghệ ZK, chúng tôi có thể thực hiện bảo vệ quyền riêng tư tương tự sàn tập trung mà không cần công khai dữ liệu giao dịch hoặc chi tiết order của người dùng. Mỗi giao dịch, mỗi khớp lệnh, mỗi số dư người dùng đều có thể dùng ZK để chứng minh tính đúng đắn mà không lộ dữ liệu chi tiết. Chúng tôi đang hợp tác với một số nền tảng hợp đồng vĩnh viễn hàng đầu để chuẩn bị ra mắt chức năng này.

Cuối cùng, dù ZK ban đầu thể hiện tiềm năng mạnh mẽ ở bảo vệ quyền riêng tư, nhưng hiện tại ở Brevis, nó còn là một mô hình lớp tính toán vô hạn mới, đóng vai trò quan trọng trong việc nâng cao khả năng tính toán của blockchain. Tương lai, chúng ta sẽ thấy công nghệ ZK phát huy vai trò lớn hơn trong việc kết hợp quyền riêng tư và năng lực tính toán, thúc đẩy thời đại ZK 2.0.

Odaily TechFlow:

Là "lớp tính toán vô hạn cho mọi thứ", nên hiểu "vô hạn" ở đây như thế nào? "Vô hạn" này thể hiện cụ thể ở những khía cạnh nào?

Michael:

Trước tiên, Brevis có khả năng tính toán vô hạn.

Quay lại vấn đề cơ bản: giới hạn tính toán của blockchain. Mô hình tính toán truyền thống của blockchain có một nút thắt cốt lõi là chi phí tính toán. Trong blockchain truyền thống, hàng nghìn node phải xác minh cùng một phép tính, mọi phép tính đều phải thực hiện lặp lại cho đến khi đạt được đồng thuận. Dù cách này đảm bảo an toàn cho blockchain, nhưng hãy tưởng tượng, chỉ một phép tính đơn giản 1+1 mà lặp lại 1 triệu lần thì chi phí cũng rất lớn. Đây là vấn đề cốt lõi của tính toán blockchain, độ phức tạp và chi phí tính toán tỷ lệ thuận với nhau.

Điểm mạnh của Brevis là nhờ mô hình tính toán có thể xác minh ZK tiên tiến, có thể chuyển tác vụ tính toán ra off-chain. Chỉ cần một node thực hiện phép tính phức tạp và tạo ra bằng chứng zero-knowledge ngắn gọn, các node khác chỉ cần xác minh bằng chứng này, và việc xác minh bằng chứng zero-knowledge rất đơn giản. Ví dụ, một phép tính phức tạp vốn cần mọi node tham gia, chi phí là bội số số lượng node, nhưng với Brevis, chi phí xác minh bằng chứng chỉ bằng một phần triệu chi phí tính toán gốc.

Cách này giảm mạnh độ phức tạp và chi phí tính toán trong blockchain, giúp blockchain xử lý các tác vụ phức tạp hơn, giải quyết vấn đề giới hạn năng lực tính toán. Như vậy, blockchain không còn bị giới hạn bởi Gas, TPS, thời gian khối... mà thực sự đạt được "khả năng tính toán vô hạn".

Thứ hai, Brevis có vô hạn kịch bản ứng dụng. Trang ứng dụng chính thức của chúng tôi rất phong phú, bao gồm khởi động lạnh stablecoin, tăng trưởng blockchain, RWA, perpetual DEX, InfoFi, đến các lĩnh vực như MEV, Rollup, smart DeFi v.v., Brevis đều có thể cung cấp hỗ trợ tính toán mạnh mẽ. Chúng tôi thông qua các sản phẩm cốt lõi như Pico zkVM và ZK Coprocessor để đưa công nghệ tính toán có thể xác minh vào các kịch bản này.

Thứ ba, chúng tôi rất chú trọng trải nghiệm nhà phát triển, có thể nói là theo đuổi trải nghiệm phát triển với ngưỡng thấp vô hạn. Phát triển ứng dụng ZK truyền thống thường đòi hỏi hiểu sâu về mật mã học, thiết kế mạch và hệ thống bằng chứng, điều này rất phức tạp với nhiều nhà phát triển. Ngược lại, Brevis thông qua zkVM cung cấp cho nhà phát triển một lớp trừu tượng rất cao. Nhà phát triển chỉ cần dùng ngôn ngữ lập trình quen thuộc như Rust hoặc Go để viết logic mong muốn, không cần hiểu các nguyên lý và công cụ phát triển ZK phức tạp.

Điều này giúp phát triển ứng dụng ZK trở nên đơn giản và hiệu quả hơn, đồng thời giúp nhiều nhà phát triển nhanh chóng tiếp cận và tham gia lĩnh vực này. Chúng tôi có thể thấy rất nhiều kịch bản ứng dụng khác nhau, vì Brevis giúp công việc của nhà phát triển tự do và linh hoạt hơn, nâng cao hiệu quả phát triển rất lớn.

Odaily TechFlow:

"Vô hạn" này có thể mang lại thay đổi gì cho Web3 thậm chí Web2?

Michael:

Ở góc độ vĩ mô, công nghệ quyền riêng tư không chỉ giải quyết vấn đề hiệu suất, tác dụng sâu xa hơn là thay đổi hoàn toàn mô hình niềm tin. Kiến trúc tính toán Internet truyền thống luôn là tập trung, mọi xử lý dữ liệu và tính toán đều do thực thể tập trung thực hiện, người dùng chỉ có thể tin vào cách tính toán tập trung này. Mô hình này hiệu quả nhưng cũng có nhiều giới hạn.

Sự xuất hiện của Web3 cố gắng lật đổ cấu trúc niềm tin tập trung này, thúc đẩy tính toán và quản lý tài sản phi tập trung. Tuy nhiên, phi tập trung cũng mang lại thách thức về hiệu suất, độ phức tạp tính toán tăng làm tăng chi phí phi tập trung, trở thành nút thắt phát triển Web3. Sự xuất hiện của Brevis có thể kết hợp hiệu quả phi tập trung và năng lực tính toán mạnh mẽ, mang lại lớp tính toán vô hạn cho Web3, giải quyết mâu thuẫn giữa niềm tin phi tập trung và năng lực tính toán.

Ví dụ, smart contract hiện tại dù gọi là "smart" nhưng thực ra vẫn khá ngốc. Đơn giản như smart contract không thể truy cập dữ liệu giao dịch lịch sử của người dùng, cũng không thể thực hiện tính toán logic phức tạp. Như việc tính chỉ số đóng góp của người dùng cho hệ sinh thái qua nhiều giao thức, loại tính toán này blockchain không thể làm được. Lớp tính toán vô hạn của Brevis có thể phá vỡ giới hạn này, giúp smart contract thực sự thông minh, hỗ trợ động lực khuyến khích, phí cá nhân hóa, thưởng theo trọng số thời gian... những chức năng vốn không thể thực hiện.

Điều này có nghĩa là Web3 không còn chỉ là hệ thống xử lý giao dịch đơn giản, mà có thể gánh vác logic ứng dụng phức tạp hơn, thậm chí tích hợp quyết định thông minh, AI... thực sự hiện thực hóa thế giới on-chain phi tập trung thông minh.

Ngoài Web3, tiềm năng của Brevis trong Web2 cũng rất lớn. Ví dụ, hiện nay hầu hết huấn luyện mô hình AI dựa vào dữ liệu public domain, như dữ liệu từ Reddit, Google... Dữ liệu này tuy rộng nhưng giá trị không bằng dữ liệu private domain của người dùng. Tuy nhiên, hiện chưa có cách hiệu quả để quản lý và giao dịch dữ liệu private domain này. Người dùng không thể giao dữ liệu của mình cho người khác vì liên quan đến quyền riêng tư.

Nhờ tính toán có thể xác minh của Brevis, người dùng có thể chứng minh tính hợp lệ của một số dữ liệu mà không cần tiết lộ chi tiết. Ví dụ, nếu tôi muốn biết ai đó đã giao dịch thế nào trong tháng qua nhưng không muốn lộ chi tiết từng giao dịch, Brevis có thể dùng ZK để xác minh tính xác thực dữ liệu mà vẫn đảm bảo quyền riêng tư. Điều này mang lại luồng dữ liệu mới cho huấn luyện AI và thay đổi mô hình niềm tin truyền thống khi sử dụng dữ liệu.

Bên cạnh đó, ứng dụng AI phi tập trung cũng có thể hưởng lợi từ tính toán có thể xác minh. Giả sử có một mô hình AI y tế dùng để phân tích hình ảnh y khoa, xác định bệnh có nghiêm trọng không. Nếu kết quả đầu ra của mô hình này đến từ một mô hình chất lượng thấp chưa được xác minh, người dùng không thể tin vào kết quả đó, nhưng nhờ Brevis, chúng ta có thể đảm bảo mọi đầu ra của mô hình AI đều có thể xác minh, đảm bảo nó đến từ mô hình chất lượng cao. Cách này giúp AI phi tập trung không chỉ là lý tưởng mà có thể ứng dụng thực tế, cung cấp dịch vụ chất lượng cao.

Vai trò cốt lõi của Brevis là phá vỡ rào cản niềm tin giữa Web2 và Web3 truyền thống, giúp dữ liệu và tính toán có thể xác minh và xử lý trong môi trường phi tập trung mà vẫn đảm bảo quyền riêng tư. Đây không chỉ là đột phá công nghệ của Web3 mà còn mang lại mô hình niềm tin và cách sử dụng dữ liệu hoàn toàn mới cho Web2.

Dù là huấn luyện mô hình AI, tài chính phi tập trung hay thực thi smart contract, công nghệ của Brevis đều đang thay đổi cách lưu thông dữ liệu và tính toán. Chúng ta đang tiến tới một tương lai phi tập trung và thông minh hơn, Brevis cung cấp hỗ trợ tính toán mạnh mẽ và cơ chế bảo vệ quyền riêng tư cho cuộc cách mạng này.

Odaily TechFlow:

Trong số các đối tác hiện tại, anh có thể chia sẻ một số ví dụ thực tế giúp độc giả hiểu rõ hơn về thay đổi mà Brevis mang lại?

Michael:

Tôi vừa nhắc đến khá nhiều, giờ xin phân loại các ứng dụng hệ sinh thái một cách đơn giản.

Trước tiên là trong lĩnh vực smart DeFi, chúng tôi có thể giúp các giao thức DeFi khác nhau điều chỉnh trải nghiệm người dùng và hệ thống số liệu DeFi một cách động dựa trên hành vi lịch sử của người dùng hoặc biến động thị trường. Ví dụ, PancakeSwap dựa vào công nghệ zero-knowledge proof của Brevis để ra mắt mô hình giao dịch mới, người dùng có thể tạo bằng chứng khối lượng giao dịch của mình để nhận mức phí ưu đãi khác nhau; người nắm giữ CAKE còn được giảm phí thêm ở pool giao dịch nhất định. Chúng tôi còn hợp tác với nhiều giao thức DeFi để mang lại trải nghiệm DeFi cá nhân hóa, động hơn.

Tiếp theo, chúng tôi sẽ hợp tác với Uniswap ra mắt dự án Gas Fee Rebase, người dùng có thể tạo bằng chứng về lượng gas tiêu thụ trong pool giao dịch để nhận thưởng hoàn lại.

Trường hợp thứ hai là khởi động lạnh stablecoin, giúp stablecoin thâm nhập sâu vào hệ sinh thái DeFi, điều này cần một hệ thống khuyến khích người dùng liên tục, chúng tôi hợp tác với Usual Money, OpenEden, MetaMask... xây dựng hệ thống khuyến khích phi tập trung để thúc đẩy tăng trưởng stablecoin. Người dùng cung cấp thanh khoản hoặc giao dịch ở các giao thức khác nhau có thể tự động nhận khuyến khích dựa trên bằng chứng hành vi lịch sử, hiện thực hóa cơ chế phân phối minh bạch, an toàn, tuân thủ và có thể xác minh.

Bên cạnh đó, hợp tác của chúng tôi còn thể hiện ở tăng trưởng bản thân blockchain. Phân phối phần thưởng blockchain hiệu quả là động lực tăng trưởng liên tục, Brevis giúp phần thưởng trở nên minh bạch, có thể xác minh và tự động hóa. Chúng tôi còn hợp tác với Kernel để thực hiện bằng chứng tài sản cross-chain an toàn và phát thưởng qua Brevis.

Loại thứ tư là quyền riêng tư như vừa nói, ví dụ hợp tác với Kaito ở mảng InfoFi giúp người dùng chứng minh bản thân mà vẫn bảo vệ quyền riêng tư. Trong lĩnh vực AI, Brevis cũng rất hữu ích.

Có thể nói, Brevis có thể ứng dụng ở rất nhiều kịch bản, đồng thời thông qua hợp tác với nhiều đối tác, Brevis đã hiện thực hóa ứng dụng thực tế ở rất nhiều kịch bản.

Pico Prism bằng chứng thời gian thực Ethereum: Dấu mốc Ethereum chuyển hẳn sang zkVM

Odaily TechFlow:

Trong quá trình hiện thực hóa "lớp tính toán vô hạn cho mọi thứ", Brevis đã đạt được những đột phá kỹ thuật thực chất nào, anh có thể giới thiệu một số tiến triển then chốt?

Michael:

Chắc chắn rồi, một đến hai năm qua, chúng tôi đã đạt được một số đột phá kỹ thuật rất quan trọng. Đáng chú ý nhất là phiên bản Prism của Pico zkVM vừa ra mắt, đây là một máy ảo bằng chứng zero-knowledge cực kỳ mạnh mẽ. Nó có thể chứng minh bất kỳ phép tính nào, bất kể độ phức tạp. Đây là một trong những sản phẩm cốt lõi của chúng tôi, nó giúp mọi phép tính đều có thể chứng minh bằng ZK.

Đặc biệt là phiên bản Pico Prism multi-GPU vừa ra mắt, chúng tôi đã thực hiện được 99,6% bằng chứng thời gian thực khối mainnet Ethereum trên phần cứng tiêu dùng, thời gian chứng minh trung bình chỉ 6,9 giây, nhanh hơn 70% so với giải pháp zkVM nhanh thứ hai hiện nay, chi phí giảm 50%. Hiệu suất tổng thể tăng 4 lần, đây là một đột phá rất quan trọng với chúng tôi.

Tại sao đột phá này lại quan trọng như vậy?

Đột phá này không chỉ có nghĩa là chúng tôi hiện là zkVM nhanh nhất thế giới, có thể tạo bằng chứng với chi phí thấp hơn, hiệu suất cao hơn, quan trọng hơn, đây là một bước tiến lớn đối với cộng đồng Ethereum.

Ethereum là một giải pháp phi tập trung, ưu tiên bảo mật, lâu nay luôn gặp nút thắt lớn về khả năng mở rộng và hiệu suất. Mạng Ethereum truyền thống gồm hàng nghìn node, mỗi node đều phải tính toán cùng một nội dung. Muốn mở rộng dung lượng khối, lượng tính toán của node cũng tăng tuyến tính, dẫn đến chi phí tăng vọt.

Nhờ mô hình tính toán có thể xác minh, mô hình của chúng tôi đã thay đổi căn bản. Giờ đây, chỉ cần một node tạo bằng chứng ZK cho một khối, bằng chứng này có thể được hàng triệu node trong mạng xác minh, năng lực tính toán cần thiết để xác minh chỉ bằng một phần mười nghìn phép tính khối gốc, thậm chí còn ít hơn.

Điểm đặc biệt của ZK là dù tác vụ tính toán phức tạp đến đâu, thời gian tạo bằng chứng không tăng theo quy mô tác vụ. Khi xử lý lượng lớn dữ liệu phức tạp, thời gian tạo bằng chứng gần như không đổi.

Nhờ đặc tính kỹ thuật này, chúng tôi có thể ngay lập tức nâng khả năng mở rộng của Ethereum lên 10 lần, thậm chí 100 lần. Rất đơn giản, chỉ cần tăng thêm GPU trên node tạo bằng chứng là có thể tăng mạnh năng lực xử lý giao dịch. Chúng tôi ước tính có thể nâng Ethereum lên 1000 lần trong thời gian ngắn.

Hơn nữa, nhờ Pico zkVM hỗ trợ tính toán song song multi-GPU, chúng tôi có thể tối ưu ở tầng mạng để tiếp tục nâng cao năng lực tính toán toàn mạng Ethereum. Điều này có nghĩa là blockchain có thể xử lý lượng giao dịch lớn hơn mà không cần tăng nhiều tài nguyên tính toán, thậm chí đạt được khả năng mở rộng vô hạn thực sự.

Bằng chứng thời gian thực là điểm then chốt cho sự phát triển tương lai của Ethereum. Việc tạo bằng chứng thời gian thực có nghĩa là ngay khi khối được tạo ra, chúng tôi có thể xác minh tính hợp lệ ngay lập tức. Nhờ đó, hiệu suất xử lý và tốc độ xác nhận của blockchain được nâng cao đáng kể. Điều này cũng mở đường cho nâng cấp của Ethereum, tương lai Ethereum có thể hoàn toàn chuyển sang kiến trúc lấy zkVM làm trung tâm, thay thế cách tính toán lặp lại hiện nay. Trong năm tới, đây sẽ là động thái mang tính biểu tượng cho nâng cấp lớn của mạng Ethereum.

Tính mô-đun là điểm sáng lớn khác trong công nghệ của chúng tôi. Nhờ hệ thống plugin mạnh mẽ, chúng tôi có thể mở rộng nhiều chức năng đặc thù trên nền tảng zkVM. Ví dụ, chúng tôi ra mắt ZK Data Code Processor, giúp smart contract có chức năng ghi nhớ. Smart contract truyền thống không thể truy cập dữ liệu lịch sử, nhưng nhờ coprocessor này, smart contract có thể truy xuất và phân tích dữ liệu lịch sử, từ đó thực hiện logic phức tạp hơn.

Thiết kế mô-đun này giúp nhà phát triển linh hoạt mở rộng chức năng theo nhu cầu khác nhau, đồng thời nâng cao hiệu suất và hiệu quả chi phí tính toán. Nói đơn giản, nhờ ZK Data Code Processor, chúng tôi có thể giúp smart contract xử lý dữ liệu phức tạp như lịch sử giao dịch với hiệu suất tăng 100 lần, chi phí giảm nhiều lần.

TGE sắp đến: Hy vọng 99% tính toán EVM trong tương lai diễn ra off-chain, xác minh on-chain

Odaily TechFlow:

TGE sắp đến, Brevis cũng ra mắt sự kiện Brevis Proving Grounds, người dùng có thể nhận Brevis Sparks bằng cách hoàn thành nhiệm vụ, đây cũng là cách quyết định phân phối airdrop TGE quan trọng. Là người dùng phổ thông, làm sao để tham gia hiệu quả hơn?

Michael:

Vâng, trước tiên về sự kiện Brevis Proving Grounds, quy tắc rất rõ ràng. Chúng tôi hy vọng thông qua sự kiện này, người dùng có thể thực sự hiểu công nghệ ZK và ranh giới năng lực của tính toán có thể xác minh, chứ không chỉ đơn giản hoàn thành một nhiệm vụ thử nghiệm.

Chúng tôi không muốn người dùng chỉ click vài nút, mà hy vọng họ qua việc tham gia có thể trải nghiệm thực tế các ứng dụng như smart DeFi, phân phối phần thưởng... cảm nhận lợi ích thực tế mà công nghệ ZK mang lại. Qua đó, chúng tôi muốn người dùng hiểu dịch vụ của chúng tôi được xây dựng và phục vụ hệ sinh thái như thế nào.

Trong quá trình này, mục tiêu của chúng tôi là cùng cộng đồng khám phá tiềm năng của công nghệ ZK, đảm bảo mọi người không chỉ hoàn thành nhiệm vụ thử nghiệm, mà thực sự cảm nhận được sự phù hợp sản phẩm-thị trường của Brevis. Sự kiện này khác với các sự kiện testnet truyền thống, nó thiên về trải nghiệm sâu về năng lực công nghệ ZK.

Odaily TechFlow:

Với TGE sắp đến, Brevis cũng sẽ bước sang giai đoạn phát triển mới. Anh có thể chia sẻ trọng tâm công việc tiếp theo của Brevis?

Michael:

Một mặt, chúng tôi sẽ tiếp tục mở rộng hệ sinh thái nhà phát triển và đối tác. Hiện tại chúng tôi có rất nhiều nhà phát triển và đối tác, dự định sử dụng công nghệ ZK hoặc các sản phẩm như PICO, ZK Coprocessor của Brevis để xây dựng nhiều ứng dụng khác nhau.

Mặt khác, mục tiêu quan trọng khác của chúng tôi là ra mắt mạng lưới xác minh. Chúng tôi không định ràng buộc với một chain cụ thể hoặc xác minh toàn bộ, mà muốn phi tập trung hóa toàn bộ quá trình xác minh ZK, xây dựng một mạng lưới xác minh phân tán, đây là hướng công việc cốt lõi tiếp theo của chúng tôi.

Odaily TechFlow:

Có vẻ như trọng tâm của các bạn luôn là EVM hoặc Ethereum. Cá nhân anh có phải là "E Guard" trung thành không? Anh nhìn nhận thế nào về tương lai của Ethereum và EVM?

Michael:

Rất nhiều việc Brevis làm, bao gồm Real-Time Ethereum Proving... đều liên quan đến lộ trình tương lai của Ethereum, phần lớn là vì Ethereum hiện thực sự đại diện cho con đường công nghệ trưởng thành và ổn định nhất, và nó không chỉ là public chain, mà còn đại diện cho một nền văn hóa mở, có thể xác minh, tôn trọng nhà phát triển và đổi mới, điều này rất phù hợp với triết lý của Brevis.

Về mặt kỹ thuật, EVM ra đời đã mười năm, vẫn là môi trường thực thi có sức sống nhất trong ngành blockchain. Ngay cả BNB Chain và các loại Rollup cũng đều xây dựng trên EVM. Mỗi lần đổi mới công nghệ đều không lật đổ hoàn toàn hệ thống cũ, mà tiến hóa trên nền EVM, tôi cho rằng đây là lý do quan trọng giúp Ethereum đổi mới bền vững.

Ở Brevis, mục tiêu của chúng tôi là tận dụng hệ sinh thái trên EVM để đổi mới bền vững. Chúng tôi hy vọng thông qua kiến trúc kỹ thuật mang lại thay đổi về mở rộng và mô hình tính toán, đồng thời tương thích tốt với hệ sinh thái hiện có. Ví dụ, các sàn phi tập trung như PancakeSwap và Uniswap, dù dùng kiến trúc kỹ thuật khác nhau, nhưng cuối cùng vẫn kết toán trên chain EVM.

Ethereum có nhu cầu rất lớn với zkVM, đặc biệt trong thúc đẩy bảo vệ quyền riêng tư và tính toán có thể xác minh. Từ góc độ khách hàng và đối tác, nếu mạng lưới Ethereum chuyển sang zkVM, nó sẽ trở thành khách hàng lớn nhất của công nghệ zkVM. Do đó, Brevis tập trung vào Ethereum cũng là điều hợp lý.

Tuy nhiên, cần nhấn mạnh rằng, Brevis không chỉ xây dựng cho Ethereum. Thiết kế kiến trúc của chúng tôi vốn là native đa chuỗi, có thể hỗ trợ nhiều chain không phải EVM, bao gồm Mone, Solana, Cosmos, thậm chí bất kỳ hệ thống VM mới nào. Đặc điểm cốt lõi của chúng tôi là phần lớn tính toán diễn ra off-chain, on-chain chỉ cần xác minh dữ liệu liên quan, phần xác minh on-chain cuối cùng rất đơn giản, chỉ cần điều chỉnh contract xác minh on-chain cho từng blockchain khác nhau là được, vì vậy Brevis có thể tương thích với nhiều blockchain khác nhau một cách dễ dàng.

Tôi cho rằng nhiều "E Guard" là những builder theo đuổi tiêu chuẩn mở và chủ nghĩa dài hạn, về mặt tinh thần, có thể chúng tôi là "E Guard", nhưng về con đường thực hiện và quy mô áp dụng trong tương lai, chúng tôi là một nền tảng rất mở.

Cá nhân tôi vẫn rất lạc quan về tương lai của Ethereum, tôi cho rằng Ethereum là đại diện tiêu biểu cho an toàn và đổi mới của Web3, Brevis hy vọng trao quyền cho Ethereum, dần biến Ethereum từ một nền tảng thực thi mọi logic on-chain thành một nền tảng chỉ làm xác minh, chúng tôi hy vọng sau mười năm, 99% các tính toán liên quan đến Ethereum hoặc EVM sẽ diễn ra off-chain và được xác minh qua Brevis.

Odaily TechFlow là nền tảng nội dung chuyên sâu do cộng đồng dẫn dắt, cam kết cung cấp thông tin giá trị và tư duy có lập trường.

Cộng đồng: