Два человека, лицом к лицу, телефоны в авиарежиме: покупатель Alice пытается совершить двойную трату; продавец Carol по-прежнему сохраняет свой товар в безопасности.

1 Криптографический контекст перед сделкой

Примитив	Назначение	Размер (оффлайн)
Двусторонняя хеш-цепь H_{A\leftrightarrow X}	Журнал состояний для каждой связи	32 B/ссылка
Device-wide SMT root R_n	Одно 32-байтовое обязательство ко всем заголовкам	32 B
Spend-specific inclusion proof	Доказывает, что токен T присутствует, не потрачен, имеет уникальный ключ в R_n	\mathcal{O}(\log k)\!\approx\!200{-}400 B
Tripwire Theorem	Любой форк ⇒ невозможна коллизия хешей ⇒ кошелек злоумышленника блокируется	Только логика

2 Двухэтапное оффлайн подтверждение оплаты

(Bluetooth или QR; завершается за секунды.)

Этап	Обмен данными	Что Carol проверяет в оффлайн режиме
1 – Challenge & Proof	Alice ➜ Carol • текущий root R_n • inclusion proof для токена T	Токен T не потрачен внутри R_n.
2 – Consume & Stitch	Carol ➜ Alice: новая ссылка H_{A\leftrightarrow C}, которая тратит T Alice ➜ Carol: successor root R_{n+1}, фиксирующий все заголовки, включая H_{A\leftrightarrow C}	Carol проверяет: • H_{A\leftrightarrow C}\in R_{n+1} • R_n \!\rightarrow\! R_{n+1} является допустимым шагом прямого хеширования.

Pass: Carol получает единый сшитый root R_{n+1} → кошелек показывает FINAL.

Fail (fork): Alice не может предоставить R_{n+1} → Tripwire срабатывает; оплата отменяется.

3 Почему двойная трата умирает во время подтверждения

Ранее Alice заплатила Bob, потратив T и создав root R_{n+1}^{\,B}.

Для продажи Carol потребуется root R_{n+1}^{\,C}, который также тратит T.

Единый successor root не может содержать обе траты ⇒ устойчивость к коллизиям запрещает это.

Alice не может предоставить R_{n+1} ➜ кошелек Carol зависает, показывает Payment failed.

Tripwire блокирует кошелек Alice для каждого будущего пира.

Результат: Каждый честный продавец либо получает необратимую ценность, либо не получает ничего — никто не передает товары и не проигрывает.

4 Операционные гарантии

Свойство	Значение
Задержка завершения	< 2 s offline
Данные на сделку	≤ 500 B (root + proof + root)
Конфиденциальность	Продавец узнает только свою двустороннюю цепь + два root
Масштабируемость	Работает при 120 k TPS даже на телефонах с батарейным питанием
Поверхность атаки	Форк блокирует злоумышленника; клонирование блокируется DBRW

5 Суть

Spend-specific inclusion proof DSM плюс раунд «возврата сшитого root» обеспечивает криптографическую завершенность при личной встрече.

Продавец передает товар только после получения актива, который невозможно потратить дважды.

Никаких мошенничеств, никаких возвратов платежей, нулевой риск.

DSM приближается к готовности к производству с частной бета-версией в ближайшее время - репозиторий в настоящее время является частным, но будет сделан общедоступным в публичной бета-версии - [email protected] чтобы связаться

Все, что вам нужно знать за 10 секунд

УсловияПолитика конфиденциальностиБелая книгаОфициальная проверкаCookieБлог