Cardano ya admite la verificación de pruebas de conocimiento cero directamente en su cadena principal. (Prueba ZK) Plutus V3 introdujo operaciones de emparejamiento nativas con la actualización Chang en septiembre de 2024. Estas proporcionan a los contratos inteligentes las herramientas criptográficas para verificar pruebas de sistemas compatibles, como Groth16. La prueba se genera fuera de la cadena de bloques y luego se verifica mediante un contrato inteligente durante la validación de la transacción. La red puede confirmar que se ha cumplido una condición, mientras que las entradas privadas detrás de esa prueba permanecen ocultas. Esto permite a los desarrolladores crear aplicaciones en Cardano donde alguien demuestre su elegibilidad sin publicar sus credenciales completas. Con sistemas de prueba adecuados, cálculos complejos también pueden realizarse en otro lugar, y Cardano verifica una prueba compacta del resultado. La verificación consume recursos, y la prueba solo establece lo que su circuito realmente verifica, pero hay cosas realmente interesantes posibles en Cardano que, en mi opinión, podrían abrir otra puerta hacia mayor utilidad para los usuarios del ecosistema.