ZK không còn là "thiên thư", Brevis biến nó thành "công cụ cần thiết" trên Blockchain.

Tóm tắt: Thảo luận về các sản phẩm cốt lõi và sự mở rộng hệ sinh thái của Brevis. Tác giả: Người đóng góp cốt lõi của Biteye @anci_hu49074 Một, Brevis là gì? Để hiểu Brevis, bạn không thể không nhắc đến ZK (bằng chứng không kiến thức).

Chúng ta thường nói rằng blockchain là một sổ cái chia sẻ, mọi người cùng ghi chép, đảm bảo tính công bằng. Nhưng khả năng tính toán của nó có giới hạn: mỗi giao dịch đều phải được tất cả các nút xác thực lại, khi xử lý các nhiệm vụ phức tạp (như phân tích dữ liệu lớn hoặc suy luận AI), nó chậm như rùa và tốn kém. Sự xuất hiện của công nghệ ZK là để giải quyết "nút thắt sức mạnh tính toán" này. Bạn có thể tưởng tượng ZK như một chiếc máy tính khi làm bài toán - khi gặp phải các phép tính phức tạp, không cần phải tính toán lặp đi lặp lại nữa, mà chỉ cần nhấn phím, dễ dàng có được câu trả lời, và kết quả được "máy" bảo chứng, hoàn toàn đáng tin cậy. Brevis chính là một "máy tính ZK" mạnh mẽ như vậy. Mục tiêu của nó là giúp các ứng dụng Web3 vượt qua giới hạn về sức mạnh tính toán trên chuỗi, chuyển các nhiệm vụ tính toán phức tạp một cách an toàn sang thực hiện ngoài chuỗi, sau đó đưa kết quả trở lại chuỗi để xác minh thông qua chứng minh ZK. Như vậy, các nhà phát triển dApp giống như sử dụng máy tính trong phòng thi, dù là những phép toán phức tạp đến đâu cũng có thể hoàn thành một cách hiệu quả và an tâm. Hai sản phẩm cốt lõi Năng lực cốt lõi của Brevis được thể hiện qua hai sản phẩm lớn mà nó đã ra mắt:

1. Pico zkVM: "Máy tính ZK phổ quát" của thế giới blockchain Pico zkVM là máy ảo không kiến thức tổng quát do nhóm Brevis tự phát triển. Điều này giống như việc chúng ta có thể nhanh chóng tính toán các công thức đa dạng bằng máy tính, Pico zkVM hỗ trợ các nhà phát triển tự do lựa chọn các hệ thống chứng minh khác nhau (chẳng hạn như STARK, CircleSTARK, v.v.), các kiến trúc tính toán khác nhau (tập lệnh RISC-V), thậm chí có thể kết nối các mô-đun "bộ đồng xử lý" tùy chỉnh cho các ứng dụng khác nhau. Nhanh chóng thích ứng với các tình huống kinh doanh và nhu cầu tối ưu hóa khác nhau, cân bằng an toàn, tốc độ và chi phí. So với các sản phẩm cạnh tranh zkVM khác, Pico nhanh hơn RISC0, SP1... từ 70-155% trên CPU, là zkVM nhanh nhất trên một GPU. Ngoài ra, nó hỗ trợ lập trình Rust, giúp các nhà phát triển không cần phải thông thạo mật mã, chỉ cần tập trung vào logic kinh doanh, có thể xây dựng ứng dụng hiệu quả và tận hưởng sức mạnh của ZK.
2. Bộ xử lý dữ liệu ZK: Máy tính cao cấp cho phép thực hiện các nghiệp vụ phức tạp "tính toán bằng một nút" Nếu nói rằng Pico là một máy tính cơ bản toàn năng, thì ZK Data Co-Processor chính là một máy tính thông minh tích hợp "hàm cao cấp". Nó được thiết kế đặc biệt cho các tình huống trong thế giới Web3 cần xử lý một lượng lớn dữ liệu lịch sử, dữ liệu xuyên chuỗi và logic kinh doanh phức tạp, đóng gói nhiều thao tác tổng hợp, phân tích và xác thực rắc rối thành API tiêu chuẩn hóa, giúp lập trình viên có thể tự động hoàn thành tất cả các xử lý dữ liệu chỉ với một lần gọi, và tạo ra bằng chứng không biết (zero-knowledge proof) chỉ với một nút bấm, từ đó xác thực hiệu quả trên chuỗi. Cụ thể khả năng bao gồm: Tự động thống kê hành vi người dùng: chẳng hạn như thống kê khối lượng giao dịch, thời gian hoạt động của người dùng trên một giao thức nhất định, tạo ra "điểm hành vi" hoặc "điều kiện nhận thưởng" có thể xác minh. Ví dụ, các dự án như Uniswap, PancakeSwap đã tận dụng khả năng này để thực hiện giảm phí gas, phân phối thưởng và các chức năng khác. Tích hợp dữ liệu đa chuỗi: đã bao phủ 5 chuỗi blockchain chính như Ethereum, BNB Chain, Base, có thể thống kê tài sản, giao dịch và mức độ tham gia của người dùng một cách thống nhất qua chuỗi. Các dự án như Euler, Usual đang thực hiện được thực sự "dữ liệu làm vua" thông qua động lực đa chuỗi này. Logic kinh doanh phức tạp được triển khai một cách toàn diện trên chuỗi: chẳng hạn như phân phối thưởng, quản lý độ trung thành, xác thực danh tính, tất cả các logic đều có thể được hợp đồng thông minh gọi trực tiếp mà không cần phụ thuộc vào bên thứ ba hoặc dịch vụ tập trung. Các giao thức như OpenEden, Thena, Kernel, Vana đang sử dụng Brevis để thúc đẩy triển khai các cảnh giới tiên tiến như danh tính trên chuỗi, động lực xuyên chuỗi, tính toán dữ liệu AI đáng tin cậy và gợi ý cá nhân hóa. Sự xuất hiện của bộ xử lý đồng xử lý ZK đã giảm đáng kể rào cản phát triển khi sử dụng ZK, cho phép các nhà phát triển không cần phải "tự tay" xây dựng logic chứng minh phức tạp mà vẫn có thể tận dụng sức mạnh vượt trội, do đó nhanh chóng nhận được sự chấp nhận rộng rãi từ các dự án hàng đầu trong ngành. Ba, Mở rộng sinh thái Ngoài những trường hợp điển hình đã đề cập trước đó, ảnh hưởng của Brevis đang nhanh chóng mở rộng trong sinh thái đa chuỗi và đa lĩnh vực. Theo thống kê, hiện tại số người dùng hoạt động hàng ngày của Brevis đã gần 8000, tổng cộng hơn 70,000 người dùng và 5 chuỗi công cộng chính đã tạo ra gần 50 triệu bằng chứng tính toán có thể xác minh. Trong sinh thái BNB Chain, Brevis đã tích hợp sâu với các dự án lớn nhất như PancakeSwap, Kernel, Thena, thực tế tiếp cận và phục vụ hàng triệu người dùng hoạt động hàng ngày, trở thành lực lượng cốt lõi trong công nghệ zk trên chuỗi BNB. Trong khi đó, Pico zkVM cũng đã được đưa vào kế hoạch mở rộng "giga-gas" của Ethereum, giúp tăng cường khả năng thông lượng của chuỗi chính Ethereum đảm bảo an ninh và phân quyền. Có thể thấy, Brevis có khả năng xây dựng ảnh hưởng trong sinh thái Ethereum. Trong lĩnh vực AI, Brevis cho phép mỗi lần suy luận và quyết định của mô hình AI đều có thể được chứng minh bằng toán học, nâng cao đáng kể độ tin cậy và khả năng kiểm toán của kết quả AI. Điều này đặc biệt quan trọng đối với các ngành yêu cầu kiểm toán nghiêm ngặt và độ tin cậy như tài chính và y tế, đồng thời cũng giúp mỗi người tham gia trong mạng lưới AI phi tập trung có thể yên tâm đóng góp mô hình và dữ liệu mà không phải lo lắng về việc bị giả mạo hoặc sửa đổi. Trong lĩnh vực Web2 truyền thống, Brevis cũng có chỗ đứng. Ví dụ, các doanh nghiệp có thể sử dụng nó để xác minh xem nhà cung cấp dịch vụ đám mây có thực sự hoàn thành nhiệm vụ theo yêu cầu hay không; các API và dịch vụ bên thứ ba cũng có thể sử dụng nó để chứng minh hành vi của mình là thật và đáng tin cậy; các ngành tài chính, chuỗi cung ứng cũng có thể thông qua Brevis để thực hiện tuân thủ và kiểm toán ở mức độ mã hóa cho việc xử lý dữ liệu và quy trình kinh doanh. Nói ngắn gọn, Brevis biến "niềm tin" thành sự thật có thể được xác minh. Bốn, Kết luận Từ lâu, công nghệ ZK giống như bài toán cuối cùng trong một cuộc thi toán học, khó khăn lớn, ngưỡng cao, dường như rất xa vời với người dùng bình thường và ứng dụng thực tế. Sự xuất hiện của Brevis đã biến ZK từ "sách trời" thành cơ sở hạ tầng mà mọi người đều có thể sử dụng. Dù là DeFi, GameFi, AI, cross-chain, hay các tình huống phân phối phần thưởng dựa trên dữ liệu, xác thực danh tính, chân dung người dùng, v.v., Brevis đều có thể giúp các nhà phát triển thực hiện đổi mới theo cách hiệu quả hơn, an toàn hơn và dễ tiếp cận hơn. Bạn nghĩ gì về tương lai của Brevis và ZK? Xin mời chia sẻ suy nghĩ và quan điểm của bạn trong phần bình luận.