DSM: Máquina de Estado Descentralizada - Resolvendo o "Double Spend Problem" sem a necessidade de consenso global, desbloqueando um novo paradigma
DSM Offline Trade Safety — Resumo Técnico Final
Duas pessoas, cara a cara, telefones em modo avião: a compradora Alice tenta gastar duas vezes; a comerciante Carol ainda mantém sua mercadoria segura.
1 Contexto Criptográfico Pré-Transação
| Primitivo | Objetivo | Tamanho (offline) |
|---|---|---|
| Hash-chain Bilateral H_{A\leftrightarrow X} | Log de estado por relacionamento | 32 B/link |
| Raiz SMT em todo o dispositivo R_n | Um compromisso de 32 bytes com todos os heads | 32 B |
| Prova de inclusão específica do gasto | Prova que o token T está presente, não gasto, com chave única em R_n | \mathcal{O}(\log k)\!\approx\!200{-}400 B |
| Teorema do Fio-Disparador | Qualquer fork ⇒ colisão de hash impossível ⇒ a carteira do atacante é inutilizada | Apenas lógica |
2 Handshake de Pagamento Offline de Duas Rodadas
(Bluetooth ou QR; concluído em segundos.)
| Rodada | Dados Trocados | O Que Carol Verifica Offline |
|---|---|---|
| 1 – Desafio & Prova | Alice ➜ Carol • raiz atual R_n • prova de inclusão para o token T | O token T não foi gasto dentro de R_n. |
| 2 – Consumir & Unir | Carol ➜ Alice: novo link H_{A\leftrightarrow C} que gasta T Alice ➜ Carol: raiz sucessora R_{n+1} comprometendo todos os heads incluindo H_{A\leftrightarrow C} | Carol verifica: • H_{A\leftrightarrow C}\in R_{n+1} • R_n \!\rightarrow\! R_{n+1} é um passo de hash válido. |
Aprovado: Carol recebe uma única raiz unida R_{n+1} → a carteira mostra FINAL.
Falha (fork): Alice não consegue produzir R_{n+1} → o Tripwire é acionado; o pagamento é abortado.
3 Por Que o Gasto Duplo Morre Durante o Handshake
- Anteriormente, Alice pagou Bob, gastando T e criando a raiz R_{n+1}^{\,B}.
- A venda de Carol exigiria a raiz R_{n+1}^{\,C} que também gasta T.
- Uma única raiz sucessora não pode conter ambos os gastos ⇒ a resistência à colisão proíbe isso.
- Alice não consegue entregar R_{n+1} ➜ a carteira de Carol expira, mostra Pagamento falhou.
- O Tripwire inutiliza a carteira de Alice para todos os pares futuros.
Resultado: Cada comerciante honesto recebe valor irreversível ou não recebe nada — ninguém entrega mercadorias e sai perdendo.
4 Garantias Operacionais
| Propriedade | Valor |
|---|---|
| Latência de finalização | < 2 s offline |
| Dados por transação | ≤ 500 B (raiz + prova + raiz) |
| Privacidade | O comerciante aprende apenas sua cadeia bilateral + duas raízes |
| Escalabilidade | Funciona a 120 k TPS mesmo em telefones com bateria |
| Superfície de ataque | O fork inutiliza o atacante; a clonagem é bloqueada pelo DBRW |
5 Conclusão
A prova de inclusão específica de gasto do DSM mais a rodada de "devolver a raiz unida" oferece finalidade criptográfica no mesmo encontro cara a cara.
Um comerciante entrega o item somente depois de possuir um ativo que não pode ser gasto duas vezes.
Sem golpes, sem estornos, exposição zero.
O DSM está se aproximando da produção com um beta privado em breve - o repositório é atualmente privado - mas será tornado público no beta público - [email protected] para entrar em contato