Myslím, že konečně rozumím Dory PCS. Trochu chvástání na to. Myšlenka je taková, že začínáme od neprůstřelných řešení. V BP musí ověřovatel "věřit", že dokazovatel správně skládá levý a pravý generátor a používá vhodnou kombinaci L+alpha R pro další kolo. Aby tento zvuk vytvořil, V nakonec provede lineární časovou kombinaci. Dory říká - když máme párovací skupinu, můžeme *commit v předzpracování* do L a R v párovací cílové skupině, a tak ověřitelně spočítat commit do L+alpha R. To nám v konečném důsledku umožňuje vyhnout se lineární časové kombinaci. Zatím se tím odstranil lineární výpočet času V, ale předpokládáme párování, takže alespoň modul důvěryhodného nastavení, by mohl stejně dobře použít KZG a mít konstantní čas V. Aby tedy Dory dodala větší "rozruch", kombinuje tuto myšlenku se dvěma závazky, které jsou možné pomocí párů (známých ze starých článků Abeho a spol.) To znamená, že si představte svůj poly jako matici, zavažte se ke každému řádku v G1 a poté se zavažte k závazkům v G_t Tato kombinace poskytuje logaritmický ověřovač, prover otevření sqrt a velikost závazku const