Formellt verifierade domarmodeller kan avgöra marknader eller fungera som en källa till sanning i andra sammanhang. Detta har stora konsekvenser > 1. Ta dig tid att bygga en lämpligt granskad (helst öppen källkod) domarmodell för användningsfallet. 2. Utforma en lämplig prompt, en uppsättning verktyg + källor som den kan använda och villkor för att "utlösa bedömning". 3. Se till att allt ser bra ut för alla inblandade parter (eller för en revisionsmekanism som de godkänner) 3. Kodifiera allt i ett smart kontrakt och distribuera. Efteråt väntar du på "triggern" och om allt överenskommits öppet/transparent är resultatet svårt att bestrida.