引用：
Making Smart Contracts Smarter
Formalizing and Securing Relationships on Public Networks
Hawk:The Blockchain Model of Cryptography and Privacy-Preserving smart
Contracts
Understanding Modern Banking Legers through Blockchain Technologies:
Future fo Transaction Processing and Smart Contracts on the Internet of Money
A survey of attacks on Ethereum smart contracts
Secure Multiparty Computation on Bitcoin
http://davidederosa.com/
http://solidity.readthedocs.io/en/latest/contracts.html
http://www.blunderingcode.com/writing-secure-solidity/
https://abhiroop.github.io/Exceptions-and-Transactions/
https://blog.ethereum.org/
https://www.kingoftheether.com/contract-safety-checklist.html
