A gentle introduction to Discreet Log Contracts - View it on GitHub