Describir: Verifiable and non-verifiable anonymous mechanisms for regulating a polluting monopolist