安全で信頼性のあるスマートコントラクトの設計に向けて

スマートコントラクトは信頼される第三者を必要とせず、セキュアかつ信頼性の高いプログラムであるべきである。