Fujitsu Laboratories Ltd. and Fujitsu Research and Development Center Co., Ltd. today announced the result of its development process. The technology aims to identify vulnerabilities in smart contracts. The precursor of such technology is a special set of algorithms that identify risk-affected transaction sequences on Ethereum. With the aid of the algorithms 6 kinds of risks can be detected and neutralized thus greatly enhancing the development experience.
Those 6 threats go as follows: re-entrancy, authenticating the source of the transaction call, transaction uncertainty due to reliance on timestamp, transaction order transparency, divide by zero and call stack restrictions. Notably, authenticating the source of the transaction call and divide by zero were added as the direct result of the technology. The technology of detection includes virtual execution of transactions under different circumstances, comparison with code patterns of Ethereum that have fraudulent behaviour and checking whether access to transaction records of blockchain is granted or not.
Regarding the performance results, it is reported that while existing verification tools have 67% detection rate, Fujitsu technology had around 88~100%. The technology should contribute to the efficient application of blockchain technology into different areas. Lastly, Fujitsu plans to develop similar verification toolset for Hyperledger Fabric and methods of building secure systems via blockchain.