A prova de reservas virou prática corrente depois de se demonstrar, a alto custo, que uma plataforma pode anunciar saldos que não tem. O mecanismo que surgiu é realmente útil e é rotineiramente descrito como mais do que é. Ele responde a uma das duas perguntas que importam, e a que falta é a que historicamente fez o estrago.
A solvência é uma comparação. O que uma plataforma detém de um lado, o que deve aos seus usuários do outro, e o primeiro ser pelo menos tão grande quanto o segundo. Nenhum dos dois números significa coisa alguma sem o outro, e uma reserva grande diante de um passivo maior é insolvência e não conforto.
Uma prova de reservas trata do primeiro número. Ela demonstra que um conjunto de endereços detém um conjunto de saldos e que a plataforma controla esses endereços, normalmente assinando uma mensagem a partir de cada um. Essa parte é criptograficamente sólida e há muito pouco a objetar.
O segundo número é o total devido aos usuários, e não é visível em nenhuma cadeia. Ele vive na base de dados da plataforma, que é exatamente o registro que falhou nos casos que tornaram esta prática necessária. Publicar o primeiro número sem o segundo é publicar um numerador e chamá-lo de razão.
A solvência é uma comparação. Uma prova de reservas publica um lado, e o lado que historicamente foi falsificado é o outro.
O mecanismo do lado do passivo, quando existe, é uma árvore de Merkle. O saldo de cada usuário é resumido numa folha, as folhas são combinadas duas a duas até uma raiz única, e a raiz é publicada. A estrutura permite a um participante conferir a sua própria inclusão sem ver o saldo de mais ninguém.
Na prática a plataforma lhe dá o pequeno conjunto de resumos intermediários necessários para recalcular a raiz a partir da sua própria folha. Se o seu recálculo bate com a raiz publicada, o seu saldo foi contado no total. Se não bate, algo está errado, e é uma conferência que qualquer usuário pode rodar na sua própria máquina.
A propriedade que importa é que a plataforma não pode omiti-lo sem quebrar a sua verificação, nem alterar o seu saldo sem quebrá-la também. É uma garantia real contra a falha específica de tirar passivo do total em silêncio, e só funciona se os usuários efetivamente fizerem a conferência.
A árvore prova que os saldos incluídos somam o total publicado. Não prova que todo usuário foi incluído, porque as únicas pessoas capazes de detectar uma omissão são as omitidas, e uma plataforma que exclua um número pequeno de contas dificilmente será apanhada por outra pessoa.
Ela permite também uma manipulação mais sutil: inserir saldos negativos ou contas fabricadas para reduzir o total. As implementações que obrigam as folhas a serem não negativas e publicam o número de contas removem parte disso, e nem todas fazem qualquer uma das duas coisas.
A leitura honesta é que uma prova de Merkle converte uma afirmação não verificável numa que uma população diligente de usuários pode auditar parcialmente. É uma melhoria substancial face a nada, e depende da participação, que ninguém pode garantir e poucos medem.
A maioria das provas publicadas vem com um documento de uma firma contábil, e a palavra que consta desse documento importa enormemente. Uma atestação declara que procedimentos acordados foram executados e relata o que encontraram. Uma auditoria expressa uma opinião sobre se as demonstrações financeiras apresentam adequadamente, segundo uma norma, com a responsabilidade que uma opinião acarreta.
Uma atestação sobre procedimentos acordados é delimitada por quem a solicita. Se os procedimentos não incluem verificar que nenhum ativo emprestado foi contado, esse buraco não é uma falha do documento, é o documento fazendo exatamente o que lhe pediram. A delimitação costuma estar enunciada na primeira página e raramente é lida.
Não é razão para descartar atestações, que são úteis. É razão para ler a seção de alcance antes de tratar uma como auditoria, porque as duas palavras têm peso diferente, custam valores diferentes, e são frequentemente usadas uma pela outra no anúncio que as acompanha.
Uma prova descreve um momento. Ativos podem ser tomados emprestados antes do instantâneo e devolvidos depois, e a prova seria inteiramente verdadeira sobre aquele momento descrevendo uma posição que só existiu para ele. Não é hipotético, é um padrão documentado em indústrias vizinhas e a razão de a verificação em data única ser tratada com ceticismo por quem faz disto profissão.
A frequência é a resposta parcial. Uma prova publicada todo mês num momento imprevisível é muito mais difícil de preparar do que uma trimestral em data conhecida, e uma publicação contínua com endereços vivos é mais difícil ainda. O custo de tomar emprestado para passar num controle sobe com a frequência e a imprevisibilidade desse controle.
A resposta completa exigiria saber que os ativos estão livres de ônus, isto é, nem empenhados, nem emprestados, nem prometidos a outra pessoa. Nada na cadeia diz se um ativo está onerado, porque o ônus vive em contratos. É o limite estrutural de toda a abordagem.
As implementações mais recentes usam provas criptográficas para demonstrar propriedades do conjunto do passivo sem publicá-lo. Uma plataforma pode provar que todo saldo da árvore é não negativo e que somam um total anunciado, sem revelar nenhum saldo individual nem o número de usuários aos concorrentes.
Isso remove a objeção prática mais forte à publicação do passivo, que nunca foi técnica e sim comercial: uma plataforma não quer que os rivais saibam o seu número de usuários nem a distribuição dos seus saldos. Poder provar a propriedade sem os dados muda o cálculo para o operador.
Não toca no problema do ônus, e vale dizê-lo com clareza. Uma prova de que o passivo está corretamente somado e de que as reservas o superam continua a ser uma prova sobre um momento, sobre ativos cujo estatuto jurídico não está na cadeia. A criptografia melhora a contabilidade e não alcança os contratos.
A criptografia sabe provar a contabilidade. Não sabe provar que os ativos não estão já prometidos a outra pessoa, porque essa promessa vive num contrato, não numa cadeia.
Publicar endereços e assinar a partir deles prova o controle no momento da assinatura. Não prova controle exclusivo, nem prova que os mesmos ativos não estão a ser apresentados por duas entidades, o que já aconteceu e só é detectável comparando listas entre plataformas.
Há também diferença entre um endereço que a plataforma controla e um ativo que a plataforma possui. Acordos de custódia, carteiras partilhadas e ativos mantidos por conta de terceiros podem todos aparecer como saldos em endereços controlados, e nenhum está disponível para cobrir o passivo dos usuários numa falha.
A versão prática desta conferência é olhar se os endereços são estáveis no tempo, se os saldos se movem em padrões coerentes com um negócio em funcionamento, e se os mesmos endereços aparecem na prova de outra pessoa. Os três são visíveis para quem olhar, e olhar é raro.
Quatro coisas, por ordem de utilidade. Se existe sequer um mecanismo de passivo ou apenas um número de reserva. Se a sua própria conta aparece na árvore, e a plataforma deve dar-lhe as ferramentas para verificar. Se o documento anexo diz auditoria ou atestação. E com que frequência as provas são publicadas e se as datas são previsíveis.
A primeira é a que mais filtra. Uma plataforma que publica endereços e chama a isso prova de reservas publicou metade da comparação, e um número substancial de provas publicadas são exatamente isso. Perceber exige uma olhada para ver se os saldos de usuários estão representados em algum lugar do material.
Nada disto exige competência técnica além de seguir as instruções de verificação da própria plataforma. O que exige é fazê-lo, coisa que quase ninguém faz, e é por isso que o mecanismo protege menos do que a sua existência sugere.
Três acréscimos mudariam o que as provas estabelecem. Um passivo provado com o mesmo rigor das reservas, idealmente com uma restrição de não negatividade e um número de contas publicado. Publicação frequente em momentos imprevisíveis em vez de por calendário. E uma declaração, de uma parte que assuma responsabilidade, de que os ativos estão livres de ônus.
O terceiro é o ponto duro porque não é um problema criptográfico. Exige que alguém examine contratos e assuma a responsabilidade da resposta, que é exatamente o que uma auditoria é e por que auditorias custam o que custam. Nenhuma quantidade de análise de cadeia a substitui.
Algumas plataformas fazem mais do que o mínimo e é possível saber quais lendo o material em vez do anúncio. A diferença entre a melhor e a pior prática nesta área é muito ampla, e é inteiramente visível para quem lhe dedicar dez minutos.
Uma prova de reservas descreve uma posição de balanço. Não diz nada sobre segurança operacional, sobre como as chaves são guardadas e se resistem a um comprometimento, sobre a jurisdição onde a entidade se situa, nem sobre o que acontece ao seu crédito numa insolvência. São perguntas separadas com respostas separadas.
Também não muda a posição fundamental de manter um saldo numa plataforma, que é um direito sobre um operador e não a posse de um ativo. Uma reserva bem provada dá melhor lastro a esse direito; não o transforma numa coisa de outra natureza.
Usada pelo que é, é uma das divulgações mais úteis disponíveis nesta indústria. Usada como garantia geral de segurança, faz um trabalho para o qual nunca foi construída, e a distância entre esses dois usos é onde vive a maior parte do conforto que as pessoas tiram dela.
Que um conjunto de endereços detinha certos saldos num dado momento e que a plataforma conseguia assinar a partir deles. Essa parte é criptograficamente sólida. Se a plataforma deve aos seus usuários mais do que detém é outra questão, respondida por outro mecanismo, frequentemente ausente do que é publicado.
Ela representa o lado do passivo. O saldo de cada usuário é resumido numa folha e combinado até uma raiz publicada, de modo que você pode verificar a sua própria inclusão sem ver o saldo de mais ninguém. A plataforma não pode omiti-lo nem alterar o seu saldo sem quebrar a sua verificação, desde que você a faça.
Uma auditoria expressa uma opinião sobre se as demonstrações financeiras apresentam adequadamente, segundo uma norma, com a responsabilidade que acarreta. Uma atestação relata o que procedimentos acordados encontraram, e esses procedimentos são delimitados por quem os solicita. O alcance costuma estar na primeira página.
Uma prova descreve um momento, então ativos emprestados antes de um instantâneo e devolvidos depois a tornariam verdadeira sobre aquele momento e não representativa de nenhum outro. Publicar com frequência em momentos imprevisíveis eleva o custo de fazê-lo. Não elimina a possibilidade.
Que os ativos já estejam empenhados, emprestados ou prometidos a outra pessoa. Nada numa cadeia diz isso, porque o ônus vive em contratos e não em saldos. É o limite estrutural de toda a abordagem e a razão de a criptografia sozinha não conseguir resolver a solvência.
Permitem a uma plataforma provar que todo saldo é não negativo e que somam um total anunciado, sem revelar saldos individuais nem o número de usuários. Isso remove a objeção comercial a publicar o passivo. Não toca no problema do ônus, que não é criptográfico.
Não. Acordos de custódia, carteiras partilhadas e ativos mantidos por conta de terceiros aparecem como saldos em endereços controlados, e nenhum está disponível para cobrir o passivo dos usuários numa falha. Assinar prova ainda o controle naquele instante, não controle exclusivo, e os mesmos ativos já figuraram em duas provas.
Se existe sequer um mecanismo de passivo ou apenas um número de reserva, porque um número substancial de provas publicadas são metade da comparação. Depois se a sua própria conta se verifica na árvore, se o documento diz auditoria ou atestação, e com que frequência e previsibilidade as provas aparecem.