Formalnie zweryfikowane modele sędziów mogą rozstrzygać rynki lub służyć jako źródło prawdy w innych kontekstach. Ma to głębokie implikacje --> 1. Poświęć czas na zbudowanie odpowiednio zweryfikowanego (najlepiej open source) modelu sędziego dla danego przypadku użycia. 2. Zaprojektuj odpowiedni prompt, zestaw narzędzi + źródeł, z których może korzystać, oraz warunki do "wywołania osądu". 3. Upewnij się, że wszystko wygląda dobrze dla wszystkich zaangażowanych stron (lub dla mechanizmu audytowego, który zatwierdzają) 3. Skodyfikuj to wszystko w smart kontrakcie i wdroż. Następnie czekasz na "wyzwalacz" i, jeśli wszystko zostało uzgodnione otwarcie/przejrzyście, wynik jest trudny do zakwestionowania.