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