О распределённых вычислениях
Помимо SGX, верификация вычислений в распределённых вычислительных протоколах может производиться через устранение разногласий. Truebit – один из вычислительных проектов с протоколом устранения разногласий, который они называют “verification game” (верификацией в игровой форме). В этой системе верификатор вносит депозит в токенах TRU, чтобы проверить результат вычислений. В «игровом» устранении разногласий в Truebit результаты вычислений «решателя» хэшируются на каждом шаге выполнения программы (на самом деле любое задание может оказаться невыполнимым из-за превышения лимита газа, установленного в сети Эфириум, поэтому TrueBit разбивает каждое задание на 12 подшагов). Затем верификатор проверяет получившиеся части решения, используя бинарный поиск для нахождения конкретной операции, которая вызвала расхождения. Вызвавший разногласия шаг или подшаг затем направляется в сеть Эфириум для получения окончательного решения. Сторона, предоставившая неверный результат, теряет свой депозит, который начисляется выигравшей стороне.
