Протокол византийского соглашения (BA-протокол)
При византийских соглашениях или при реализации протокола византийских соглашений
для любого начального входа xi, iÎ[1,...,n] участника i и некоторого параметраd (соглашения) должны быть выполнены следующие условия.
Условие завершения. Все честные участники вычислений в конце протокола принимают значение d.
Условие корректности. Если существует значение x
такое, что для честных участников xi=x, тогда d=x.