Tôi nghĩ rằng cuối cùng tôi đã hiểu Dory PCS. Một chút phàn nàn về nó. Ý tưởng là chúng ta bắt đầu từ bulletproofs. Trong BP, người xác minh phải "tin" rằng người chứng minh đang gập đúng các bộ phát sinh bên trái và bên phải, và sử dụng sự kết hợp thích hợp L+alpha R cho vòng tiếp theo. Để làm cho điều này có ý nghĩa, V thực hiện sự kết hợp theo thời gian tuyến tính ở cuối. Dory nói - khi chúng ta có một nhóm ghép cặp, chúng ta có thể *cam kết trong quá trình tiền xử lý* với L và R trong nhóm mục tiêu ghép cặp, và do đó tính toán có thể xác minh cam kết với L+alpha R. Điều này cuối cùng cho phép chúng ta tránh sự kết hợp theo thời gian tuyến tính. Cho đến nay, điều này đã loại bỏ việc tính toán theo thời gian tuyến tính của V, nhưng chúng ta giả định một cặp, vì vậy ít nhất theo mô-đun một thiết lập đáng tin cậy, cũng có thể sử dụng KZG, và có V theo thời gian hằng số. Do đó, để tạo ra một "cú sốc" lớn hơn, Dory kết hợp ý tưởng này với các cam kết hai phần ba có thể thực hiện với các cặp (được biết từ bài báo cũ của Abe et. al) Đó là hãy nghĩ về đa thức của bạn như một ma trận, cam kết với mỗi hàng trong G1 và sau đó cam kết với các cam kết trong G_t. Sự kết hợp này mang lại cho người xác minh theo logarit, người chứng minh mở theo căn bậc hai, và kích thước cam kết hằng số.