Formelt verifiserte dommermodeller kan avgjøre markeder eller tjene som en kilde til sannhet i andre sammenhenger. Dette har dype implikasjoner --> 1. Ta deg tid til å bygge en passende kontrollert (helst åpen kildekode) dommermodell for brukssaken. 2. Utform en passende ledetekst, et sett med verktøy+kilder den kan bruke og betingelser for å "utløse dom". 3. Sørg for at alt ser bra ut for alle involverte parter (eller for en revisjonsmekanisme de godkjenner) 3. Kodifiser det hele i en smart kontrakt og distribuer. Etterpå venter du på "triggeren", og hvis alt ble avtalt åpent/transparent, er resultatet vanskelig å bestride.