Scribble is a specification language and runtime verification tool that translates high-level specifications into Solidity code. It allows you to annotate smart contracts with properties, instead of writing in a separate file. Upon completion, Scribble transforms annotations in the Scribble specification language into concrete assertions that...