Читать книгу Smart City Infrastructure - Группа авторов - Страница 55

GBSC designed based on a verification game that decides whether a computational assignment is properly executed or not. Moreover, in every stage of the “verification game”, the verifier persistently tests less critical subsection of the calculation that permits TrueBit to diminish the commutating load on its nodes significantly.