Anthropic mã nguồn mở hệ thống chứng minh không tri thức FlashProve

Odaily đưa tin: Anthropic đã phát hành FlashProve, hệ thống xác minh suy luận AI mã nguồn mở dựa trên chứng minh không tri thức (zkSNARK), với sự tham gia nghiên cứu của Alessandro Chiesa, đồng sáng lập StarkWare. Hệ thống này sử dụng các phương pháp mật mã có cùng nguồn gốc với công nghệ ZK blockchain, cho phép người dùng xác minh liệu đầu ra AI có được tạo ra bởi mô hình được chỉ định hay không mà không cần lấy trọng số mô hình hoặc chạy lại mô hình.

Anthropic cho biết Claude đã tham gia tối ưu hóa hệ thống, và mã liên quan cùng chứng minh hình thức Lean hiện đã được mã nguồn mở. Hệ thống vẫn đang ở giai đoạn nguyên mẫu nghiên cứu, với chi phí thời gian GPU để tạo chứng minh khoảng 70–95 lần so với suy luận thông thường.

Thử nghiệm cho thấy FlashProve trên một GPU H100 duy nhất có thể tạo chứng minh cho mô hình 400 tỷ tham số Llama 4 Maverick của Meta với tốc độ khoảng 110 Token mỗi giây, mỗi chứng minh khoảng 19 MB.