Brevis đang cố gắng giải quyết một vấn đề cũ trong Web3 theo một hướng thú vị — tính toán trên chuỗi quá đắt đỏ.

Dự án này định vị mình là "Lớp tính toán vô hạn Web3", ý tưởng cốt lõi rất đơn giản: chuyển phần tính toán ra ngoài chuỗi, sau đó dùng chứng minh không kiến thức để xác nhận kết quả trở lại chuỗi. Như vậy vừa giảm chi phí, vừa không hy sinh an toàn.

Nói cụ thể hơn, những điểm đau mà Brevis muốn giải quyết gồm có ba phần. Thứ nhất, thực thi bất kỳ logic phức tạp nào trên chuỗi đều phải tiêu tốn Gas, chi phí cực kỳ cao. Thứ hai, hợp đồng thông minh muốn truy cập dữ liệu lịch sử hoặc dữ liệu liên chuỗi rất khó khăn, hầu như phải dựa vào oracle hoặc dịch vụ chỉ mục tập trung, điều này lại mang rủi ro về độ tin cậy. Thứ ba, các giải pháp hiện tại chưa đủ linh hoạt, rất khó hỗ trợ các ứng dụng DeFi dựa trên dữ liệu, xác thực liên chuỗi hoặc AI có thể xác minh được các kịch bản cao cấp.

Về mặt kỹ thuật, nền tảng của Brevis gồm hai thành phần cốt lõi. Một là Pico zkVM, một máy ảo không kiến thức chung, sử dụng kiến trúc "bộ xử lý hợp nhất" (胶水协处理器). Nó vừa có thể xử lý các tính toán thông thường bằng quy trình làm việc chung, vừa tích hợp mạch gia tốc chuyên dụng để xử lý các kịch bản đặc thù, hỗ trợ phát triển bằng các ngôn ngữ lập trình phổ biến. Đặc biệt, họ đã ra mắt Pico-GPU, có thể tăng tốc độ sinh chứng minh gấp 10 đến 20 lần, điều này rất quan trọng cho khả năng xử lý và kiểm soát chi phí trong môi trường sản xuất.

Thành phần thứ hai là ProverNet, một mạng lưới các nhà cung cấp chứng minh phi tập trung. Mạng này dùng cơ chế đấu giá TODA để phân phối yêu cầu tính toán, có thể cung cấp sức mạnh tính toán chứng minh quy mô lớn, phù hợp đặc biệt cho các kịch bản đa chuỗi và yêu cầu cao về đồng thời.

Về mặt thân thiện với nhà phát triển, Brevis thiết kế một bộ SDK có thể lập trình, quy trình tích hợp chỉ gồm ba bước — truy cập dữ liệu, tính toán ngoài chuỗi, xác minh trên chuỗi. Điều này có nghĩa là các nhà phát triển không cần nền tảng về mật mã sâu, vẫn có thể nhanh chóng tích hợp khả năng ZK vào ứng dụng của mình.

Dự án còn thể hiện rõ một số lợi thế rõ rệt. Về mặt kỹ thuật, hiệu năng của Pico zkVM vượt trội hơn các sản phẩm cùng loại chính thống, các thành phần có thể tháo rời để phù hợp với các yêu cầu kinh doanh khác nhau. Về mặt chức năng, nhà phát triển có thể truy cập an toàn toàn bộ dữ liệu lịch sử đa chuỗi, hỗ trợ tính toán phức tạp và xác thực liên chuỗi, mở khóa nhiều kịch bản ứng dụng trước đây khó thực hiện. Về mặt thực thi, trải nghiệm phát triển đơn giản hóa giúp giảm đáng kể chi phí và rào cản để triển khai các ứng dụng ZK.

Nếu giải pháp này có thể triển khai suôn sẻ, về lý thuyết sẽ mở ra nhiều không gian tưởng tượng cho DeFi, hệ sinh thái liên chuỗi và suy luận AI trên chuỗi.