Bitget App
Giao dịch thông minh hơn
Mua CryptoThị trườngGiao dịchFutures‌EarnWeb3Quảng trườngThêm
Giao dịch
Spot
Mua bán tiền điện tử
Ký quỹ
Gia tăng vốn và tối ưu hiệu quả đầu tư
Onchain
Tương tác on-chain dễ dàng với Onchain
Convert & GD khối lượng lớn
Chuyển đổi tiền điện tử chỉ với một nhấp chuột và không mất phí
Khám phá
Launchhub
Giành lợi thế sớm và bắt đầu kiếm lợi nhuận
Sao chép
Sao chép elite trader chỉ với một nhấp
Bots
Bot giao dịch AI đơn giản, nhanh chóng và đáng tin cậy
Giao dịch
USDT-M Futures
Futures thanh toán bằng USDT
USDC-M Futures
Futures thanh toán bằng USDC
Coin-M Futures
Futures thanh toán bằng tiền điện tử
Khám phá
Hướng dẫn futures
Hành trình giao dịch futures từ người mới đến chuyên gia
Chương trình ưu đãi futures
Vô vàn phần thưởng đang chờ đón
Bitget Earn
Sản phẩm kiếm tiền dễ dàng
Simple Earn
Nạp và rút tiền bất cứ lúc nào để kiếm lợi nhuận linh hoạt không rủi ro
On-chain Earn
Kiếm lợi nhuận mỗi ngày và được đảm bảo vốn
Structured Earn
Đổi mới tài chính mạnh mẽ để vượt qua biến động thị trường
Quản lý Tài sản và VIP
Dịch vụ cao cấp cho quản lý tài sản thông minh
Vay
Vay linh hoạt với mức độ an toàn vốn cao
Phỏng vấn độc quyền với CEO của Brevis, Michael: Khả năng mở rộng zkVM hiệu quả hơn nhiều so với L2

Phỏng vấn độc quyền với CEO của Brevis, Michael: Khả năng mở rộng zkVM hiệu quả hơn nhiều so với L2

BlockBeatsBlockBeats2025/10/24 09:00
Theo:BlockBeats

Lớp tính toán vô hạn dẫn đến các ứng dụng hạ cánh thực sự

Trên phần cứng dành cho người dùng phổ thông, 64 GPU đã hoàn thành 99,6% bằng chứng khối L1 trong 12 giây—Máy ảo không kiến thức (zkVM) đa GPU của Brevis, Pico Prism, đã đạt được một bước đột phá đáng kể về hiệu suất.


Cột mốc này cũng đã thu hút sự chú ý lớn từ cộng đồng cốt lõi Ethereum. Nhà sáng lập Ethereum, Vitalik Buterin, nhận xét: "Tôi rất vui mừng khi thấy Pico Prism của Brevis chính thức gia nhập lĩnh vực xác minh ZK-EVM. Đây là một bước tiến đáng kể về tốc độ và tính linh hoạt của bằng chứng ZK-EVM." "Dữ liệu đã tự nói lên tất cả", Michael, đồng sáng lập kiêm CEO của Brevis, cho biết. "Chúng tôi đã xây dựng cơ sở hạ tầng có khả năng xử lý việc sản xuất khối theo thời gian thực của Ethereum, sử dụng phần cứng dành cho người dùng phổ thông. Hiệu suất này hoàn toàn phù hợp với mục tiêu phi tập trung của Ethereum." Michael, đồng sáng lập kiêm CEO của Brevis, một tiến sĩ khoa học máy tính tại UIUC và là chuyên gia về hệ thống phân tán và mạng hiệu năng cao, đã thành công trong việc thoái vốn khỏi nhiều công ty khởi nghiệp ở Thung lũng Silicon, và nghiên cứu của ông đã được nhiều công ty công nghệ áp dụng, bao gồm cả Google. Năm 2018, ông thành lập Celer Network (được định giá hơn 2 tỷ đô la vào thời kỳ đỉnh cao). Hiện ông đang dẫn dắt đội ngũ Brevis trong việc kết hợp các bằng chứng không kiến thức với tính toán có thể xác minh, với hy vọng xây dựng một cơ sở hạ tầng thực sự có thể hỗ trợ nhu cầu tính toán quy mô lớn của hệ sinh thái Ethereum.


Để hiểu rõ hơn về cách Brevis đạt được bước đột phá này và ý nghĩa của nó đối với hệ sinh thái Ethereum, BlockBeats đã có cuộc trò chuyện sâu sắc với Michael, đồng sáng lập kiêm CEO của Brevis.


Chúng tôi đã thảo luận về ba câu hỏi cốt lõi:


· Sứ mệnh và định vị của Brevis

· Điện toán xác minh có thể mang lại giá trị thực tế nào cho các ứng dụng

· Các bước tiếp theo của Brevis trong quá trình liên kết sâu sắc với hệ sinh thái Ethereum


Đây không chỉ là cuộc trò chuyện về công nghệ mà còn là sự phản ánh hướng tới tương lai của niềm tin điện toán.


Brevis là gì: Từ tầm nhìn đến định vị


BlockBeats: Trước tiên, bạn có thể giải thích một cách đơn giản về dự án Brevis và mục tiêu của nó là giải quyết những vấn đề gì không?

Michael: Chúng tôi định vị Brevis là Lớp Điện toán Vô hạn, phục vụ cả Web3 và nhiều kịch bản ứng dụng khác. Mục tiêu cốt lõi của chúng tôi là cung cấp sức mạnh tính toán gần như không giới hạn cho các ứng dụng trên chuỗi trong khi vẫn duy trì tính phi tập trung và bảo mật, giải quyết xung đột cấu trúc lâu dài giữa hiệu suất cao/chức năng phức tạp và giảm thiểu sự tin cậy. Mặc dù việc mở rộng Lớp 2 gần đây đã tăng đáng kể thông lượng, nhưng các tính toán phức tạp (như xử lý dữ liệu lịch sử quy mô lớn, tổng hợp chuỗi chéo và suy luận thuật toán/AI) vẫn còn hạn chế, cản trở việc triển khai nhiều tính năng nâng cao. Giải pháp của Brevis là tính toán ngoài chuỗi và xác minh trên chuỗi. Các tính toán nặng được thực hiện ngoài chuỗi và các bằng chứng không kiến thức (bằng chứng ZK) được tạo ra. Các hợp đồng trên chuỗi chỉ cần xác minh tính chính xác của các bằng chứng với chi phí tối thiểu, loại bỏ nhu cầu chạy lại toàn bộ quá trình tính toán. Điều này thực sự cung cấp cho các hợp đồng một plugin bảo mật bằng mật mã, mở rộng đáng kể ranh giới của sức mạnh tính toán và chức năng khả dụng mà không ảnh hưởng đến tính phi tập trung hoặc bảo mật. Hiện tại, các hợp đồng thông minh không thực sự thông minh. Với Brevis, chúng có thể trở nên thực sự thông minh.


BlockBeats: Brevis được gọi là lớp điện toán vô hạn của Web3. Khái niệm này ra đời như thế nào? Nó khác biệt cơ bản như thế nào so với các hiểu biết truyền thống về điện toán trên chuỗi hoặc mở rộng quy mô?


Michael: Chúng tôi gọi Brevis là lớp điện toán vô hạn của Web3 vì mục tiêu của nó là phá vỡ giới hạn tính toán của blockchain. Các giải pháp mở rộng quy mô truyền thống (chẳng hạn như Layer 2 Rollup) chủ yếu tăng thông lượng giao dịch từ hàng chục TPS lên hàng trăm hoặc hàng nghìn TPS, nhưng vẫn có giới hạn và chúng không giải quyết được câu hỏi liệu các phép tính phức tạp tùy ý có thể được hoàn thành trên chuỗi hay không: trên chuỗi thường chỉ có thể xử lý các giao dịch và hoạt động hợp đồng tương đối đơn giản. Khi độ phức tạp của tính toán tăng lên, việc mô hình hóa và lưu trữ trên chuỗi, chẳng hạn như xử lý dữ liệu quy mô lớn, suy luận AI hoặc các thuật toán phức tạp, sẽ trở nên khó khăn. Điểm khởi đầu của Brevis lại khác: thay vì chỉ đơn thuần là làm cho một số loại giao dịch nhanh hơn, chúng tôi hướng đến việc cho phép blockchain chấp nhận và lưu trữ kết quả của bất kỳ phép tính nào trong khi vẫn duy trì tính bảo mật và không cần tin cậy. Điều này tương ứng với một mô hình điện toán có thể xác minh mới—miễn là phép tính ngoài chuỗi có thể tạo ra bằng chứng toán học không cần kiến thức, tính chính xác và bảo mật của nó có thể được xác minh trên chuỗi với chi phí rất thấp.Đối với các nhà phát triển, Brevis giống như một đám mây điện toán có thể xác minh: Giống như điện toán đám mây, nó mở rộng sức mạnh tính toán theo yêu cầu, thực hiện các phép tính phức tạp ngoài chuỗi và gửi bằng chứng để xác minh trên chuỗi, đồng thời vẫn duy trì cùng một mô hình bảo mật và tin cậy như các hợp đồng gốc trên chuỗi. Do đó, chúng tôi định nghĩa Brevis là một lớp tính toán vô hạn—cung cấp không gian tính toán gần như không giới hạn về hiệu suất và tính khả dụng, đồng thời vẫn duy trì cùng một mức độ tin cậy và bảo mật như chính blockchain. BlockBeats: Khái niệm về tính toán có thể xác minh mà chúng ta vừa thảo luận nghe có vẻ rất trừu tượng. Bạn có thể giải thích vai trò của nó trong Brevis một cách trực quan hơn không? Michael: Hạn chế cơ bản của blockchain là chúng chỉ có thể đạt được năng lực tính toán hạn chế trong khi vẫn đảm bảo tính bảo mật và tính không cần tin cậy. Các chuỗi công khai như Ethereum là các hệ thống đồng thuận, trong đó nhiều nút trong mạng thực hiện các phép tính độc lập trên cùng một giao dịch hoặc hợp đồng, và chỉ sau khi đạt được sự đồng thuận, chúng mới tạo ra một khối mới. Cơ chế này an toàn nhưng không hiệu quả, tương tự như tình huống toàn bộ lớp phải giải quyết cùng một bài toán từ đầu để xác nhận câu trả lời. Ý tưởng đằng sau tính toán có thể xác minh là tách biệt tính toán khỏi xác minh, giảm thiểu sự trùng lặp công việc. Lấy bài toán chung sống gà-thỏ làm ví dụ: việc giải bài toán này đòi hỏi phải xây dựng phương trình và thực hiện các phép tính đạo hàm, trong khi việc xác minh tính đúng đắn của một đáp án cho trước chỉ cần thay các giá trị trở lại phương trình, một nỗ lực ít tốn kém hơn nhiều so với việc giải bài toán. Bản thân tính toán và việc xác minh kết quả của nó vốn là những vấn đề riêng biệt trong lý thuyết máy tính, và việc xác minh kết quả thường nhẹ nhàng hơn. Chứng minh không kiến thức khái quát hóa điều này cho bất kỳ phép tính nào, từ các phép tính đơn giản như 1 + 1 = 2 đến việc lập luận về các mô hình lớn. Sau khi tính toán hoàn tất, một chứng minh ngắn gọn có thể được tạo ra, cho phép những người khác nhanh chóng và dễ dàng xác minh kết quả với chi phí tối thiểu mà không tiết lộ các chi tiết tính toán. Trong Brevis, phần tính toán nặng nề được thực hiện ngoài chuỗi để tạo ra chứng minh ZK, trong khi việc xác minh chứng minh diễn ra trên chuỗi, loại bỏ nhu cầu chạy lại toàn bộ phép tính. Đây là giá trị cốt lõi của tính toán có thể xác minh. Bằng cách tách biệt hoàn toàn tính toán và xác minh, chúng ta giảm đáng kể chi phí tính toán cùng một mục tiêu vô số lần.

Tại sao lại như vậy: Kiến trúc Kỹ thuật và Các Khái niệm Cốt lõi


Rhythm BlockBeats: Về mặt kỹ thuật, Brevis bao gồm hai mô-đun cốt lõi: Bộ đồng xử lý Dữ liệu ZK (sau đây gọi là zkCoprocessor) và Pico zkVM. Mối quan hệ giữa hai mô-đun này là gì? Chúng giải quyết những vấn đề gì?

Michael:

Brevis có thể được hiểu là một cấu trúc phân lớp: Pico zkVM cơ bản là một công cụ tính toán đa năng (Máy ảo) có thể thực hiện các phép tính tùy ý và tạo ra các bằng chứng zk. Một tính năng chính của Brevis là tính mô-đun cao, cho phép nó kết nối với nhiều bộ đồng xử lý. zkCoprocessor là một bộ đồng xử lý cho các kịch bản dữ liệu blockchain; bạn có thể coi nó như một plug-in hoặc plugin bên ngoài. Ở dạng hiện tại, zkCoprocessor giống một hệ thống bộ nhớ dành cho zkVM hơn, cho phép các hợp đồng thông minh xem và hiểu các sự kiện lịch sử trên chuỗi (chẳng hạn như giao dịch của người dùng, số dư, vị thế, v.v.).

Cụ thể hơn, zkVM giải quyết vấn đề chung về việc xác minh các phép tính tùy ý, trong khi zkCoprocessor là một bộ đồng xử lý lớp ứng dụng được tùy chỉnh cho các ứng dụng blockchain. Vì hợp đồng thông minh vốn "sống trong hiện tại", chúng chỉ có thể truy cập vào bối cảnh hạn chế của khối hiện tại và không thể đọc hoặc tính toán trực tiếp các trạng thái lịch sử dài hạn hoặc liên chuỗi. zkCoprocessor sử dụng bằng chứng không kiến thức để "cung cấp cho hợp đồng một đôi mắt", truy xuất và tổng hợp dữ liệu lịch sử có liên quan ngoài chuỗi và tạo bằng chứng xác thực dữ liệu này là xác thực và bắt nguồn từ trạng thái trên chuỗi. Điều này cho phép hợp đồng sở hữu bộ nhớ và trí tuệ dựa trên bộ nhớ, đồng thời giảm thiểu sự tin cậy. BlockBeats: zkCoprocessor cho phép hợp đồng thông minh "nhìn thấy quá khứ", nghe có vẻ khá đột phá. Bạn có thể giải thích thêm về cách thức đạt được điều này không? Michael: Hãy lấy chiết khấu phí động của PancakeSwap dựa trên khối lượng giao dịch lịch sử làm ví dụ: Đầu tiên, zkCoprocessor đọc hồ sơ giao dịch lịch sử của người dùng từ blockchain, tổng hợp khối lượng giao dịch theo một quy tắc (chẳng hạn như 30 ngày qua) và tạo bằng chứng không kiến thức cho nó. Sau đó, sau khi nhận được các hồ sơ đã được xác nhận, Pico zkVM thực hiện tổng hợp và tính toán thêm (ví dụ: kết hợp khối lượng giao dịch của các cặp giao dịch khác nhau thành một số liệu duy nhất), tạo ra bằng chứng về quy trình tính toán. Cuối cùng, kết quả và bằng chứng được gửi lên chuỗi. Hợp đồng xác minh tính chính xác của cả hai phần của bằng chứng cùng một lúc, xác nhận xem địa chỉ đã đạt đến ngưỡng VIP hay chưa và tự động áp dụng chiết khấu phí cho chu kỳ thanh toán tiếp theo. Phương pháp này loại bỏ nhu cầu hợp đồng phải đọc và tính toán nhiều lần một lượng lớn dữ liệu lịch sử trên chuỗi, có được khả năng nhìn vào quá khứ trong khi vẫn duy trì tính không tin cậy và kiểm soát chi phí.


Rhythm BlockBeats: Các anh đã tự phát triển Pico zkVM thay vì áp dụng các giải pháp từ các dự án zkVM khác. Vậy lý do đằng sau việc này là gì? Điều gì khiến Brevis khác biệt so với các dự án zkVM khác?


Michael: Đây là một câu hỏi quan trọng. Thực tế, đã có rất nhiều dự án zkVM trên thị trường, vậy tại sao Brevis lại tự xây dựng Pico zkVM của riêng mình từ đầu? Lý do cốt lõi rất đơn giản—Chúng tôi tin rằng hầu hết các zkVM hiện có vẫn đang trong giai đoạn phòng thí nghiệm và chưa thực sự được thiết kế cho các ứng dụng thực tế quy mô lớn. Xét về hiệu suất tổng thể, chi phí và khả năng mở rộng, chúng vẫn còn lâu mới thực sự khả thi về mặt thương mại.Nói cách khác, chúng giống như những bằng chứng về khái niệm hơn là các hệ thống cấp sản xuất có khả năng hỗ trợ hàng chục triệu cuộc gọi.

Brevis đã phải đối mặt với một kịch bản nhu cầu rất thực tế ngay từ đầu. Các giao thức DeFi hàng đầu như PancakeSwap, Euler, Linea và Usual tạo ra hàng triệu bằng chứng zk mỗi ngày. Nếu hiệu suất zkVM cơ bản không đạt yêu cầu, toàn bộ hệ thống sẽ không thể khởi chạy. Điều này buộc chúng tôi phải xây dựng lại một công cụ tính toán zk thực sự được thiết kế cho môi trường sản xuất—Pico zkVM. Pico có ba tính năng riêng biệt. Đầu tiên là hiệu suất cực cao. Pico hiện là zkVM mạnh nhất thế giới. Phiên bản mới nhất của chúng tôi, Pico Prism, đã có thể hoàn thành bằng chứng thời gian thực cho 99,6% khối mạng chính Ethereum (hoàn thành trong vòng 12 giây) trên 64 nút 5090. 96,8% khối được hoàn thành trong vòng 10 giây, thể hiện sự cải thiện hiệu suất gấp 3–4 lần và giảm chi phí phần cứng khoảng 50%. Nói cách khác, nếu Ethereum đang chạy trên Pico ngày nay, hiệu quả xác minh tổng thể của nó có thể tăng lên theo cấp số nhân, một bước đột phá thực sự trong bằng chứng thời gian thực. Thứ hai, Pico tự hào sở hữu kiến trúc mô-đun độc đáo. Pico hiện là zkVM duy nhất hỗ trợ bộ đồng xử lý bên ngoài. Các zkVM khác thường là cấu trúc đóng, chỉ giới hạn ở các tính toán đa năng, trong khi Pico có thể được tích hợp các mô-đun được thiết kế riêng cho các tình huống ứng dụng cụ thể. Ví dụ: khi truy cập dữ liệu lịch sử, xác thực chéo các bản ghi trên chuỗi hoặc chạy logic tài chính phức tạp, bộ đồng xử lý của Pico có thể được cắm vào như các plug-in để tăng tốc các tác vụ cụ thể. Điều này mang lại cho Pico cả tính linh hoạt và khả năng hiệu suất cao chuyên biệt, cho phép nó linh hoạt bao phủ một loạt các ứng dụng, từ DeFi Web3 đến điện toán AI Web2. Cuối cùng, Pico thân thiện với nhà phát triển. Chúng tôi không yêu cầu nhà phát triển phải thành thạo mật mã học hoặc lý thuyết ZK để sử dụng nó. Nhà phát triển chỉ cần biết Rust để sử dụng nó, cho phép họ viết các ứng dụng ZK như các chương trình thông thường. Điều này làm giảm đáng kể rào cản gia nhập và ẩn hoàn toàn sự phức tạp của ZK ở mức thấp. Tóm lại, chúng tôi không chỉ là một zkVM thử nghiệm, mà là một công cụ tính toán ZK được xây dựng cho thế giới thực và các trường hợp sử dụng thực tế. BlockBeats: Gần đây, anh đã công bố Pico Prism, đạt được 99,6% bằng chứng thời gian thực trên phần cứng cấp độ người dùng. Anh có thể thảo luận về những đột phá kỹ thuật đằng sau thành tựu này và ý nghĩa của nó đối với giới hạn hiệu suất của zkVM không? Michael: Trước tiên, tôi xin làm rõ tầm quan trọng của điều này. Cải thiện hiệu suất không chỉ đơn thuần là tối ưu hóa kỹ thuật; chúng rất quan trọng đối với khả năng mở rộng và phát triển trong tương lai của hệ sinh thái Ethereum. Kiến trúc hiện tại của Ethereum yêu cầu mỗi nút phải thực hiện lặp lại cùng một phép tính, điều này an toàn và đáng tin cậy, nhưng khả năng mở rộng của nó đang gần đến giới hạn. Bước tiếp theo đòi hỏi một mô hình mới: một nút duy nhất thực hiện phần lớn phép tính và tạo ra bằng chứng ZK, trong khi các nút khác chỉ xác minh chúng. Phương pháp tính toán một điểm, xác minh nhiều điểm này có thể tăng thông lượng lên một cấp độ lớn, thậm chí đạt hoặc vượt mức của Solana, đồng thời duy trì tính phi tập trung và bảo mật, đồng thời duy trì quy mô nút phi tập trung cần thiết.Vào tháng 7 năm nay, Quỹ Ethereum đã công bố mục tiêu hai năm: đạt được bằng chứng thời gian thực của 99% khối bằng phần cứng cấp tiêu dùng có giá dưới 100.000 đô la. Khi đạt được, điều này sẽ cho phép khả năng mở rộng gần như vô hạn bằng cách thêm sức mạnh tính toán của phần cứng thông thường. Tuy nhiên, cho đến nay, điều này được coi là một khả năng lý thuyết: hầu hết các giải pháp zkVM đều kém xa tiêu chuẩn này về phạm vi bao phủ, chi phí và tốc độ, với nhiều giải pháp thậm chí phải vật lộn để đạt được phạm vi bao phủ thời gian thực 90%. Pico Prism là hệ thống đầu tiên thực sự vượt qua rào cản hiệu suất này. Trong các thử nghiệm của chúng tôi, chỉ sử dụng 64 GPU 5090 (có giá khoảng 120.000 đô la), chúng tôi đã đạt được bằng chứng của 99,6% khối Ethereum trong vòng 12 giây, với 96,8% khối được hoàn thành trong vòng 10 giây, với thời gian bằng chứng trung bình chỉ 6,9 giây. So với các giao thức khác, Pico cung cấp cải tiến hiệu suất 70% và giảm 50% chi phí. Nói cách khác, nó không chỉ nhanh hơn mà còn rẻ hơn, điều đó có nghĩa là chúng tôi đang rất gần với các mục tiêu do Quỹ Ethereum đặt ra. BlockBeats: Về mặt chức năng và mục tiêu, Brevis giống lớp tăng tốc ZK của Ethereum hơn hay giống một đám mây điện toán có thể xác minh đa chuỗi hơn? Michael: Về mặt chức năng và mục tiêu, hai định vị này không xung đột với nhau. Trong ngắn hạn, Brevis giống Ethereum và lớp tăng tốc ZK Lớp 2 của nó hơn. Chúng tôi phù hợp với định hướng của Quỹ Ethereum: đạt được khả năng mở rộng dung lượng mạng chính từ 10 đến 100 lần thông qua bằng chứng không kiến thức. Đồng thời, khả năng bằng chứng thời gian thực sẽ cải thiện đáng kể khả năng tương tác của Rollup Lớp 2, giúp các giao dịch chuỗi chéo nhanh hơn, hiệu quả hơn và ít tốn kém hơn, đồng thời thúc đẩy sự thống nhất tốt hơn về trạng thái và tính thanh khoản. Từ góc độ dài hạn và rộng hơn, định vị của Brevis không chỉ giới hạn ở Ethereum. Kiến trúc của chúng tôi vốn hỗ trợ nhiều chuỗi. Hiện tại, chúng tôi đang hợp tác với các đối tác hệ sinh thái như BNB Chain (ví dụ: PancakeSwap) và thúc đẩy hợp tác trong các dự án bên ngoài Ethereum, chẳng hạn như hợp đồng vĩnh viễn. Chúng tôi cũng duy trì sự liên kết với các hệ sinh thái lớp thứ hai/đa chuỗi như Arbitrum, Base và Avalanche. Nhìn chung, chúng tôi hy vọng sẽ xây dựng Brevis thành một nền tảng điện toán đám mây có thể xác minh cho tất cả các ứng dụng blockchain. Mục tiêu của chúng tôi là cho phép các hợp đồng thông minh được triển khai trên bất kỳ chuỗi nào có thể dễ dàng truy cập dịch vụ điện toán này trong vòng 3-5 năm tới. Về lâu dài, phần lớn hoạt động tính toán ứng dụng blockchain sẽ diễn ra ngoài chuỗi, với độ tin cậy được đảm bảo bằng ZK. Brevis sẽ đóng vai trò là lớp tin cậy điện toán thống nhất cho toàn bộ hệ thống phi tập trung.


Cách triển khai: Ứng dụng thực tế và Nghiên cứu điển hình


BlockBeats: Nhiều ứng dụng DeFi, chẳng hạn như PancakeSwap, Euler và Linea, hiện đang sử dụng công nghệ Brevis. Ông có thể đưa ra một ví dụ cụ thể về cách thức hoạt động của công nghệ này trong các tình huống này không?


Michael: Vâng, các tình huống ứng dụng hiện tại của chúng tôi chủ yếu được chia thành một số loại, điển hình nhất là DeFi. PancakeSwap, vừa được đề cập, là một ví dụ điển hình. Chúng tôi không muốn trải nghiệm người dùng DEX vẫn giữ nguyên ở cùng một mức độ—cho dù bạn là một nhà giao dịch thông thường hay một nhà giao dịch tần suất cao, giao diện và phí đều hoàn toàn giống nhau. Chúng tôi hy vọng rằng DEX có thể dần dần cung cấp những trải nghiệm khác biệt cho các loại người dùng khác nhau, giống như CEX. Đồng thời, chúng tôi đang khám phá thêm các ứng dụng sáng tạo hơn. Ví dụ: chúng tôi đang hợp tác với các dự án như SocialFi để cho phép người dùng chứng minh tầm ảnh hưởng và tài sản thực sự của họ mà không tiết lộ ví chính.


Chúng tôi cũng đang thúc đẩy một số kịch bản hoạt động gần như hoàn toàn ngoài chuỗi. Ví dụ: trong các hệ thống giao dịch vĩnh viễn như Hyperliquid, vị thế của người dùng, đòn bẩy và các thông tin khác thường được công khai, khiến chúng dễ bị các nhà giao dịch khác tấn công. Chúng tôi hy vọng sẽ tái cấu trúc hệ thống này bằng công nghệ ZK, cho phép mã hóa và ẩn tất cả các bản ghi lệnh và vị thế, đồng thời vẫn sử dụng bằng chứng ZK để đảm bảo tính chính xác của việc khớp lệnh và bảo mật của hệ thống. Điều này sẽ mang lại trải nghiệm mượt mà tương tự như các nền tảng giao dịch tập trung trong khi vẫn duy trì bảo mật và quyền riêng tư ở cấp độ blockchain.


BlockBeats: Ở cấp độ sản phẩm, Incentra là một ứng dụng quan trọng mà bạn đã ra mắt và hiện đang quản lý hơn 300 triệu đô la phân phối tiền thưởng. Hệ thống này hoạt động như thế nào?


Michael: Điểm khởi đầu của Incentra rất đơn giản: phân phối ưu đãi là cốt lõi cho sự phát triển của mọi hệ sinh thái, nhưng cơ chế phân phối từ lâu đã bị ảnh hưởng bởi các vấn đề về bảo mật, tuân thủ và minh bạch.


Cơ chế cốt lõi của Incentra liên quan đến việc người dùng tạo bằng chứng ZK dựa trên hành vi thực tế của họ trên chuỗi hoặc trong giao thức. Xác minh tính đủ điều kiện và yêu cầu được hoàn thành trực tiếp trên hợp đồng trên chuỗi, loại bỏ nhu cầu phân phối tập trung. Mô hình này mang lại ba lợi thế so với các phương pháp truyền thống. Thứ nhất, bảo mật: Tiền được thanh toán trong hợp đồng theo các quy tắc được thiết lập trước, giảm rủi ro lưu ký tập trung và rủi ro vận hành. Thứ hai, tuân thủ và khả năng kiểm toán: Các quy tắc và bằng chứng đủ điều kiện của Incentra có thể theo dõi trên chuỗi, loại bỏ gánh nặng tuân thủ khi chuyển tiền cho các thực thể không xác định. Thứ ba, công bằng và minh bạch: Bất kỳ yêu cầu nào cũng có thể được xác minh độc lập bên ngoài để phản ánh đóng góp thực tế và đường dẫn tính toán của nó, loại bỏ việc phân bổ hộp đen. Hệ thống này đã được triển khai trong các kịch bản tăng trưởng và khuyến khích cho các dự án như BNB Chain, MetaMask, OpenEden và Usual. Dù trong hệ sinh thái stablecoin hay hệ thống khuyến khích trên chuỗi, giải pháp này đảm bảo việc phân phối khuyến khích an toàn, tuân thủ và minh bạch.

BlockBeats: So với nhiều dự án ZK vẫn đang trong giai đoạn thử nghiệm, Brevis đã đạt được triển khai quy mô lớn. Theo anh, tại sao các bạn lại đạt được điều này nhanh chóng như vậy? Michael: Tôi nghĩ lý do cốt lõi là ngay từ ngày đầu, chúng tôi không coi mình là một phòng thí nghiệm ZK tập trung vào nghiên cứu, mà là một công ty cơ sở hạ tầng tập trung vào các ứng dụng thực tế. Phương pháp kỹ thuật của chúng tôi không phải là xây dựng engine trước rồi mới tìm ứng dụng, mà ngược lại: bắt đầu với các yêu cầu ứng dụng và làm việc ngược lại để thiết kế kiến trúc nền tảng. Điều này về cơ bản tạo nên sự khác biệt của Brevis. Nhiều dự án ZK phát triển một zkVM dường như hoàn hảo trong bí mật, sau đó mới xem xét các ứng dụng tiềm năng của nó. Mặt khác, chúng tôi bắt đầu bằng việc tìm hiểu những điểm khó khăn thực sự của các dự án đối tác, trước tiên là tìm hiểu nhu cầu thực tế của họ, sau đó dần dần thiết kế một kiến trúc zkVM dạng mô-đun và tạo ra một zkCoprocessor có thể cắm được. Nói cách khác, sự phát triển công nghệ của Brevis không phải là một kế hoạch bất chợt; nó được thúc đẩy từng bước bởi người dùng và đối tác thực sự. Phương pháp RD lấy vấn đề làm trọng tâm này cho phép lặp lại liên tục và nhanh chóng, với mỗi cải tiến đều nhắm trực tiếp đến một trường hợp sử dụng có thể kiểm chứng. Điều này cũng đảm bảo tính ổn định và khả năng mở rộng ở cấp độ sản xuất ngay từ đầu, thay vì chỉ viết mã cho một bài báo. Cũng có một lý do đơn giản hơn: đội ngũ của chúng tôi vừa thành thạo về mật mã học vừa thành thạo về kỹ thuật hệ thống quy mô lớn. Chúng tôi không bao giờ dừng lại ở việc suy luận lý thuyết, mà thay vào đó thực sự trau dồi hiệu suất và xác minh tính ổn định trong môi trường sản xuất. Đến nay, Brevis đã tạo ra hơn 100 triệu bằng chứng không kiến thức trên mạng chính, phục vụ khoảng 190.000 người dùng và quản lý hơn 300 triệu đô la tiền thưởng thực tế cho các giao thức đối tác. Đây là những ứng dụng thực tế, trực tiếp—bao gồm các dự án như Linea, Euler, Usual và OpenEden—không phải bản demo hay mạng thử nghiệm.


Đi đâu tiếp theo: Kịch bản mở và Tầm nhìn tương lai


Rhythm BlockBeats: Ngoài DeFi, bạn nghĩ mô hình điện toán ngoài chuỗi, xác minh trên chuỗi sẽ có tác động gì trong tương lai, chẳng hạn như AI, thị trường dữ liệu hay trò chơi?


Michael: Ngoài DeFi, mô hình này sẽ có tác động lâu dài đến AI có thể xác minh, dữ liệu Web2 sang Web3 và cầu nối danh tính, thị trường dữ liệu riêng tư, trò chơi và mạng xã hội. Đầu tiên, trong lĩnh vực AI có thể xác minh, các mô hình hiện có chủ yếu là hộp đen. Bằng chứng không kiến thức có thể tạo ra bằng chứng toán học có thể xác minh về quá trình suy luận, chứng minh rằng một mô hình cụ thể đã tạo ra đầu ra tương ứng dựa trên một đầu vào nhất định và đảm bảo rằng mô hình và quy trình không bị thay thế hoặc giả mạo. Thứ hai, trong kịch bản cầu nối Web2 sang Web3, người dùng có thể đưa trình độ hoặc hành vi của họ trên các nền tảng tập trung vào các ứng dụng trên chuỗi dưới dạng bằng chứng. Ví dụ, hoạt động giao dịch trên sàn giao dịch tập trung có thể được áp dụng mức phí chiết khấu trên sàn giao dịch phi tập trung mà không tiết lộ danh tính hoặc thông tin tài khoản cơ bản. Cuối cùng, trong lĩnh vực trò chơi và xã hội, người dùng có thể chứng minh thành tích lịch sử, sở hữu tài sản hoặc hoàn thành các hành vi quan trọng để có được quyền truy cập, đủ điều kiện hoặc ưu đãi mà không cần tiết lộ ví hoặc thông tin cá nhân nhạy cảm.

Về lâu dài, hệ thống này sẽ định hình lại ranh giới của niềm tin trong thế giới số. Thông qua Web3 và bằng chứng không kiến thức, chúng tôi hy vọng sẽ định hình lại cách xã hội hiểu về điện toán đáng tin cậy, đảm bảo rằng mọi phép tính đều có thể được xác minh và tin cậy. Brevis đặt mục tiêu trở thành nền tảng của tất cả những điều này—một lớp tin cậy điện toán mới. BlockBeats: Chúng tôi đã chứng kiến Brevis ra mắt sự kiện Brevis Proving Grounds vào ngày 13 tháng 10. Ông có thể chia sẻ nội dung cốt lõi của sự kiện này và những gì người dùng thực sự có thể tham gia và trải nghiệm không? Michael: Trong thời gian qua, chúng tôi đã dành nhiều nỗ lực để xác minh và phê duyệt tài liệu cho các ứng dụng của mình. Chúng tôi đã thiết lập quan hệ hợp tác chuyên sâu với hơn hai mươi đối tác. Mỗi dự án này đại diện cho một kịch bản ứng dụng thực tế, trực tiếp, có thể sử dụng được bởi người dùng và chúng đã chứng minh hiệu suất và khả năng giữ chân người dùng tuyệt vời. Tuy nhiên, chúng tôi nhận thấy rằng trong thế giới blockchain, nhiều thứ được thúc đẩy bởi nhận thức và sự phát triển của người dùng. Nói cách khác, khi người dùng thực sự hiểu được giá trị của một công nghệ mới, phản hồi và nhu cầu của họ sẽ thúc đẩy các nhà phát triển triển khai nhiều tính năng hơn. Vì lý do này, chúng tôi muốn thực sự thu hút người dùng, cho phép họ vượt ra ngoài vai trò khán giả để trải nghiệm và xác minh lợi ích trực tiếp. Đây là mục đích cốt lõi của chiến dịch "Khu vực Thử nghiệm Brevis" của chúng tôi. Chiến dịch được chia thành hai giai đoạn. Giai đoạn đầu tiên là đào tạo người dùng, nhằm giúp nhiều người hiểu hơn về những gì đối tác của chúng tôi đang làm và những vấn đề cụ thể mà bằng chứng không kiến thức (ZK) có thể giải quyết trong các dự án này. Giai đoạn này tập trung vào việc thúc đẩy sự hiểu biết và nuôi dưỡng sự hiểu biết rõ ràng về logic và ý nghĩa cơ bản của công nghệ. Giai đoạn thứ hai là giai đoạn trải nghiệm thực tế, nơi người dùng đích thân sử dụng các ứng dụng hiện có của chúng tôi và thực sự trải nghiệm sự chuyển đổi mà các sản phẩm này mang lại sau khi tích hợp Brevis. Không giống như nhiều dự án khác, với các chiến dịch thường chỉ đơn giản là người dùng nhấp chuột, hoàn thành nhiệm vụ và hưởng lợi từ các lợi ích, các dự án này thường thiếu các chức năng thực sự mang tính trải nghiệm, sáng tạo và cấp thấp. Chúng tôi khác biệt. Các dự án hợp tác của chúng tôi là những ứng dụng thực tế và có giá trị. Người dùng không chỉ chơi mô phỏng; họ thực sự đang sử dụng các sản phẩm được tích hợp sâu với công nghệ Brevis. Chúng tôi hy vọng phương pháp này sẽ cho phép người dùng trải nghiệm sự mượt mà và chuyển đổi giá trị mà công nghệ ZK mang lại, đồng thời hiểu được lý do tại sao mô hình tính toán ngoài chuỗi và xác minh trên chuỗi này giúp các ứng dụng vừa an toàn vừa hiệu quả. Quan trọng hơn, chúng tôi muốn trao quyền cho nhiều người dùng hơn để họ trở thành động lực thúc đẩy hệ sinh thái: khi ngày càng nhiều người dùng hiểu và chủ động yêu cầu cơ chế này cho các sản phẩm họ sử dụng, động lực đổi mới của ngành sẽ được khơi dậy.


Rhythm BlockBeats: Ngoài sự kiện này, Brevis hiện có những kế hoạch nào khác? Người dùng vẫn có thể tham gia chứ?


Michael: Chúng tôi sẽ tiếp tục triển khai các kế hoạch sinh thái mang tính tham gia, bao gồm việc thúc đẩy ra mắt mạng lưới nút chứng minh phi tập trung để hình thành cơ sở hạ tầng chứng minh và xác minh mở hơn. Các kế hoạch liên quan sẽ mở ra các kênh tham gia cho cộng đồng và các đối tác sinh thái, và các phương thức tham gia cụ thể cũng như lịch trình thời gian sẽ được công bố sau.


Rhythm BlockBeats: Về lâu dài, ông hy vọng Brevis sẽ trở thành loại cơ sở hạ tầng nào? Vai trò cuối cùng của nó trong thế giới Web3 là gì?


Michael: Tầm nhìn của chúng tôi là xây dựng Brevis thành lớp điện toán vô hạn của Web3 và trở thành nguồn điện toán đáng tin cậy toàn cầu. Tương tự như cách Ethereum tái cấu trúc logic tin cậy của tài sản và tài chính thông qua hợp đồng thông minh, Brevis hướng đến việc tái cấu trúc logic tin cậy của tính toán: không còn là lựa chọn nhị phân giữa việc tự mình thực hiện tính toán và tin tưởng kết quả của người khác, mà là đảm bảo tính bảo mật và tính chính xác của kết quả thông qua tính toán có thể xác minh mà không bị trùng lặp. Nhìn về tương lai, các ứng dụng trên chuỗi sẽ phát triển từ việc thực hiện giao dịch và chuyển giao tài sản đơn giản sang các hệ thống thông minh và phức tạp hơn, bao gồm các thuật toán tiên tiến, tương tác dữ liệu, trải nghiệm cá nhân hóa và bằng chứng về hành vi xã hội. Việc áp dụng đại trà đòi hỏi cả sức mạnh tính toán mạnh mẽ và bảo mật toàn diện. Chúng tôi đặt mục tiêu làm cho loại hình chứng minh tính toán này trở nên phổ biến, dễ tiếp cận và tiết kiệm chi phí - cho phép mọi ứng dụng Web3 tích hợp khả năng này một cách tự nhiên mà không cần phải phát minh lại bánh xe. Về mặt kiến trúc, chúng tôi đặt mục tiêu bổ sung một lớp tin cậy mới - lớp tính toán vô hạn - bên trên các lớp đồng thuận, dữ liệu và thực thi. Đây sẽ trở thành lớp thứ tư của cơ sở hạ tầng blockchain, cung cấp khả năng xác minh và độ tin cậy tính toán thống nhất cho toàn bộ thế giới phi tập trung. Cho phép tất cả các phép tính thông minh, phức tạp và thậm chí là xuyên chuỗi được xác minh và sử dụng theo nguyên tắc không tin cậy. Đây chính là điều chúng ta hiểu về điện toán vô hạn và cũng là sứ mệnh dài hạn của Brevis.

0

Tuyên bố miễn trừ trách nhiệm: Mọi thông tin trong bài viết đều thể hiện quan điểm của tác giả và không liên quan đến nền tảng. Bài viết này không nhằm mục đích tham khảo để đưa ra quyết định đầu tư.

PoolX: Khóa để nhận token mới.
APR lên đến 12%. Luôn hoạt động, luôn nhận airdrop.
Khóa ngay!