specification for discreet log contracts - View it on GitHub