Eu li um ELI5 rlly bom de provas ZK hoje: - A ideia por trás do ZK é que você não precisa conhecer os dados reais para verificar se eles atendem a certos requisitos. - Por exemplo, se houver uma porta com uma senha, não preciso informar a senha. Posso apenas mostrar que posso abrir a porta e essa é a prova de que sei a senha. Isso é basicamente o que é uma prova de conhecimento zero. O que o Succinct faz com o ZK é que ele pode criar uma prova ZK de basicamente qualquer coisa. por exemplo: - Eu poderia usar sucinto para provar que tenho mais de 18 anos (ou 21) sem revelar meu aniversário - Eu poderia usar o sucinto para provar que moro em um país que não é restrito sem revelar as informações do meu passaporte - ou ainda mais simples, como eu posso provar que 3 números ocultos somam 42 Hoje, o maior caso de uso de PMF para ZK é blockchain, e blockchain precisa muito de ZK. Os maiores clientes da Succinct (mais de 35+ protocolos) usam o ZK para transformar cálculos enormes, como a execução de milhares de TXs de um bloco em um rollup, em provas minúsculas e verificáveis em milissegundos. 1 prova zk extremamente pequena produzida por sucinto é suficiente para uma cadeia / rollup inteiro com bilhões de TVL concluir que "este bloco foi executado pelas regras". Esse é o poder da sucinta.