Uma nota digital
O valor é transportado em notas distintas, gasto em frações, verificado localmente. A nota é um título ao portador; o protocolo é o que mantém o portador honesto.
Protocolo
Uma nota digital, e as regras que mantêm o seu portador honesto.
O Pactena é um protocolo de pagamentos. Não é uma divisa nem um mercado. Define como uma nota digital é emitida, gasta, transferida e resgatada — com a privacidade do dinheiro vivo, e uma propriedade de responsabilização que o dinheiro nunca teve.
O que é
Duas camadas
Uma camada de conta trata da gestão de chaves por limiar: a chave da conta é gerada de forma distribuída e nunca existe como um todo, nem sequer no momento da assinatura. Uma camada de pagamento trata da emissão, do gasto e da transferência.
Uma cadeia de confiança
Root → Issuer → Merchant/User. Cada ligação é um certificado sob o mesmo esquema; cada verificação é a mesma função de verificação.
O que não é
Não é um circuito genérico de conhecimento zero
Cinco primitivas dedicadas e uma construção leve, escolhidas para este problema. Nenhum sistema de prova em que confiar, nenhum circuito para auditar, nenhuma cerimónia de trusted setup para explicar.
Não é um protocolo sigma, uma prova de intervalo ou um acumulador
A verificação é um conjunto pequeno e fixo de verificações dedicadas. Não cresce com o enunciado.
Não depende de hardware seguro
Sem hardware de segurança, sem guardião imposto pelo fornecedor. O cliente corre num telemóvel comum. É esta a diferença face a todos os pilotos offline de bancos centrais publicados até hoje.
Não é uma nova divisa
Transporta o dinheiro que o emissor colocar por trás.
O resultado sobre o duplo gasto offline
O duplo gasto offline foi, durante décadas, um problema em aberto do dinheiro digital. É a razão pela qual as experiências offline dos bancos centrais ainda dependem de hardware de segurança dedicado.
O Pactena é a primeira solução implementada conhecida que o resolve puramente ao nível do protocolo, sem confiança no hardware: quem gasta a mesma nota digital duas vezes torna a sua própria chave secreta calculável — a fraude identifica o fraudador, pessoalmente. Cinco factos verificáveis sustentam-no: uma implementação de referência, uma verificação offline medida em cerca de 12 ms, uma escolha de curva declarada, um demonstrador funcional e tamanhos em bytes publicados.
Até agosto de 2026 não é conhecido nenhum outro sistema publicamente documentado e em funcionamento que garanta isto também ao longo de uma cadeia offline de transferências: um duplo gasto aponta exatamente o fraudador original, e todos os restantes membros honestos da cadeia mantêm o anonimato — nem os detentores honestos anteriores ao fraudador nem os posteriores são expostos, ou sequer postos sob suspeita. Pelo teorema da construção, um detentor honesto não pode ser incriminado. A revisão criptográfica externa da camada de pagamentos está em curso; o resultado será publicado.
A fraude denuncia-se sozinha.
Se quiser contestá-lo
A deteção reveladora de identidade na linha de Chaum ficou pela teoria; nunca funcionou num sistema real, à escala real. Os pilotos offline de bancos centrais publicados assentam em hardware de segurança — exatamente a confiança no hardware que o Pactena elimina. E não se conhece nenhum sistema publicado e em funcionamento que combine a atribuição offline em múltiplos saltos com a impossibilidade de incriminar. Se conhecer algum, gostaríamos genuinamente de o ler.