Nick Szabo

Numa compra, queremos que o vendedor receba o pagamento e o cliente receba o produto prometido. Verificar os dois lados leva tempo e pode exigir um intermediário. Em Smart Contracts, de 1994, Nick Szabo explorou quais condições contratuais um protocolo computacional poderia executar: um procedimento definido de troca de mensagens e ações. A intenção era reduzir o espaço para fraudes e o custo de cumprir acordos. A ideia não se limita a blockchains: trata-se de usar tecnologia para cumprir combinações específicas. Chamar um programa de inteligente não significa que ele compreenda todas as intenções humanas. [1]

No trabalho de 1997, Szabo relaciona protocolos contratuais e interfaces. Seu exemplo simples é uma máquina de venda automática: o cliente vê o preço, insere moedas e recebe o produto. A interface comunica a troca e o mecanismo a executa. Em uma aplicação complexa, porém, a tela pode sugerir algo diferente do que o código faz. Executar o programa corretamente não basta. As condições precisam ser compreensíveis, os prazos considerados e os limites da descrição algorítmica reconhecidos. A automação deve ajudar a decidir, sem esconder consequências. [2]

Um arquivo digital é fácil de copiar. Szabo perguntou se a escassez digital poderia se apoiar em uma produção comprovadamente custosa. No Bit Gold, um computador resolve um problema e produz uma prova de trabalho, Proof of Work. Serviços de registro temporal acrescentam informações de tempo; um registro distribuído de propriedade divide os registros entre vários operadores. O resultado anterior fornece o desafio seguinte. Esses componentes permitiriam criar, transferir e verificar peças digitais. Encadear cálculos, por si só, ainda não constitui o consenso completo do Bitcoin, as regras pelas quais a rede concorda sobre seu histórico. [3]

Imagine que Ana envie a Tomás um arquivo com o resultado do cálculo e guarde uma cópia. Quem possui agora essa peça de Bit Gold? Ambos têm os bits, portanto o arquivo não comprova propriedade exclusiva. A proposta se apoia em uma cadeia de transferências de titularidade assinadas digitalmente e anotadas no registro. Tomás deve verificar esse histórico, o trabalho computacional e o registro temporal. A prova de trabalho informa algo sobre a produção; o registro trata da propriedade. Nenhuma tarefa desaparece só porque os dados foram caros de criar. [3]

Um resultado de igual comprimento não exige o mesmo esforço de todos. Alguém pode ter um computador mais eficiente, e novos equipamentos podem baratear um trabalho antes custoso. Por isso, o Bit Gold considera a época de produção e diferenças entre máquinas. As peças não são automaticamente fungíveis, ou seja, intercambiáveis como unidades equivalentes apenas pelo comprimento dos dados. A proposta prevê comerciantes reunindo peças de valores distintos em conjuntos de valor aproximadamente igual. Isso acrescenta regras e avaliação. Produção custosa, sozinha, não entrega tudo o que esperamos de dinheiro utilizável. [3]

O texto menciona o RPOW de Hal Finney como um experimento relacionado e efetivamente implementado. O nome significa Reusable Proofs of Work, provas de trabalho reutilizáveis. Um servidor protegido e a atestação remota são importantes: esta permite verificar qual programa está rodando num dispositivo distante. Isso ajuda a perguntar o que podemos verificar por conta própria e onde dependemos de suposições sobre o equipamento ou seu operador. Bit Gold, RPOW e BTC não são um único sistema. Compartilham temas, mas diferem em registros, transferências e na distribuição da confiança. [3]

Já em 1994, Szabo discutia um carro comprado a crédito cujo acesso às chaves poderia depender das prestações. Parece uma regra simples até imaginarmos o carro numa rodovia: desativá-lo naquele momento seria perigoso. Por isso, o projeto contempla exceções de operação segura e a retirada das restrições após a quitação. O exemplo mostra sua abordagem: impor uma condição não basta; também é preciso examinar o momento, as consequências e como a restrição termina. Uma possibilidade técnica ainda não é um produto pronto e seguro. [1]

O whitepaper que explica o projeto do Bitcoin foi publicado sob o nome Satoshi Nakamoto. Os temas de Szabo têm ligações intelectuais com ele, mas semelhanças não provam autoria. Conhecer dinheiro digital ou escrever sobre confiança não demonstra que alguém tenha usado esse pseudônimo. É mais útil examinar as propostas concretas: como surgem unidades, quem registra transferências e o que o destinatário precisa verificar. Assim, podemos avaliar a contribuição de Szabo sem construir a história sobre uma suposição não comprovada. [4]