Phần chứng minh hoạt động của bài báo "Tại sao và cách zhSNARK hoạt động"

Tôi đang đọc báo"Tại sao và cách zk-SNARK hoạt động" để tìm hiểu zkSNARK, và tôi đã gặp phải một số vấn đề trong phần 4.4, khi chứng minh khả năng hoạt động đơn lẻ.

Trong phần này, nó cố gắng đưa ra một giao thức để xác minh rằng người tục ngữ có khả năng thực hiện phép nhân. Nó đưa ra hai số $b$ và $c$ và cố gắng xác minh kết quả của phép nhân. Cấu trúc tục ngữ cho đa thức $l(x)$ và $r(x)$ thỏa mãn: $l(a)=b,\ r(a)=c$ cho một số $a$ được cung cấp bởi người xác minh và nhận $o(x)$ điều đó $o(a)=b*c$, người xác minh cần xác minh rằng $p(x) = l(x)*r(x)-o(x)$ có điểm không của $a$, có nghĩa là người tục ngữ có khả năng nhân lên.

Trong khi trong giao thức được đề cập ở cuối phần 4.4, không có gì về số $b$ và $c$và trình xác minh không xác minh đa thức thỏa mãn các thuộc tính như $l(a)=b$...Vì vậy, nếu tôi là người chứng minh, tôi có thể xây dựng bất kỳ đa thức nào nếu chúng thỏa mãn $l(x)*r(x)-o(x) = (x-a)h(x)$, không có gì về phép nhân? Tôi nghĩ rằng tôi đã có một cái gì đó sai nhưng tôi thực sự không biết nó là gì ...