BitStream: Протокол обміну атомарними даними

Ідея атомарної купівлі цифрових файлів за допомогою цифрових валют має довгу історію в цій сфері. Цифрові товари, цифрові валюти, здається, ідеально поєднуються. Цифрові товари, тобто інформація, також є величезними ринками. Уявіть собі все відео, аудіо, текст, ігри та інші форми цифрового контенту, які люди купують і споживають на регулярній основі, з ринком вартістю в мільярди доларів, і люди взаємодіють на цих ринках щодня.

Більшість спроб впровадити платний обмін файлами пішли хибним шляхом. Filecoin намагався досягти цього на додаток до IPFS, але врешті-решт проект був задуманий як безглуздий. BitTorrent (компанія, а не протокол) була придбана Джастіном Саном та інтегрувала власну криптовалюту та блокчейн. Жоден з проектів не досяг значного технічного прогресу, технічно надмірно спроектований і економічно мотивований бути сумнівним.

BitStream – це пропозиція Робіна Лінуса, яка намагається вирішити потребу в атомарних даних купівлі без непотрібних альткоїнів і надмірно інженерних технічних протоколів.

Всі файли можна однозначно ідентифікувати за одним хешем, що є дуже важливою деталлю в даній схемі. Атомізація файлу, що продає, вимагає, щоб файл був зашифрований за допомогою функції, яка дозволяє користувачеві перевірити зашифрований вміст, після чого користувач атомарно купує ключ шифрування для файлу. Проблема полягає в процесі перевірки і, що важливіше, в дорогих даних, які доводять, що файли були підроблені та розшифровані як неправильні. Простіше кажучи, вам потрібно згенерувати весь зашифрований файл і ключ розшифровки, щоб інші могли розшифрувати та перевірити, чи розшифровані дані відповідають потрібному хешу.

Файлообмінні системи, такі як BitTorrent, часто розбивають файли на фрагменти стандартного розміру і будують дерево Меркла, що дозволяє кореневому хешу діяти як ідентифікатор файлу в магнітному посиланні і перевіряти, що кожен окремий шматок файлу, який ви завантажуєте, є дійсною частиною цього файлу. Цей атрибут може бути використаний для значного підвищення ефективності доказів шахрайства, щоб показати, що розповсюджувач файлів обдурив вас.

Продавець файлу може згенерувати випадкове значення і використовувати це значення для шифрування кожного блоку файлу XOR за цим випадковим значенням. Потім вони можуть підписати оголошення, що містить кореневий хеш зашифрованого файлу та хеш зашифрованого значення. Зашифроване дерево файлів налаштовується особливим чином для того, щоб спростити доказ шахрайства.

Замість того, щоб просто будувати звичайний файловий блок у зашифроване дерево Меркла, дерево створює пару листів, що складається з хешу зашифрованого файлового блоку та незашифрованого файлового блоку поруч із ним. Покупці тепер можуть завантажувати зашифровані файли та атомарно купувати значення дешифрування, взявши хеші всіх незашифрованих блоків і створивши з них дерево Меркла, щоб переконатися, що вони збігаються з кореневим хешем незашифрованих файлів. Це досягається тим, що продавець використовує його як преобраз для HTLC у мережі Lightning Network або як преобраз для карбування Chaumian eCash з підтримкою HTLC, як Cashu.

Якщо файл розшифрований неправильно, або тому, що зашифровані дані є іншим файлом, або тому, що преобраз не є фактичним ключем шифрування, то шлях Меркла в зашифрованому дереві файлів до будь-яких двох листків може показати, що продавець обдурив покупця. Вказавши лише шлях до будь-якого зашифрованого блоку файлу та відповідний хеш незашифрованого блоку, а також попереднє зображення, придбане покупцем, чітко доведе, що продавець не надав покупцеві файл, на який він претендував.

Будь-який продавець документів, що використовують протокол BitStream, може внести заставу, яка може бути скорочена за допомогою доказів шахрайства, якщо вони обманюють клієнтів, як описано вище. У найпростішому випадку це можна виконати, внісши маржу в Chaumian Mint. Такі платформи, як Liquid, пропонують альтернативний спосіб створення надійного виконання за допомогою таких функцій, як OP_CAT. Сценарії можуть бути створені таким чином, щоб фактично приймати докази шахрайства BitStream і перевіряти їх у стеку, що дозволяє створювати UTXO, який може витратити будь-хто, хто має дійсний доказ шахрайства. Якщо OP_CAT стає доступним в основному ланцюжку, він може працювати навіть без об’єднаного середовища виконання.

BitStream — це дуже перспективний протокол для атомарного продажу цифрової інформації з дуже ефективною схемою доказу шахрайства, яка усуває потребу в шиткоїнах.