Hawk
Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts
https://www.youtube.com/watch?v=ZpXGOy3kRXE