A. Kosba, A. Miller, E. Shi, Z. Wen, and C. Papamanthou, “Hawk : The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts,” in 2016 IEEE Symposium on Security and Privacy (SP), 2016, pp. 839–858.