В статье PBFT авторы говорят, что «алгоритм не полагается на синхронность для обеспечения безопасности. Поэтому он должен полагаться на синхронность для обеспечения жизнеспособности [...]. Мы гарантируем живучесть, т. Е. Клиенты в конечном итоге получают ответы на свои запросы, предоставленные не более (n-1) / 3 реплик, являются неисправными, а delay (t) не растет быстрее, чем t бесконечно. Здесь delay (t) - это время между моментом, когда сообщение отправлено в первый раз, и t моментом, когда оно получено адресатом (при условии, что отправитель продолжает ретранслировать сообщение до тех пор, пока оно не будет отправлено). получено) Прежде всего, что означает «алгоритм не использует синхронность для обеспечения безопасности»? Более того, очевидно, что алгоритм полагается на слабое синхронное допущение для обеспечения жизнеспособности, но результаты объяснения меня смущают. Кто-нибудь может объяснить это более простыми словами?
Другими словами, как было доказано, что не существует никакого детерминированного алгоритма c, который решает консенсус в асинхронных системах, где недетерминизм лежит в PBFT? или, скорее, какие предположения синхронности вводят авторы для работы PBFT?