Las Pruebas de Conocimiento Cero (ZK proofs) solían ser una mera curiosidad teórica, pero recientemente han encontrado una amplia aplicación en sistemas blockchain, como Zcash y Monero. Sin embargo, las ZK proofs utilizadas en la mayoría de las aplicaciones blockchain han hecho concesiones en el tamaño de las pruebas y el rendimiento que no son adecuadas para otros casos de uso. En particular, estos protocolos a menudo requieren una fase de configuración confiable compleja y están optimizados para las pruebas en sí.

Las pruebas de conocimiento cero, que alguna vez fueron una curiosidad teórica, han visto recientemente un despliegue generalizado en sistemas de blockchain como Zcash y Monero. Sin embargo, la mayoría de las aplicaciones de blockchain de las pruebas de conocimiento cero hacen compromisos en el tamaño de la prueba y el rendimiento que no se ajustan bien a otros casos de uso. En particular, estos protocolos a menudo requieren una fase de configuración confiable elaborada y optimizan para la prueba […]

Reverie: Sistema Optimizado de Pruebas de Conocimiento Cero