📚 A razão pela qual estou estudando ZK # 1: Mudanças estruturais nos trade-offs Sou desenvolvedor BQ. @BQ_Developer Hoje em dia, estou profundamente imerso em ZK (Zero-Knowledge Proofs). No começo, pensei que era apenas uma técnica simples de criptografia, mas uma vez que eu entendi, minha perspectiva sobre o problema em si mudou. Nos próximos artigos, vou resumir por que comecei a estudar ZK, e por que tem significado além do aprendizado técnico. O primeiro ponto é sobre como o ZK resolve os trade-offs técnicos existentes. 🔍 Existem compensações em todos os sistemas Um dos termos mais ouvidos no desenvolvimento de software é "trade-off". - Fortalecimento da segurança → Diminui a usabilidade - Aumentar a velocidade → Aumenta os custos - Descentralização → Reduz a eficiência Especialmente, privacidade e verificabilidade foram consideradas as compensações mais pronunciadas. Era de conhecimento geral que, para provar algo, você tinha que divulgar informações e, se ocultasse informações, elas não poderiam ser verificadas. 💭 Estrutura dos métodos de verificação existentes A maneira como a verificação funcionava era simples: 1. A faz uma reclamação 2. B solicita provas 3. A mostra a evidência 4. B confirma Nesse processo, B inevitavelmente aprende informações. Então, na prática, os compromissos sempre foram necessários: - Para ser auditado, você deve divulgar seus livros - Para comprovar as qualificações, você deve apresentar um documento de identidade - Para confirmar a conformidade, você deve compartilhar dados internos 🔓 O que o ZK muda ZK altera a estrutura de verificação. Antigo: mostrar informações → o verificador verifica diretamente ZK: Ocultar informações → Provar apenas que certas condições são atendidas Por exemplo, em avaliações de empréstimos: - Antigo: Divulgar saldo bancário de 1.234.567 won - ZK: Prove apenas "o saldo é superior a 1 milhão de won" Pode parecer uma pequena diferença, mas muda fundamentalmente a essência da verificação. O verificador só pode confirmar os factos necessários e não pode saber mais do que isso. ✏️ O que realmente muda As diferenças específicas criadas por essa alteração: Cenário de auditoria: - Antes: Enviar todo o histórico de transações → Expor informações confidenciais do cliente - Depois: Prove apenas que "todas as transações cumpriram os regulamentos" → Proteja as informações do cliente Em blockchain: - Antes: todas as transações divulgadas de forma transparente → Abrir mão da privacidade - Depois: Comprovar apenas a validade da transação → Manter a privacidade Verificação do modelo de IA: - Antes: Divulgar modelo → Desistir da propriedade intelectual - Depois: provar apenas que "o desvio está abaixo do limite" → proteger o modelo Combinações que antes eram impossíveis agora estão se tornando possíveis. Você pode manter o sigilo enquanto está sendo verificado. Este conceito ressoa comigo em um nível mais profundo. É uma nova proposição que se liberta da restrição de "ter que escolher um dos dois" para "ambos são possíveis". Eu interpreto isso como a criação de um novo ponto de equilíbrio em algum lugar entre 0 e 1. Acredito que a maioria dos avanços tecnológicos tem sido assim. Não existem muitas soluções mágicas que resolvam todos os problemas de uma só vez. Mas o que ZK mostra é a possibilidade de "mudar o grau de comprometimento". E acredito que apenas aqueles que entendem essa possibilidade podem criar o próximo nível de melhorias. É por isso que estudo ZK. No próximo artigo, falarei sobre outra mudança trazida pelo ZK. --- Seus gostos e compartilhamentos são amor 🥰 #BQDeveloper #ZK #ZeroKnowledgeProof #TurningImpossibilitiesIntoPossibilities