We formalize Byzantine linearizability, a correctness condition that specifies whether a concurrent object with a sequential specification is resilient against Byzantine failures. Using this definition, we systematically study Byzantine-tolerant emulations of various objects from registers. We focus on three useful objects -- reliable broadcast, atomic snapshot, and asset transfer. We prove that there is an $f$-resilient implementation of such objects from registers with $n$ processes $f<\frac{n}{2}$.

中文翻译：

---

通过拜占庭式线性化来驯服狂野：可靠的广播，快照和资产转移

我们对拜占庭线性化进行形式化，这是一个正确性条件，它指定具有顺序规范的并发对象是否可以抵抗拜占庭式故障。使用此定义，我们系统地研究了寄存器中各种对象的拜占庭容忍模拟。我们关注三个有用的对象-可靠的广播，原子快照和资产转移。我们证明了具有$ n $个进程$ f <\ frac {n} {2} $的寄存器中存在此类对象的$ f $弹性实现。