O Problema do Envelope Selado: Verificação Sem Revelação O Problema dos Generais Bizantinos pergunta como pessoas que não confiam umas nas outras podem concordar sobre um histórico aberto: Como alcançamos consenso sem confiança? Ao lado dele, encontra-se um dilema adjacente e ortogonal: Como uma rede não confiável pode fazer cumprir as regras de uma transação cujo conteúdo nenhum de seus membros tem permissão para ver? Este é o Problema do Envelope Selado — o paradoxo conceitual resolvido pelo dinheiro de prova de conhecimento zero. Duas Dimensões da Confiança Distribuída Bitcoin e Zcash governam duas camadas separadas de sistemas distribuídos: * O Problema dos Generais Bizantinos regula a ordenação: Como nós desconfiados concordam sobre quais transações ocorreram e em que sequência? * O Problema do Envelope Selado regula a validade: Como esses nós verificam que uma transação oculta é legal, solvente e não inflacionária, sem inspecionar seu conteúdo? O Bitcoin resolveu o consenso aberto tornando todo o seu histórico transparente. Cada node audita independentemente os livros: rastreando saídas, somando saldos públicos e verificando assinaturas. O Bitcoin funciona porque todos os participantes leem a mesma página: * Bitcoin: Como concordamos sobre um livro aberto que todos podem auditar? $BTC * Zcash: Como provamos que os livros estão equilibrados quando suas entradas estão ocultas? O consenso decide qual envelope chegou primeiro; o Problema do Envelope Selado pergunta como uma multidão adversária prova que o envelope não é falso. $ZEC O Bazar de Samarcanda Imagine um antigo cruzamento na Rota da Seda Comerciantes de impérios rivais se misturam sob os arcos abobadados: comerciantes de seda sogdianos, cambistas persas e viajantes venezianos. Eles não compartilham um soberano comum, falam línguas distintas e abrigam suspeitas mútuas. Dois estranhos envoltos em capas se encontram no centro da praça. À vista da multidão e da guarda da cidade, um entrega ao outro um envelope selado com cera. Ninguém pode abrir. Ninguém tem permissão para saber quem o enviou, quem o recebeu, qual moeda anterior ele representa ou seu valor. Não há um grande visir confiável nem um assessor imperial inspecionando discretamente o conteúdo. Contudo, a multidão desconfiada deve estar matematicamente equipada para rejeitar a troca se: * A moeda dentro não existir. * O remetente não tiver o direito legítimo de gastá-la. * A moeda já tiver sido gasta em outro caravanserai ontem. * A transferência inflacionar a oferta monetária, forjando nova moeda do nada. A cera permanece intacta. O conteúdo permanece oculto. Contudo, cada comerciante no bazar verifica independentemente que as leis monetárias do reino foram estritamente preservadas. Historicamente, o comércio físico confunde duas propriedades distintas: conhecimento da transação e conhecimento de que a transação é válida. A auditoria convencional obtém a segunda ao apoderar-se da primeira: você morde o ouro, conta as moedas, audita o livro privado do comerciante ou confia em uma cunhagem imperial que o fez. A criptografia de prova de conhecimento zero separa essa ligação. Um verificador não precisa dos fatos subjacentes. Ele precisa apenas de uma prova matemática sucinta de que esses fatos ocultos satisfazem as restrições do protocolo. Consenso e Revelação O nome descreve a restrição, e não a tecnologia. A criptografia comum apenas oculta uma mensagem, tornando-a opaca à verificação. O problema monetário mais difícil é permitir que um coletivo não confiável e adversário audite estado oculto. As duas colunas fundamentais da moeda descentralizada estão lado a lado: * Generais Bizantinos: Consenso sem confiança. * Envelope Selado: Verificação sem revelação. A tolerância a falhas bizantinas fornece a linha do tempo pública imutável, enquanto as provas de conhecimento zero garantem a validade privada. O Bitcoin provou que estranhos poderiam manter um histórico monetário sem confiar em uma autoridade central. O Zcash provou que esse histórico poderia garantir conservação monetária sem exigir que cada vida privada se tornasse propriedade pública. O Bitcoin ensinou ao bazar a concordar com um livro aberto. O Zcash provou que o livro está equilibrado sem abrir as páginas.