Creo que finalmente entiendo a Dory PCS. Un poco de desahogo al respecto. La idea es que partamos de las pruebas de balas. En BP, el verificador debe "creer" que el probador está doblando correctamente los generadores izquierdo y derecho, y utilizando la combinación adecuada L + alfa R para la siguiente ronda. Para hacer este sonido, V hace una combinación de tiempo lineal al final. Dory dice: cuando tenemos un grupo de emparejamiento, podemos *confirmar en preprocesamiento* a L y R en el grupo objetivo de emparejamiento y, por lo tanto, calcular de manera verificable el compromiso a L + alfa R. En última instancia, esto nos permite evitar la combinación lineal de tiempo. Hasta ahora, esto ha eliminado el cálculo de tiempo lineal de V, pero asumimos un emparejamiento, por lo que al menos modulu una configuración confiable, también podría usar KZG y tener un tiempo V constante. Por lo tanto, para dar un mayor "chapoteo", Dory combina esta idea con compromisos de dos teird que son posibles con emparejamientos (conocidos de nuevo por el viejo artículo de Abe et. al) Es decir, piense en su polígono como una matriz, comprométase con cada fila en G1 y luego comprométase con los compromisos en G_t Esta combinación proporciona un verificador logarítmico, un probador de apertura sqrt y un tamaño de compromiso constante