文件列表:

.scalafmt.conf (139, 2023-11-19)
LICENSE (1073, 2023-11-19)
bitcoin.pdf (184292, 2023-11-19)
bitstream.pdf (344951, 2023-11-19)
contract.scala (38200, 2023-11-19)
contract.test.scala (14503, 2023-11-19)
flake.lock (25740, 2023-11-19)
flake.nix (1070, 2023-11-19)
paper.md (943, 2023-11-19)
uplc.patch (1300, 2023-11-19)

# AdaStream - Decentralized File Hosting Incentivised via Cardano Ada Payments ## Introduction This project is a Cardano implementation of Robin Linus'es [BitStream](https://github.com/RobinLinus/BitStream) protocol. Original paper: [BitStream: Decentralized File Hosting Incentivised via Bitcoin Payments ](https://robinlinus.com/bitstream.pdf) ## TL;DR - Alice wants to buy a file from Bob. - Bob encrypts the file with a random key and sends it to Alice. - Bob creates a bond contract on Cardano with a collateral and a commitment to the key and the file. - Alice pays Bob for the file via a HTLC (Hash Time Lock Contract), using Cardano or Bitcoin Lightning Network. - Alice decrypts the file with the key from the HTLC or takes the money back after the timeout. - If Bob cheats, Alice can prove it and get the collateral from the bond contract. - Bob can withdraw the collateral by revealing the key. ## Abstract from the original paper An atomic swap of coins for files would enable an open market for content hosting, in which anyone can monetize their excess bandwidth and data storage capacities, by serving decentralized multimedia services. Verifiable encryption provides a theoretical solution, but the computational overhead is too expensive in practice. We propose a solution to the fair exchange problem, which is highly efficient such that servers can handle large files and manage many clients simultanously. Compatible payment methods include Lightning, Ecash, and every other system that supports hash-timelock contracts. The server encrypts the file such that if there’s any mismatch during decryption the client can derive a compact fraud proof. A bond contract guarantees the client receives the exact file or they can punish the server. The transfer happens fully off-chain. An on-chain transaction is required only in case a server cheated. ## Implementation I use Scala and [Scalus](https://github.com/nau/scalus) to compile a bond and HTLC contracts, encrypt and decrypt the files, and create the transactions. ## How to run ### Prerequisites - Java - [scala-cli](https://scala-cli.virtuslab.org/install) If you use Nix, you can run `nix develop` to get a shell with all the dependencies. ### Export your preview wallet mnemonic and BlockFrost API key I use PrivateKey and Public Key from the first address of the wallet create from a mnemonic phrase. ```bash export MNEMONIC="your mnemonic" export BLOCKFROST_API_KEY="your blockfrost api key" ``` If you don't have BlockFrost API key it still can work, but you will not be able to create transactions. ### Get the keys ```bash scala-cli contract.scala -- keys ``` ### Encrypt a file ```bash export preimage=$(head -c 32 /dev/urandom | xxd -p -c 64) cat bitcoin.pdf | scala-cli contract.scala -- encrypt $preimage > bitcoin.pdf.encrypted ``` If you want to test the fraud proof, you can produce a wrongly encrypted file. ```bash export preimage=$(head -c 32 /dev/urandom | xxd -p -c 64) cat bitcoin.pdf | scala-cli contract.scala -- encrypt-wrong $preimage > bitcoin.pdf.encrypted-wrong ``` ### Verify a file ```bash cat bitcoin.pdf.encrypted | scala-cli contract.scala -- verify $pubKeyHex ``` ### Create a bond contract transaction on Cardano Preview network ```bash cat bitcoin.pdf.encrypted | scala-cli contract.scala -- bond ``` ### Create a bond withdraw transaction on Cardano Preview network ```bash cat bitcoin.pdf.encrypted | scala-cli contract.scala -- withdraw $preimage $encId ``` ### Decrypt a file ```bash cat bitcoin.pdf.encrypted | scala-cli contract.scala -- decrypt $preimage $pubKeyHex > bitcoin.decrypted.pdf ``` ### Create a fraud proof transaction on Cardano Preview network ```bash cat bitcoin.pdf.encrypted-wrong | scala-cli contract.scala -- spend-bond $preimage $pubKeyHex > /dev/null ``` ## On-Chain example ### Withdraw Transation On Cardano Preview network TxId – [10fea052e27e335a5addac89adc16460970b4b46ae86b8072377b9951d675404](https://preview.cexplorer.io/tx/10fea052e27e335a5addac89adc16460970b4b46ae86b8072377b9951d675404) ### Fraud Proof Transaction On Cardano Preview network [8faeadb75252c67475e1e1ddacde75d629b47938d70c082c07630955d46c8fae](https://preview.cexplorer.io/tx/8faeadb75252c67475e1e1ddacde75d629b47938d70c082c07630955d46c8fae)

近期下载者：

相关文件：

评论：[我要评论] [举报此文件]

收藏者：