For ethereum, 2016 might be a tough year, the DAO has been stolen 3.6 million ETH, equivalent of $70 million at that time, due to improper contract design. As a result, more and more automatic verification tool for smart contract come out to prevent potentially huge financial loss.
Today, we will be looking at how formal verification tools work on smart contract, how can we use mathematical proof to ensure the quality of program.
Quick Info
Speaker
陳奕熹
- 成功大學電機系大四學生
- 大二暑假在香港城市大學交換
- 2018 FOSSAISA 講者分享台灣自由軟體發展
Country / Region
Taiwan, Tainan
Affiliations
COSCUP
National Cheng Kung University