Điều gì sẽ xảy ra nếu bạn không phải hy sinh trách nhiệm để đổi lấy tốc độ khi sử dụng SNARKs? Wenhao Wang từ @Yale giới thiệu Cirrus: Giao thức SNARK phân tán đầu tiên đạt được khả năng mở rộng ngang, trách nhiệm và một thiết lập tin cậy toàn cầu đồng thời.

Trong khi việc tạo chứng cứ phân tán là chìa khóa để mở rộng Verifiable ML và zkVMs, các giao thức hiện có thường phải đánh đổi giữa trách nhiệm và tính linh hoạt trong thiết lập. Cirrus, được xây dựng trên HyperPlonk, đã phá vỡ nút thắt này. Các chỉ số chính: - Tính toán tuyến tính & giao tiếp logarithmic. - Định vị công nhân lỗi trong <3 giây. - Nhanh hơn 15 lần so với Hekaton (CCS'24) cho các băm Pedersen.