📚 A razão pela qual estou a estudar ZK #1: Mudanças estruturais nos trade-offs Sou um desenvolvedor BQ. @BQ_Developer Nestes dias, estou profundamente imerso em ZK (Provas de Conhecimento Zero). No início, pensei que era apenas uma técnica de criptografia simples, mas uma vez que a compreendi, a minha perspetiva sobre o problema em si mudou. Nos próximos artigos, irei resumir porque comecei a estudar ZK, e porque isso tem uma importância que vai além do simples aprendizado técnico. O primeiro ponto é sobre como o ZK resolve os trade-offs técnicos existentes. 🔍 Trade-offs existem em todos os sistemas Um dos termos mais frequentemente ouvidos no desenvolvimento de software é "trade-off." - Reforçar a segurança → Diminui a usabilidade - Aumentar a velocidade → Aumenta os custos - Descentralizar → Reduz a eficiência Especialmente, a privacidade e a verificabilidade têm sido consideradas os trade-offs mais pronunciados. Era um conhecimento comum que para provar algo, era necessário divulgar informações, e se você escondesse informações, não poderia ser verificado. 💭 Estrutura dos métodos de verificação existentes A forma como a verificação funcionava era simples: 1. A faz uma afirmação 2. B solicita evidências 3. A mostra as evidências 4. B confirma Neste processo, B inevitavelmente aprende informações. Portanto, na prática, compromissos eram sempre necessários: - Para ser auditado, você deve divulgar seus livros - Para provar qualificações, você deve apresentar um documento de identidade - Para confirmar conformidade, você deve compartilhar dados internos 🔓 O que o ZK muda O ZK muda a estrutura da verificação. Antigo: Mostrar informações → Verificador verifica diretamente ZK: Esconder 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: Provar 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 pode apenas confirmar os fatos necessários e não pode saber mais do que isso. ✏️ O que realmente muda As diferenças específicas criadas por essa mudança: Cenário de auditoria: - Antes: Submeter todo o histórico de transações → Expor informações sensíveis do cliente - Depois: Provar apenas "todas as transações estavam em conformidade com as regulamentações" → Proteger informações do cliente Na blockchain: - Antes: Todas as transações divulgadas de forma transparente → Abrir mão da privacidade - Depois: Provar apenas a validade da transação → Manter a privacidade Verificação de modelo de IA: - Antes: Divulgar modelo → Abrir mão da propriedade intelectual - Depois: Provar apenas "o viés 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 segredo enquanto é 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 criar 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 resolvem todos os problemas de uma vez. Mas o que o ZK mostra é a possibilidade de "mudar o grau de compromisso." 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. --- Os seus likes e compartilhamentos são amor 🥰 #BQDeveloper #ZK #ZeroKnowledgeProof #TransformandoImpossibilidadesEmPossibilidades