Segurança comercial offline do DSM – Resumo Técnico Final

Duas pessoas, face a face, telefones no modo de avião: comprador Alice tenta duplo gasto; comerciante Carol ainda mantém sua mercadoria segura.


1 Contexto criptográfico pré-negociado

PrimitivoPropósitoTamanho (offline)
Chain de hash bilateral H_ {a \ leftightarrow x}Log do Estado por relação32 b/link
Raiz SMT em todo o dispositivo R_nUm compromisso de 32 bytes com todos cabeças32 b
Prova de inclusão específica para gastosProva token T é presente, não gasto, com chave exclusiva em R_n\ Mathcal {o} (\ log k) \! \ aprox \! 200 {-} 400 B
Teorema de TripwireQualquer garfo ⇒ Hash-Collision Impossível ⇒ Carteira do atacanteSomente lógica

2 Handshake de pagamento offline de duas rodadas

(Bluetooth ou QR; conclui em segundos.)

RedondoDados trocadosO que Carol verifica offline
1 – Desafio e provaAlice ➜ Carol
• raiz atual R_n
• Prova de inclusão para token T
Token T é não gasto por dentro R_n.
2 – Consuma e pontoCarol ➜ Alice: novo link H_ {a \ leftightarrow c} que gasta T
Alice ➜ Carol: Raiz sucessor R_ {n+1} Comprometendo todos Cabeças incl. H_ {a \ leftightarrow c}
Carol cheques:
H_ {a \ leftRightarrow c} \ em r_ {n+1}
R_n \! \ Rightarrow \! R_ {n+1} é uma etapa válida de hash para a frente.

Passar: Carol recebe uma única raiz costurada R_ {n+1} → Pisca de carteira FINAL.
Falha (garfo): Alice não pode produzir R_ {n+1} → Incêndios de Tripwire; Pagamento aborta.


3 Por que matrizes duplas Durante o aperto de mão

  1. Antes, Alice pagou Bob, gastando T e criando raiz R_ {n+1}^{\, b}.
  2. A venda de Carol exigiria raiz R_ {n+1}^{\, c} que também gasta T.
  3. UM solteiro A raiz sucessora não pode conter ambos gasta ⇒ resistência de colisão proíbe.
  4. Alice não consegue entregar R_ {n+1} ➜ A carteira de Carol tem que os shows Pagamento falhou.
  5. Tripwire Bricks Alice’s Cartet para todos os futuros colegas.

Resultado: Cada comerciante honesto recebe um valor irreversível ou não recebe nada – não se depara com bens e perde.


4 garantias operacionais

PropriedadeValor
Latência da finalidade<2 s offline
Dados por negociação≤ 500 b (raiz + prova + raiz)
PrivacidadeMerchant aprende apenas sua cadeia bilateral + duas raízes
EscalabilidadeFunciona a 120 K TPS, mesmo em telefones de bateria
Superfície de ataqueAtacante de tijolos de garfo; Clonagem bloqueada por DBRW

5 resultados inferiores

Prova de inclusão específica para gastos do DSM mais A rodada “Retornar a raiz-manchada” oferece final criptográfica no mesmo encontro presencial.
Um comerciante mãos sobre o item apenas Depois de manter um ativo não gasto.
Sem roubo, sem estornos, exposição zero.

O DSM está chegando à produção pronta com uma versão beta privada em breve – o repositório é atualmente privado – mas será tornado público em Beta Public – info@decentralizedstatemachine.com para entrar em contato

Este artigo amarelo propõe uma arquitetura inovadora de sistemas de blockchain híbrida e auto-manutenção, destinada a resolver o problema central de equilibrar a descentralização, a segurança e a escalabilidade nos sistemas tradicionais de blockchain. O sistema (provisoriamente chamado HAR) consiste em duas camadas: uma coleção de cadeia de contas (AC) e uma cadeia de serviços (SC). Cada conta forma independentemente uma blockchain, enquanto a cadeia de serviços fornece serviços públicos de consenso em camadas. Ao introduzir um mecanismo aprimorado de prova de trabalho baseado em sistemas caóticos, princípios de prova classificada e um modelo de manutenção de auto-livros, o sistema atinge uma combinação orgânica de soberania máxima de dados e consenso eficiente. Este artigo elabora a arquitetura do sistema, os componentes principais, o fluxo de trabalho e as principais tecnologias e verifica as vantagens de desempenho do sistema na eficiência do processamento de transações e segurança de consenso por meio de experimentos, fornecendo um novo caminho técnico para o desenvolvimento de sistemas de blockchain de próxima geração.
www.hahafoundation.xyz

Fontesethresear

Deixe um comentário

O seu endereço de e-mail não será publicado. Campos obrigatórios são marcados com *