Mới trên blog ZKM: Giao thức Multivariate Sumcheck - Phần 2 Bài viết này cung cấp hướng dẫn thực tiễn về các mở rộng đa tuyến tính trong hai đại diện, với các quy trình có thể thực hiện cho việc đánh giá điểm, cộng và nhân từng phần tử. Nó đề cập đến các sự đánh đổi trong đại diện, hành vi bộ nhớ/thời gian chạy, và cách tích hợp các bước này vào một quy trình prover/verifier mà không cần chuyển đổi không cần thiết. Đọc Phần 2: