Search results

Smart contracts are written in high-level programming languages, compiled into Ethereum Virtual Machine (EVM) bytecode, deployed onto blockchain systems and called with the corresponding address by transactions. The deployed smart contracts are immutable, even if there are bugs or vulnerabilities. Therefore, it is critical to verify smart contracts before deployment. This paper aims to help developers effectively and efficiently locate potential defects in smart contracts.

GethReplayer, a smart contract testing method based on transaction replay, is proposed. It constructs a parallel transaction execution environment with two virtual machines to compare the execution results. It uses the real existing transaction data on Ethereum and the source code of the tested smart contacts as inputs, conditionally substitutes the bytecode of the tested smart contract input into the testing EVM, and then monitors the environmental information to check the correctness of the contract.

Experiments verified that the proposed method is effective in smart contract testing. Virtual environmental information has a significant effect on the success of transaction replay, which is the basis for the performance of the method. The efficiency of error locating was approximately 14 times faster with the proposed method than without. In addition, the proposed method supports gas consumption analysis.

This paper addresses the difficulty that developers encounter in testing smart contracts before deployment and focuses on helping develop smart contracts with as few defects as possible. GethReplayer is expected to be an alternative solution for smart contract testing and provide inspiration for further research.

Under the repeated action of the construction load, opening deformation and disturbed deformation occurred at the precast box culvert joints of the shield tunnel. The objective of this paper is to investigate the effect of construction vehicle loading on the mechanical deformation characteristics of the internal structure of a large-diameter shield tunnel during the entire construction period.

The structural response of the prefabricated internal structure under heavy construction vehicle loads at four different construction stages (prefabricated box culvert installation, curved lining cast-in-place, lane slab installation and pavement structure casting) was analyzed through field tests and ABAQUS (finite element analysis software) numerical simulation.

Heavy construction vehicles can cause significant mechanical impacts on the internal structure, as the construction phase progresses, the integrity of the internal structure with the tunnel section increases. The vertical and horizontal deformation of the internal structure is significantly reduced, and the overall stress level of the internal structure is reduced. The bolts connecting the precast box culvert have the maximum stress at the initial stage of construction, as the construction proceeds the stress distribution among the bolts gradually becomes uniform.

This study can provide a reference for the design model, theoretical analysis and construction technology of the internal structure during the construction of large-diameter tunnel projects.