f
ну это же про людей. Для того, чтобы дать строгое определение этой системы, нужно сначала дать строгое определение поведения человека
Консенсусы вообще не про людей, а про программные системы
Size: a a a
2019 April 08
AF
Консенсусы вообще не про людей, а про программные системы
не совсем. Внутри одной компании никому и в голову не придёт менять код несогласованно
f
В общем я не знаю способа защиты от цензуры кроме как бродкаст транзакций с получением ресипта (insurance) на ее включение
AF
В общем я не знаю способа защиты от цензуры кроме как бродкаст транзакций с получением ресипта (insurance) на ее включение
вот именно. И в PoW никто не мешает тебе отправить свою транзакцию любой ноде
f
не совсем. Внутри одной компании никому и в голову не придёт менять код несогласованно
%) Past performance is noguarantee of future results
f
вот именно. И в PoW никто не мешает тебе отправить свою транзакцию любой ноде
Без ресипта никто не мешает тебе нарваться на картель
AF
а Космос вполне может быть подвержен цензуре
AF
тут и мотивация очень серьёзная
AF
Космос может отключать зоны по-сути
AS
Я мог быть невнимателен, и вообще я далек от эксперта. Развернешь мысль?
Дисклеймер - я буду излагать опять же не «официальную научную мысль» а мое личное мнение. Эксперты по алгоритмам консенсуса - как украинцы. Два украинца - три гетьмана.
Вот во всех статьях для начала все определяют что для кого лайвнес, какие есть условия (assumptions) и какие есть критерии что liveness как бы присутствует. Например в бинарных консенсусах у нас состояние репликативной стейт машины должно изменится с 0 на 1 при наступлении определенного события и назад.
Вот в публичных цепочках и алгоритмах консенсуса для них часто включают нейтральность по отношению к транзакциям. Часто говорят что условием лайвнес есть включение транзы с достаточно большим фи должно быть рано или поздно обработано. Вот например об этом говорят в бумаге хани бейджер бфт
Вот во всех статьях для начала все определяют что для кого лайвнес, какие есть условия (assumptions) и какие есть критерии что liveness как бы присутствует. Например в бинарных консенсусах у нас состояние репликативной стейт машины должно изменится с 0 на 1 при наступлении определенного события и назад.
Вот в публичных цепочках и алгоритмах консенсуса для них часто включают нейтральность по отношению к транзакциям. Часто говорят что условием лайвнес есть включение транзы с достаточно большим фи должно быть рано или поздно обработано. Вот например об этом говорят в бумаге хани бейджер бфт
f
Дисклеймер - я буду излагать опять же не «официальную научную мысль» а мое личное мнение. Эксперты по алгоритмам консенсуса - как украинцы. Два украинца - три гетьмана.
Вот во всех статьях для начала все определяют что для кого лайвнес, какие есть условия (assumptions) и какие есть критерии что liveness как бы присутствует. Например в бинарных консенсусах у нас состояние репликативной стейт машины должно изменится с 0 на 1 при наступлении определенного события и назад.
Вот в публичных цепочках и алгоритмах консенсуса для них часто включают нейтральность по отношению к транзакциям. Часто говорят что условием лайвнес есть включение транзы с достаточно большим фи должно быть рано или поздно обработано. Вот например об этом говорят в бумаге хани бейджер бфт
Вот во всех статьях для начала все определяют что для кого лайвнес, какие есть условия (assumptions) и какие есть критерии что liveness как бы присутствует. Например в бинарных консенсусах у нас состояние репликативной стейт машины должно изменится с 0 на 1 при наступлении определенного события и назад.
Вот в публичных цепочках и алгоритмах консенсуса для них часто включают нейтральность по отношению к транзакциям. Часто говорят что условием лайвнес есть включение транзы с достаточно большим фи должно быть рано или поздно обработано. Вот например об этом говорят в бумаге хани бейджер бфт
Но для этого клиенту нужно как-то убеждаться, что его транзакцию не дропнули, и она попала в "мемпул" на достаточном количестве нод, да?
AS
Ну тут часто подрозумевают интерактивный протокол когда клиент пушит транзу время от времени
AF
у мемпула нет API 🙂
AS
Но это отдельный разговор, есть всякие вещи типа dandelion которые в mimblewimble встроили - вот там есть тоже свои асамшены и условия когда транза будет забродкасчена
f
Ну тут часто подрозумевают интерактивный протокол когда клиент пушит транзу время от времени
Угу, понял. Спасибо за разъяснения
AF