Cada alegação é enviada com sua própria prova 🔍

$XMR mantém uma transação em sigilo ao misturá-la em uma multidão de saídas de isca (decoy) e assinaturas em anel, ocultando qual é a verdadeira.

Esse tipo de privacidade protege bem uma única transferência. Verificar o que um contrato inteligente fez ao ser executado é um problema totalmente diferente.

A Cardano construiu sua credibilidade com uma ideia semelhante: com $ADA contratos inteligentes passando por provas matemáticas formais e revisadas por pares antes de serem enviados, para que o código faça exatamente o que promete.

Midnight combina os dois instintos usando o protocolo Kachina e zk-SNARKs, de modo que a execução de um contrato inteligente seja verificada com uma matemática que acompanha a própria transação.

Qualquer operador de nó pode verificar a prova de forma independente, confirmando por conta própria o que aconteceu.

A matemática depende apenas do próprio protocolo da Midnight para sustentar a verificação, sendo conferível por qualquer pessoa que execute um nó, e não na palavra de alguém.

#Privacy #ZK