Cred că în sfârșit înțeleg Dory PCS. Un mic discurs pe asta. Ideea este să pornim de la antiglonț. În BP, verificatorul trebuie să "creadă" că demonstratorul pliază corect generatoarele stânga și dreapta și folosește combinația corespunzătoare L+alfa R pentru următoarea rundă. Pentru a face acest sunet, V face o combinație liniară de timp în cele din urmă. Dory spune - atunci când avem un grup de împerechere, putem *commit în preprocesare* la L și R în grupul țintă de împerechere, și astfel să calculăm verificabil commitmet la L+alpha R. Acest lucru ne permite în cele din urmă să evităm combinația liniară de timp. Până acum, acest lucru a eliminat calculul de timp liniar al lui V, dar presupunem o asociere, deci cel puțin modulu o configurație de încredere, ar putea la fel de bine să folosească KZG și să aibă timp constant V. Astfel, pentru a da o "stropire mai mare", Dory combină această idee cu angajamente de două zile care sunt posibile cu perechi (cunoscute din vechile lucrări ale lui Abe et al.) Adică gândiți-vă la poli ca la o matrice, angajați-vă la fiecare rând din G1 și apoi angajați-vă la angajamentele din G_t Această combinație oferă verificator logaritmic, testator de deschidere sqrt și dimensiune constantă a angajamentului