Протокол византийского соглашения (BA-протокол)

При византийских соглашениях или при реализации протокола византийских соглашений

для любого начального входа xi, iÎ[1,...,n] участника i и некоторого параметраd (соглашения) должны быть выполнены следующие условия.

Условие завершения. Все честные участники вычислений в конце протокола принимают значение d.

Условие корректности. Если существует значение x

такое, что для честных участников xi=x, тогда d=x.