この資料をSMS送信: Evaluation of a Legally Binding Smart-Contract Language for Blockchain Applications