O Cardano já suporta verificação de prova de conhecimento zero diretamente em sua cadeia principal. (prova ZK) O Plutus V3 introduziu operações de emparelhamento nativas com a atualização Chang em setembro de 2024. Essas operações fornecem aos contratos inteligentes as ferramentas criptográficas para verificar provas de sistemas compatíveis, como o Groth16. A prova é gerada fora da blockchain e verificada por um contrato inteligente durante a validação da transação. A rede pode confirmar que uma condição foi atendida, enquanto as entradas privadas por trás dessa prova permanecem ocultas. Isso permite que desenvolvedores construam aplicações no Cardano onde alguém prova elegibilidade sem publicar suas credenciais completas. Com sistemas de prova adequados, cálculos complexos também podem ocorrer externamente, com o Cardano verificando uma prova compacta do resultado. A verificação consome recursos, e a prova apenas estabelece o que seu circuito realmente verifica, mas há coisas realmente incríveis possíveis no Cardano que, na minha opinião, podem abrir outra porta para maior utilidade aos usuários do ecossistema.