Partea de dovadă a funcționării a lucrării „De ce și cum funcționează zhSNARK”

citesc ziarul"De ce și cum funcționează zk-SNARK" pentru a învăța zkSNARK și am avut o problemă în secțiunea 4.4, când dovedesc capacitatea de operare unică.

În această secțiune, încearcă să vină cu un protocol pentru a verifica dacă probatorul are capacitatea de a face multiplicare. Oferă două numere $b$ și $c$ și încearcă să verifice rezultatul înmulțirii. Construcția doveditorului la polinoame $l(x)$ și $r(x)$ care satisface: $l(a)=b,\r(a)=c$ pentru unii $a$ dat de verificator și obține $o(x)$ acea $o(a)=b*c$, verificatorul trebuie să verifice acest lucru $p(x) = l(x)*r(x)-o(x)$ are punctul zero de $a$, ceea ce înseamnă că probatorul are capacitatea de înmulțire.

În timp ce în protocolul menționat la sfârșitul secțiunii 4.4, nu există nimic despre număr $b$ și $c$, iar verificatorul nu verifică polinomul satisface proprietățile ca $l(a)=b$...Deci, dacă eu sunt demonstratorul, pot construi orice polinoame dacă satisfac $l(x)*r(x)-o(x) = (x-a)h(x)$, nu e nimic despre inmultire? Cred că am greșit ceva, dar chiar nu știu ce este...