Jeg tror jeg endelig forstår Dory PCS. En liten rant på det. Tanken er at vi starter med skuddsikkerhet. I BP må verifikatoren "tro" at beviseren bretter venstre og høyre generator riktig, og bruker den riktige kombinasjonen L+alfa R for neste runde. For å lage denne lyden, gjør V lineær tidskombinasjon til slutt. Dory sier - når vi har en sammenkoblingsgruppe, kan vi *forplikte oss i forbehandling* til L og R i paringsmålgruppen, og dermed verifisere forpliktelsen til L+alfa R. Dette gjør at vi til syvende og sist kan unngå lineær tidskombinasjon. Så langt har dette fjernet den lineære tidsberegningen av V, men vi antar at en paring, så i det minste modulu et pålitelig oppsett, kan like godt bruke KZG, og ha konstant tid V. For å gi et større "sprut" kombinerer Dory denne ideen med to-teird forpliktelser som er mulig med sammenkoblinger (kjent tilbake fra gammel artikkel av Abe et. al) Det vil si tenk på polyen din som en matrise, forplikt deg til hver rad i G1 og forplikt deg deretter til forpliktelsene i G_t Denne kombinasjonen gir logaritmisk verifikator, sqrt-åpningsbeviser og const-forpliktelsesstørrelse