Fujitsu Laboratories Co., Ltd. and China Fujitsu R & D centers announced that they developed technology to verify the block chain risk.
According to Fujitsu Laboratories' announcement, we realized technology to verify in advance the risks of smart contracts that automatically process transactions on block chains, and to identify the corresponding part on the source code of the program.
Blockchain technology devised as the foundation of bitcoin is expected to be applied to various fields such as real estate and health care besides finance.
However, if there is a risk to a SmartContract, it directly leads to business loss, so improving its reliability as a system is a challenge.
By developing an algorithm that specifies the flow of risky transactions on Ethereum, which is one of the execution platforms of the block chain application, by using symbolic execution technology, Smart Contracts that could potentially be overlooked by hand It is now possible to comprehensively detect the six kinds of risks.
Furthermore, we developed a technology to identify the corresponding part on the source code. This will enable block chain developers to develop smarter contracts that are more securely developed quickly.
Congratulations @osamu! You received a personal award!
Click here to view your Board
Do not miss the last post from @steemitboard:
Vote for @Steemitboard as a witness and get one more award and increased upvotes!
Congratulations @osamu! You received a personal award!
You can view your badges on your Steem Board and compare to others on the Steem Ranking
Do not miss the last post from @steemitboard:
Vote for @Steemitboard as a witness to get one more award and increased upvotes!