BitStream：Atomic數據交換協議

使用數位貨幣原子化（atomically）購買數字文件的想法在這個領域有著悠久的歷史。數字商品、數位貨幣，兩者似乎是完美的搭配。數字商品，即資訊，也是巨大的市場。想象一下人們定期購買和消費的所有影音、音頻、文本、遊戲以及其他形式的數字內容，他們的市場價值達數十億美元，人們每天都在這些市場中進行交互。

大多數試圖實施付費文件共享的嘗試都走上了錯誤的道路。Filecoin 試圖在 IPFS 之上實現這一目標，但最終項目被設計得荒謬可笑。BitTorrent（公司而非協議）被 Justin Sun 收購，並集成了自己的加密貨幣和區塊鏈。這兩個項目在技術上都沒有取得實質性的進展，技術上過度設計，經濟上動機可疑。

BitStream 是 Robin Linus 提出的一個方案，試圖在沒有無謂的替代幣和過度設計的技術協議的情況下解決原子化購買數據的需求。

所有文件都可以通過單個哈希唯一標識，這是這個方案中非常重要的一個細節。原子化銷售文件需要使用允許用戶驗證已加密內容的函數對文件進行加密，之後用戶原子化購買文件的加密密鑰。問題在於驗證過程，更重要的是證明是否被欺騙以及文件解密為不正確的數據是昂貴的。簡單地說，您需要生成整個加密文件和解密密鑰，以便其他人可以解密並驗證解密後的數據是否與期望的哈希值匹配。

像 BitTorrent 這樣的文件共享系統經常將文件分割成標準大小的塊，並構建一個 merkle tree，這使得根哈希可以在磁鐵鏈接中作為文件標識符，並驗證您下載的文件的每個單獨塊是否是該文件的有效部分。這是一個可以利用的屬性，可以極大地提高欺詐證明的效率，以展示文件分發商欺騙了您。

文件的銷售者可以生成一個隨機值，並使用這個值通過對該隨機值進行異或操作來加密每個文件塊。然後，他們可以簽署一個包含加密文件根哈希和加密值哈希的聲明書。加密文件樹以一種特殊的方式設置，以便簡化欺詐證明。

與其僅將正常文件塊構建成加密的 merkle tree，該樹創建了由一個加密文件塊和其旁邊的未加密文件塊的哈希組成的葉子對。現在，買家可以下載加密文件，並在通過獲取所有未加密塊的哈希並從中創建 merkle tree 以確保它們與未加密文件的根哈希匹配後，可以原子化購買解密值。這是通過賣家將其用作閃電網路上的 HTLC 的 preimage 或支持 HTLC 的 Chaumian eCash 鑄幣（如 Cashu）的 preimage 來實現的。

如果文件解密不正確，要麼是因為加密數據是另一個文件，要麼是因為 preimage 不是實際的加密密鑰，那麼加密文件樹中到任意兩個葉子的默克爾路徑可以顯示賣家欺騙了買家。只提供到任何加密文件塊及其相應未加密塊哈希的路徑和買家購買的 preimage 將明確證明賣家未提供給買家他們聲稱的文件。

使用 BitStream 協議的任何文件銷售者都可以存入一個保證金，如果他們欺騙客戶，可以按照上述設計用欺詐證明進行削減。在最簡單的情況下，這可以通過在 Chaumian Mint 中存入保證金來執行。像 Liquid 這樣的平台提供了構建可通過 OP_CAT 等功能無需信任執行的替代方法。腳本可以被構建，實際上接受 BitStream 欺詐證明並在堆棧上驗證，從而允許創建一個由具有有效欺詐證明的任何人都可以花費的 UTXO。如果 OP_CAT 在主鏈上變得可用，甚至可以完全無需聯邦執行環境進行操作。

BitStream 是一個非常有前景的協議，用於原子化出售數字資訊，具有非常高效的欺詐證明方案，無需垃圾幣。

原文連結