Byzantská dohoda: Spec1
a ak g je spolahlivý, tak
Ak g je spolahlivý, tak druhá podmienka implikuje prvú.
Obmedzíme sa na prípad, ked d0[g] je boolovská.
V prípade, ze d0[g] má 2m mozných hodnôt, zakódujeme ich do m bitov a spustíme paralelne na (teraz uz boolovské) zlozky binárneho kódu.
con ? postupnost matíc (presvedcenia)
conr[x, y] ? r-tá matica a jej prvok [x, y]
conr[x, y] ? je boolovská a lokálna pre x
dr[x] ? je boolovská a lokálna pre x
(hodnota x v r-tom kole dohadovania)
conr[u, ?] = ? + x: conr[u, x] :: 1 ?