Vamos explicar ZK: 📚 ZK significa Zero Knowledge e desbloqueia 2 superpoderes: Privacidade e Escala. ZK está perto do meu coração, tanto como co-inventor dos ZK-STARKs quanto como co-fundador de 2 projetos ZK: @Zcash (focado em privacidade) e @StarkWareLtd (focado em escala e agora privacidade)

@Zcash @StarkWareLtd Como funciona o ZK? Existem dois tipos de entidades: um Prover e um Verifier O Prover faz o trabalho pesado: - Registar os dados de todas as txs - Processar os dados - Atualizar o estado do sistema (significando o saldo após todas as txs) - Gerar uma atualização de estado e uma prova

@Zcash @StarkWareLtd Uma declaração típica do Prover diz "Eu, o Prover, comecei com o estado A, processei 1.000.000 txs e, com base nisso, alcancei o estado B". A prova é uma sequência de números e hashes que podem ser verificados para provar a integridade de toda a declaração.

@Zcash @StarkWareLtd O Verificador (que normalmente está na cadeia) verifica a prova, usando matemática e criptografia para checar se a afirmação é verdadeira antes de ser aceita. Os teoremas que provámos ao longo dos anos dizem que o Verificador aceita sempre afirmações verdadeiras e nunca aceita afirmações falsas.

@Zcash @StarkWareLtd Um Prover malicioso que possa tentar convencer um Verifier a aceitar uma declaração falsa tem que fazer uma quantidade semelhante de trabalho à de encontrar uma colisão em uma função de hash criptográfica, o que não pode ser feito antes de o nosso Sol esfriar.

@Zcash @StarkWareLtd Por que é que o ZK é bom para a Privacidade? O Verificador não verifica a correção da declaração processando os dados que atesta. É por isso que os dados podem ser verificados como válidos enquanto permanecem ocultos do Verificador.

@Zcash @StarkWareLtd Por que é que o ZK é bom para escalabilidade? O Verificador não precisa refazer a computação que o Provedor fez. O provedor pode processar 1 milhão de txs, mas o Verificador não terá que repetir isso para verificar a correção de todas essas txs. Verificar a prova será suficiente para garantir a sua validade.