Zexe: Enabling Decentralized Private Computation.
Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts