Hiện tại, một trong những thách thức cốt lõi của ngành là giới hạn khả năng tính toán vốn có của nó. Để đảm bảo Phi tập trung và an toàn, tất cả các Nút trong mạng phải thực hiện lại cùng một phép tính, điều này dẫn đến chi phí cao và hiệu suất thấp.

—————————————————————————

Để giải quyết mâu thuẫn này, @brevis_zk định vị mình là một lớp tính toán vô hạn, nhằm cung cấp sức mạnh tính toán thông qua phương thức tính toán có thể xác minh "tính toán ngoài chuỗi, xác minh trên chuỗi", đồng thời duy trì tính an toàn không cần tin cậy.

Cốt lõi của Brevis là "tính toán có thể xác minh", nó tách rời quá trình tính toán khỏi quá trình xác minh. Các nhiệm vụ tính toán nặng nề được thực hiện ngoài chuỗi và tạo ra một chứng minh ZK ngắn gọn, trong khi hợp đồng thông minh trên chuỗi chỉ cần xác minh tính đúng đắn của chứng minh đó với chi phí rất thấp, mà không cần lặp lại toàn bộ quá trình tính toán.

Trong quá trình thực hiện, Brevis chủ yếu sử dụng kiến trúc hỗn hợp độc đáo, bao gồm hai mô-đun cốt lõi Pico zkVM và zkCoprocessor.

Pico zkVM (Máy ảo không biết chung)

Công cụ tính toán tổng quát, có khả năng tạo ra chứng minh ZK cho quá trình thực thi của bất kỳ chương trình nào. Các nhà phát triển, ngay cả khi không hiểu biết về mật mã, cũng có thể xây dựng môi trường ứng dụng ZK. Pico zkVM áp dụng thiết kế mô-đun cao, cho phép kết nối với các bộ xử lý đồng xử lý bên ngoài để tăng tốc các nhiệm vụ cụ thể.

zkCoprocessor（ZK dữ liệu hợp tác xử lý）

Bộ đồng xử lý được tùy chỉnh cho các tình huống dữ liệu blockchain. Hợp đồng thông minh không thể truy cập hoặc tính toán trạng thái lịch sử trực tiếp. zkCoprocessor đọc và tổng hợp dữ liệu lịch sử (như giao dịch của người dùng, số dư, vị thế, v.v.) ngoài chuỗi và tạo ra chứng minh để xác thực tính xác thực của dữ liệu này.

Kiến trúc "zkVM tổng quát + bộ xử lý đồng chuyên dụng", kết hợp tính linh hoạt và hiệu suất cao, cho phép @brevis_zk xử lý hiệu quả các loại nhiệm vụ từ phân tích dữ liệu DeFi đến xác minh thuật toán phức tạp.

Với việc hiệu suất Pico zkVM không ngừng cải thiện và các kịch bản ứng dụng của zkCoprocessor không ngừng mở rộng, Brevis đang tiến từ khả năng mở rộng sang khả năng xác thực.