chainBoost: A Secure Performance Booster for Blockchain-based Resource Markets (2402.16095v3)
Abstract: Cryptocurrencies and blockchain technology provide an innovative model for reshaping digital services. Driven by the movement toward Web 3.0, recent systems started to provide distributed services, such as computation outsourcing or file storage, on top of the currency exchange medium. By allowing anyone to join and collect payments for serving others, these systems create decentralized markets for trading digital resources. Yet, there is still a big gap between the promise of these markets and their practical viability. Existing initiatives are still early-stage and have already encountered security and efficiency obstacles. At the same time, existing work around promising ideas, specifically sidechains, fall short in exploiting their full potential in addressing these problems. To bridge this gap, we propose chainBoost, a secure performance booster for decentralized resource markets. It expedites service related operations, reduces the blockchain size, and supports flexible service-payment exchange modalities at low overhead. At its core, chainBoost employs a sidechain, that has a (security and semantic) mutual-dependence with the mainchain, to which the system offloads heavy/frequent operations. To enable it, we develop a novel sidechain architecture composed of temporary and permanent blocks, a block suppression mechanism to prune the sidechain, a syncing protocol to permit arbitrary data exchange between the two chains, and an autorecovery protocol to support robustness and resilience. We analyze the security of chainBoost, and implement a proof-of-concept prototype for a distributed file storage market as a use case. For a market handling around 2000 transactions per round, our experiments show up to 11x improvement in throughput and 94% reduction in confirmation time. They also show that chainBoost can reduce the main blockchain size by around 90%.
- Akamai. https://www.akamai.com/.
- Algorand. https://www.algorand.com/.
- Bitcoin sv. https://bitcoinsv.com/.
- Bitcoin transactions. https://developer.bitcoin.org/reference/transactions.html.
- Btcrelay. http://btcrelay.org/.
- Can i run a verifier - optimism docs. https://help.optimism.io/hc/en-us/articles/4413155125403-Can-I-run-a-verifier. [Accessed 26-02-2024].
- Confirm activity flaw in nucypher. https://github.com/nucypher/nucypher/issues/1272.
- Cosmos. https://cosmos.network/.
- Decentralised file storage for a better web. https://filecoin.io/blog/posts/why-is-decentralized-and-distributed-file-storage-critical-for-a-better-web/.
- Discussion #87 - zksync developers - upgrade plan for block.timestamp, block.number and blockhash. https://github.com/zkSync-Community-Hub/zksync-developers/discussions/87. [Accessed 26-02-2024].
- Filecoin: A decentralized storage network for humanity’s most important information. https://filecoin.io/.
- Gas statistics - filfox. https://filfox.info/en/stats/gas.
- Golem network. https://www.golem.network/.
- The kyber cryptography library. https://github.com/dedis/kyber.
- Livepeer. https://livepeer.com/.
- Matic network. https://matic.network/.
- Optimism transaction chart. https://optimistic.etherscan.io/chart/tx. [Accessed 26-02-2024].
- Sia: Decentralized data storage. https://sia.tech/.
- Spacemesh. https://spacemesh.io/.
- Starkware solutions. https://starkware.co/.
- Storj: Fast, secure cloud storage at a fraction of the cost. https://www.storj.io/.
- Truebit. https://truebit.io/.
- Xdai. https://www.xdaichain.com/.
- Chernoff bounds for binomial and hypergeometric distributions, 2012. https://www.hariharan-ramesh.com/ppts/chernoff.pdf.
- Timed signatures and zero-knowledge proofs—timestamping in the blockchain era—. In ACNS, 2020.
- Ghada Almashaqbeh. Rethinking service systems: A path towards secure and equitable resource markets. USENIX ;login: Magazine, 2021.
- Abc: A threat modeling framework for cryptocurrencies. In IEEE INFOCOM Workshop CryBlock, 2019.
- Survey on peer-assisted content delivery networks. Computer Networks, 116:79–95, 2017.
- Matthew Armstrong. Ethereum, smart contracts and the optimistic roll-up. 2021.
- Divide and scale: Formalization of distributed ledger sharding protocols. arXiv preprint arXiv:1910.10434, 2019.
- Enabling blockchain innovations with pegged sidechains. 2014.
- Consensus redux: distributed ledgers in the face of adversarial supremacy. Cryptology ePrint Archive, 2020.
- Bitcoin block withholding attack: Analysis and mitigation. IEEE Transactions on Information Forensics and Security, 12(8):1967–1978, 2016.
- How to use bitcoin to design fair protocols. In CRYPTO, 2014.
- Short signatures from the weil pairing. In EUROCRYPT, 2001.
- Coda: Decentralized cryptocurrency at scale. IACR Cryptol. ePrint Arch., 2020.
- Zexe: Enabling decentralized private computation. In IEEE SP, 2020.
- Practical byzantine fault tolerance. In OsDI, volume 99, pages 173–186, 1999.
- A survey on security and privacy issues of bitcoin. IEEE Communications Surveys & Tutorials, 20(4):3416–3452, 2018.
- On scaling decentralized blockchains. In Financial Crypto, 2016.
- Hierarchical consensus: A horizontal scaling framework for blockchains. In IEEE ICDCSW, 2022.
- A fast and scalable payment network with bitcoin duplex micropayment channels. In Symposium on Self-Stabilizing Systems, pages 3–18. Springer, 2015.
- Designing multidimensional blockchain fee markets. In 5th Conference on Advances in Financial Technologies (AFT 2023), 2023.
- Strong federations: An interoperable blockchain solution to centralized third-party risks. arXiv preprint arXiv:1612.05491, 2016.
- Relations among public key signature systems. Technical report, Computer Science Department, Technion, 1980.
- filecoin.io. Filecoin: A cryptocurrency operated file storage network. 2017.
- Ben Fisch. Tight proofs of space and replication. In EUROCRYPT, 2019.
- Scaling proof-of-replication for filecoin mining. Benet//Technical report, Stanford University, 2018.
- Algorand Foundation. go-algorand. https://github.com/algorand/go-algorand/blob/master/crypto/vrf.go.
- The bitcoin backbone protocol: Analysis and applications. In EUROCRYPT, 2015.
- Zendoo: A zk-snark verifiable cross-chain transfer protocol enabling decoupled and decentralized sidechains. In IEEE ICDCS, 2020.
- Sidechains: Decoupled consensus between chains. arXiv preprint arXiv:1812.05441, 2018.
- Proof-of-stake sidechains. In IEEE SP, 2019.
- Algorand: Scaling byzantine agreements for cryptocurrencies. In ACM SOSP, 2017.
- Storing and retrieving secrets on a blockchain. PKC, 2020.
- Bolt: Anonymous payment channels for decentralized currencies. In ACM CCS, 2017.
- Scaling blockchains: A comprehensive survey. IEEE Access, 8:125244–125262, 2020.
- A tractable probabilistic approach to analyze sybil attacks in sharding-based blockchain protocols. IEEE Transactions on Emerging Topics in Computing, 2022.
- Richard D Hipp. Sqlite, 2020.
- Isp-friendly peer-assisted on-demand streaming of long duration content in bbc iplayer. In IEEE INFOCOM, 2015.
- Ouroboros: A provably secure proof-of-stake blockchain protocol. In CRYPTO, 2017.
- Proof-of-work sidechains. In Financial Crypto, 2019.
- Enhancing bitcoin security and performance with strong consistency via collective signing. In Usenix Security, 2016.
- Omniledger: A secure, scale-out, decentralized ledger via sharding. In IEEE SP, 2018.
- DEDIS Lab. cothority/blscosi. https://github.com/dedis/cothority/tree/main/blscosi/blscosi.
- DEDIS Lab. onet. https://github.com/dedis/onet.
- Matter Labs. Finality - zksync era docs. https://era.zksync.io/docs/reference/concepts/finality.html. [Accessed 26-02-2024].
- Matter Labs. Zksync era overview - zksync era docs. https://docs.zksync.io/build/developer-reference/zkSync.html. [Accessed 26-02-2024].
- Nam-Yong Lee. Hierarchical multi-blockchain system for parallel computation in cryptocurrency transfers and smart contracts. Applied Sciences, 11(21):10173, 2021.
- Modifiable public blockchains using truncated hashing and sidechains. IEEE Access, 7:173571–173582, 2019.
- Mathematics for computer science. Technical report, Technical report, 2006. Lecture notes, 2010.
- Sergio Lerner. Drivechains, sidechains, and hybrid 2-way peg designs. 2016.
- Demystifying incentives in the consensus computer. In ACM CCS, 2015.
- Smart contracts for bribing miners. In Financial Crypto, 2018.
- Sprites: Payment channels that go faster than lightning. In Financial Crypto, 2019.
- Simple proofs of space-time and rational proofs of storage. In CRYPTO, 2019.
- New software speed records for cryptographic pairings. In Latincrypt, 2010.
- Enhancing bitcoin transactions with covenants. In Financial Crypto, 2017.
- Jenny Pan. Bridging and Finality: Optimism and Arbitrum — jumpcrypto.com. https://jumpcrypto.com/writing/bridging-and-finality-op-and-arb/. [Accessed 26-02-2024].
- Analysis of the blockchain protocol in asynchronous networks. In EUROCRYPT, 2017.
- Micropayments for decentralized currencies. In ACM CCS, 2015.
- Hybrid consensus: Efficient consensus in the permissionless model. In DISC, 2017.
- Plasma: Scalable autonomous smart contracts. White paper, pages 1–47, 2017.
- Peter Robinson. The merits of using ethereum mainnet as a coordination blockchain for ethereum private sidechains. The Knowledge Engineering Review, 35, 2020.
- Atomic crosschain transactions for ethereum private sidechains. Blockchain: Research and Applications, 3(1):100030, 2022.
- Scalable framework for blockchain-based shared manufacturing. Robotics and Computer-Integrated Manufacturing, 71:102139, 2021.
- Compact proofs of retrievability. In EUROCRYPT, 2008.
- Gavin Wood. Polkadot: Vision for a heterogeneous multi-chain framework. White Paper, 2016.
- Sidechains with fast cross-chain transfers. IEEE Transactions on Dependable and Secure Computing, 19(6):3925–3940, 2021.
- Perma: Scoping and addressing the problem of link and reference rot in legal citations. LIM, 14:88, 2014.