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ỏ