____  ___    _  _     _   _ _____     _______
 / ___|/ _ \  | || |   | | | |_ _\ \   / / ____|
| |  _| | | | | || |_  | |_| || | \ \ / /|  _|
| |_| | |_| | |__   _| |  _  || |  \ V / | |___
 \____|\___/     |_|   |_| |_|___|  \_/  |_____|

 --- A GOPHER-LIKE INTERFACE FOR HIVE BLOCKCHAIN ---

Fujitsu Develops Technology to Verify Blockchain Risks

BY: @palik | CREATED: March 7, 2018, 6:53 p.m. | VOTES: 1 | PAYOUT: $0.00 | [ VOTE ]

> Fujitsu Laboratories and Fujitsu Research and Development Center have developed algorithms to identify risk-affected transaction sequences on Ethereum, using symbolic execution technology(2). Using these algorithms, they have developed technology that is able to comprehensively detect six types of risks in smart contracts, which have the potential to be overlooked in a manual review, and can then identify the relevant locations in the source code. This technology will enable blockchain developers to rapidly develop even safer smart contracts.

The technology was announced at the Blockchains and Smart Contracts Workshop 2018 (BSC 2018) in Paris, France. The post blog [1] appeared today.

[1] http://www.fujitsu.com/global/about/resources/news/press-releases/2018/0307-01.html

TAGS: [ #blockchain ] [ #ethereum ] [ #fujitsu ]

Replies

NO REPLIES FOUND.

[ BACK TO TRENDING ] [ BACK TO MENU ]
CMD>