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