¿Qué pruebas zk prácticas post-cuánticas (PQ) existen? Groth16, etc.: solo PQ-privadas STARKs: ni siquiera ZK pre-cuántico en la práctica Ligero: PQ sólido + privado ¿Esquemas de suma-verificación?: El menú de sándwich del metro de IOP + (PQ) compromisos polinómicos son en su mayoría criptomonedas de moda rápida. ¿Hay un ganador?