1/13 Một cuộc khảo sát mới từ @SuccinctJT: giao thức sum-check là nền tảng cho tất cả các SNARK provers nhanh. Luận điểm chính: Thời gian prover bị chi phối bởi (1) chi phí cam kết và (2) dữ liệu chứng minh được định hình tốt. Sum-check, khi được sử dụng đúng cách, tối thiểu hóa cả hai. 🧵