Формально проверенные модели судей могут разрешать споры или служить источником правды в других контекстах. Это имеет глубокие последствия --> 1. Уделите время на создание должным образом проверенной (предпочтительно с открытым исходным кодом) модели судьи для данного случая использования. 2. Разработайте соответствующий запрос, набор инструментов и источников, к которым она может обращаться, и условия для "триггера" решения. 3. Убедитесь, что все выглядит хорошо для всех сторон, участвующих в процессе (или для механизма аудита, который они одобряют). 3. Закодируйте все это в смарт-контракт и разверните. После этого вы ждете "триггер", и если все было согласовано открыто/прозрачно, результат трудно оспорить.