1/ Khảo sát mới: Sum-check là tất cả những gì bạn cần. Vừa đăng một khảo sát về các nguyên tắc thiết kế đằng sau Jolt và SNARKs fast-prover một cách rộng rãi. Có thể nói đây là lần đầu tiên các ý tưởng cốt lõi được viết lại tất cả ở một nơi.

2/ Giao thức kiểm tra tổng là gì? Nó là xương sống của các SNARK nhanh nhất hiện nay. Một bằng chứng tương tác kiểm tra một tổng lớn với chi phí tối thiểu. Trong SNARKs, nó cho phép người chứng minh cam kết với ít dữ liệu hơn. Hầu hết công việc trở thành các phép cộng và phép nhân đơn giản.

3/ Nhưng không phải tất cả các ứng dụng của sum-check đều giống nhau. Các SNARK nhanh nhất sử dụng nó một cách thông minh, khai thác cấu trúc lặp lại để giảm thiểu công việc của người chứng minh. Các kỹ thuật chính: – Các lập luận đánh giá theo lô – Kiểm tra bộ nhớ – Đa thức ảo – Kiểm tra tổng thưa – Bảo tồn giá trị nhỏ

Để thêm một số sắc thái, kiểm tra tổng có thể giúp tăng tốc độ cam kết cho các giá trị nhỏ với các cam kết dựa trên băm. e.g., FRI-Binius đóng gói nhiều giá trị nhỏ vào một phần tử trường duy nhất trước khi áp dụng một sơ đồ cam kết giống như FRI cho các giá trị đã được đóng gói. Kiểm tra tổng sau đó được sử dụng để liên kết các giá trị đã được giải nén (mà người xác minh thực sự quan tâm) với các giá trị đã được đóng gói mà thực sự đã được cam kết.