arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2102.04875cs.DC
收藏

OptSmart:一种空间有效的乐观并发执行智能合约

OptSmart: A Space Efficient Optimistic Concurrent Execution of Smart Contracts

Parwat Singh Anjana, Sweta Kumari, Sathya Peri, Sachin Rathor, Archit Somani

摘要:

流行的区块链,如以太坊和其他几个区块链,通过用户定义的脚本(称为智能合约)在块中执行复杂的交易。智能合约交易/原子单元(AU)的串行执行无法利用多核处理器的普及所提供的多处理能力。通过向AU的执行添加并发性,我们可以实现更好的效率和更高的吞吐量。在本文中,我们开发了一个并发矿工,提出了一个块执行的AU同时使用乐观的软件transmittance内存系统(STM)。它有效地捕获并发bin中的独立AU和块图(BG)中的依赖AU。稍后,我们提出了一个并发验证器,它使用并发bin和矿工给出的BG来并行和确定性地重新执行相同的AU,以验证所提出的区块。我们严格证明了并发执行的AU的正确性,并取得了显着的性能增益超过国家的最先进的。

英文摘要:

Popular blockchains such as Ethereum and several others execute complex transactions in blocks through user-defined scripts known as smart contracts. Serial execution of smart contract transactions/atomic-units (AUs) fails to harness the multiprocessing power offered by the prevalence of multi-core processors. By adding concurrency to the execution of AUs, we can achieve better efficiency and higher throughput. In this paper, we develop a concurrent miner that proposes a block by executing the AUs concurrently using optimistic Software Transactional Memory systems (STMs). It captures the independent AUs in a concurrent bin and dependent AUs in the block graph (BG) efficiently. Later, we propose a concurrent validator that re-executes the same AUs concurrently and deterministically using a concurrent bin followed by a BG given by the miner to verify the proposed block. We rigorously prove the correctness of concurrent execution of AUs and achieve significant performance gain over the state-of-the-art.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑