Vamos explicar ZK: 📚 ZK significa Zero Knowledge e desbloqueia dois superpoderes: Privacidade e Escala. ZK é muito próximo do meu coração, tanto como co-inventor dos ZK-STARKs quanto como cofundador de dois projetos ZK: @Zcash (focado em privacidade) e @StarkWareLtd (focado em escala e agora em privacidade)

@Zcash @StarkWareLtd Como funciona o ZK? Existem dois tipos de entidades: um Provador e um Verificador O Prover faz o trabalho pesado: - Registrar os dados de todos os transmissões - Processamento dos dados - Atualização do estado do sistema (ou seja, o saldo após todas as transmissões) - 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 de txs e, com base nisso, cheguei estado B". A prova é uma sequência de números e hashes que pode ser verificada para comprovar a integridade de toda a afirmação.

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

@Zcash @StarkWareLtd Um Provedor malicioso que pode tentar convencer um Verificador a aceitar uma declaração falsa precisa fazer um trabalho semelhante ao de encontrar uma colisão em uma função hash criptográfica, o que não pode ser feito antes do nosso Sol esfriar.

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

@Zcash @StarkWareLtd Por que ZK é bom para escala? O Verificador não precisa refazer o cálculo que o Provador fez. O provador pode processar 1 milhão de testes, mas o Verificador não precisará repetir para verificar a correção de todos esses testes. Verificar a prova será suficiente para garantir a validade deles.