Что такое Byzantine Fault Tolerance (BFT)?

Характеристика распределенной системы, означающая, что система устойчива к проблеме Византийских Генералов, иначе говоря система способна оставаться надежной при наличии нечестных, поломаных элементов или процессов.

Коротко о проблеме Византийских Генералов

Тема объемная, но я постараюсь сделать простую выжимку. Вообщем это мысленный эксперимент в Computer Science с 1982 года в котором дана следующая задача:

"N-ное кол-во генералов, которые думают нападать или не нападать на Римскую империю. При этом среди них ест M-ное кол-во предателей. Если все честные нападут или отступят (главное прийти к общему решению) - то всё будет ок, если хотя бы один из честных не распознает своих и доверится предателям, то Византия проиграет войну.
Вопрос: как честным генералам договорится и прийти к общему решению через удаленный канал связи?"

На практике в распредленных системах генералами будут ноды, т.е. узлы обслуживающие сеть, а удаленный канал связи - это Интернет. И это накладывает новые сложности и расширяет список условий.

Условия на практике в Интернете

• Задержки в доставке сообщений или асинхронность (как итог неверный порядок cообщений)
• Предатель или плохая нода - это не только нода, которая сломалась (Crash Failures), но и нода, которая способна обманывать (Byzantine Failures)
• Компроментация канала связи (подделка сообщений)
• Спам сообщениями
• Сообщения могут не доходить вообще

Ну добавим сюда еще вызов: не ограничивать количество нод, т.е. сделать систему максимально открытой и децентрализованной

Какие есть решения и в чем различия?

В 1985 году думали, что решения вовсе нет и написали "доказательство" этого. К счастью те исследователи оказались не правы.

Первым решением был алгоритм Paxos, опубликованный в 1989 году. Но этот алгоритм не решал таких проблем, как: спам, компрометация канала связи, и Byzantine Failures, только лишь Crash Failures. И консенсус там достигался только в случае если более 3/4 нод - честные.

Все проблемы Paxos были решены в алгоритме Practical Byzantine Fault Tolerance 1999 года. В дальнейшем PBFT лег в основу алгоритмов консенсуса Hyperledger, Ripple, Stellar и Tendermint. И консенсус достигался уже если более 1/3 нод - честные и при условии, что нет проблем с доставкой сообщений.

C появлением Bitcoin впервые решалась проблема Византийских Генералов с неограниченным количеством нод на практике. Однако это свойство несет с собой недостатки, как плохая масштабируемость и отсутствие быстрой "финальности" (речь о том, что надо ждать подтверждения транзакций). Точнее 100% "финальность" недостижима, по факту просто уменьшается вероятность отката транзакции с каждым подтверждением и этого вполне достаточно на практике.

#ликбез

Другие современные протоколы, такие как PoS в Cardano, dPoS в EOS, dBFT в NEO тоже являются BFT алгоритмами, со своими преимуществами и недостатками, о которых я хочу написать несколько отдельных постов с детальным сравнением.

Выводы
Алгоритмы dBFT, FBA и dPos имеют фиксированное кол-во генералов, что вызывает критику о централизации и плутократии, зато они быстрые и относительно безопасные. Биткоин же медленный и не масштабируется, но зато это самая честная и децентрализованная система, которая заслужила самый большой кредит доверия.

Я думаю, что не стоит размышлять о том, какие системы победят, а какие проиграют. Я ставлю на то, что Биткоин будет побеждать в функции "цифрового золота" и необходимость в суперскорости отпадет, а также на то, что под каждое приложение возможно нужен свой блокчейн, со своими правилами, со своими схемами governance. Также как в реальном мире, странах, компаниях - люди организовываются каждый на свой лад и по своим схемам управления. Так и будет происходить в блокчейнах и децентрализованных автономных организациях дальше.

В этой перспективе мне нравится идея о платформах по созданию своих блокчейнов под свое приложение, типо того как делают Cosmos

#ликбез

#ликбез Меня засыпали вопросами, что означает график, на котором сейчас отбивают морзянкой DIGITALRESISTANCE
Я обязательно сделаю красивые разъяснения с инфографикой. Но пока рекомендую посмотреть моё видео, где я объясняю как работают блокировки:
https://youtu.be/C_RsUdWMP68

Это немного устаревшая информация, но представление об идее даёт. Что изменилось с тех пор:
1. Из проекта норматива убрали необходимость самостоятельно определять IP - на этом настоял Минэк. Но и запрета нет.
2. Норматив с дичайшими нарушениями процедур приняли, подписали и он вступил в силу. ОДНАКО со стороны агента "Ревизор" не поменялось ничего. Т.е. действующие норматив по факту не ратифицирован. И ситуация осталась прежней, несмотря на норматив. (К слову о "мы просто соблюдаем закон")
3. Роскомнадзор так или иначе добился, чтобы по IP блокировались только ресурсы с типом блокировки "по IP". Это несомненно снижает эффект DNS-атаки. Она работает только на деградацию связи. Однако. 14 марта 2018 года был применен новый подвид этой атаки - несколько доменов стали показывать на более чем 1.2 млн IP-адресов. И этого не выдержала заметная часть магистрального провайдера Транстелеком (10-20%% его сети).

Итак:
- красный график - это IP адреса и подсети из реестра с типом блокировки "по IP"
- фиолетовый график - это IP адреса, на которые на самом деле сейчас указывают домены из реестра

Вот вам неплохая статья с ликбезом про вайфай.
Пригодится почитать самому или (ну, меня и коллеги читают) дать почитать вопрошающим.
https://3dnews.ru/975001

Хотя, я бы никогда не рекомендовал ставить 40Mhz канал в диапазоне 2,4 Ghz. Оно не работает практически всегда. А если работает, то доставляет много проблем со стабильностию.

#WIFi, #ликбез

​​#ликбез ✌️ Давайте в День Радио немного окунёмся в историю. Сейчас существуют «пиратские» сайты, «пиратская» музыка, «пиратские» фильмы… А почему «пиратские»? Откуда это слово к нелегальному контенту прилипло? Оказывается, история началась ещё с радио. У радио есть своя долгая история регулирования, лоббирование интересов корпораций, силовиков и правообладателей. В конце 50-ых и 60-ых годах XX века в Европе были популярны радиостанции, вещающие с кораблей в нейтральных водах.

➡️ Очень подробная статья на Лурке: https://lurkmore.to/Радиопираты (заблокирован в РФ)
➡️ Статья на Википедии: https://ru.wikipedia.org/wiki/Пиратская_радиостанция (пока ещё не заблокирована в РФ)

#ликбез ⚡️ Роскомнадзор тут пишет, что направил требования об удалении объявлений в отношении 32 страниц сайта eBay, где продают награды Великой Отечественной войны:
https://rkn.gov.ru/news/rsoc/news67866.htm

👉 Роскомнадзор описывает основание: «Согласно закону «Об информации» запрещается распространение информации, за которую предусмотрена административная или уголовная ответственность».

☝️ Это неправда. Федеральный закон №149-ФЗ от 27.07.2006 в статье 10 пункт 6 пишет: «Запрещается распространение информации, которая направлена на пропаганду войны, разжигание национальной, расовой или религиозной ненависти и вражды, а также иной информации, за распространение которой предусмотрена уголовная или административная ответственность».

‼️ Это традиционная подмена понятий судом. Скорее всего, в решении суда формулировка: «Данные сайты содержат информацию о ...
....
Согласно п. 6 ст. 10 № 149-ФЗ «Об информации, информационных технологиях и о защите информации», в сети Интернет запрещается распространение информации, за которую предусмотрена административная или уголовная ответственность».
А почему так происходит? Потому что прокурорам не хочется работать. Это же ловить кого-то надо. А тут запретил и всё. И смотрите — к памятной дате. Совпадение? А причем тут прокуроры? Ну вот такой у нас суд.

Это моя любимая тема про блокировки и правоприменительную практику.

#ликбез Отвечу на вопросы, заданные мне в «личку». Это очень правильные вопросы. Мой взгляд «замылился» и я часто забываю расставить акценты на очевидных для себя вещах. Я далеко не всегда делаю то, что просят меня читатели, но вопросы читателей мне часто помогают. Это как раз тот случай.

В: А почему ты почти не пишешь о смысловом содержании проектов нормативных актов по «устойчивому Рунету»
О: Потому что там нет смыслового содержания. Обычно это или набор общих тезисов «угрозы бывают маленькими, средними и большими», или рекурсивные ссылки «требования выполнять данные требования», или отсылки к ешё одному уровню документов «будет установлено отдельным документом». Всё размещено так, чтобы успеть в сроки, установленные планом-графиком, утвержденным заместителем председателя Правительства РФ М.А.Акимовым 15 мая 2019 года.

В: Почему ты публикуешь только отрицательную аналитику и экспертизу по закону «об устойчивом Рунете» и подзаконных актах?
О: Потому что положительной аналитики и экспертизы не существует в природе. Нет, серьёзно, вы не найдете ни одной публикации «как закон об устойчивом Рунете защитит Рунет» с какой-нибудь конкретикой. Все публикации с подобным заголовком содержат лозунги, политические заявления, страшилки, но не конкретику. Положительных отзывов просто НЕ СУЩЕСТВУЕТ. Как только вы увидите такой — сразу сообщите мне.

В: Ты считаешь угрозы нереалистичными?
О: Да нет, угрозы вполне реалистичны. Но даже закон об «устойчивом Рунете» потерял эту нить вопроса, никак его не касаясь. Закон не описывает ни одной ситуации, про которую говорит в обосновании (что в формальном, что в публичных заявлениях инициаторов закона). Закон утерял смысловую нагрузку, поэтому логику регулирования не понимают даже федеральные органы исполнительной власти, которые вынуждены писать нормативы.

В: Какие есть варианты выхода из ситуации с достоинством у Минцифры и Роскомнадзора?
О: Не очень много вариантов. Либо они вынуждены будут саботировать «нормативку», прописав туда «не требуется», либо на уровне Правительства вносить законопроект об отмене/корректировке закона «об устойчивом Рунете». Судя по тому, что деньги уже распределены, закон «об устойчивом Рунете» является политическим, и появились выгодоприобретатели по части направлений закона — выхода «с достоинством» не будет. Будет пропихивание сомнительных, а иногда и просто противозаконных, норм не мытьём, так катаньем. Конечно, всегда есть место чуду, когда кто-нибудь в Минцифре или Роскомнадзоре скажет: «Ну нет, это уже слишком».

#ликбез Пара крупных широкополосных провайдеров приставила нож к горлу РКН — кончилась «быстрая память» на маршрутизаторах. К сожалению, это единственная и несистемная причина вот этого уменьшения IP. Несчастный DigitalOcean так подсетью и сидит в блокировке. И будет сидеть.

#ликбез Я вчера писал про запрет юморески про суицид. Вот эта ситуация:
https://batenka.ru/resource/suicide/s-l-tendencies/

Сегодня у Роскомнадзора «полыхнуло»:
https://vk.com/wall-76229642_221163
https://www.facebook.com/roskomnadzor.official/photos/a.1485309358414507/2427771650834935/

В принципе Роскомнадзор прав. Серьёзно. Но когда, например, замруководителя Роскомнадзора Субботин разъясняет правоприменение по нормам, к которым Роскомнадзор имеет только техническое отношение https://t.iss.one/usher2/914 — вспомните эти заявления, улыбнитесь и похлопайте его по плечу. Вместе с тем, помните, что Роскомнадзор проявляет завидную прыть при интерпретации решения Генеральной прокуратуры по Telegram: https://t.iss.one/usher2/256 Как бы вы ни поступили...

#ликбез У Роскомнадзора похоже маленькая пятница. Вчера ещё была тема с возрастной маркировкой: https://tjournal.ru/news/110976-rkn-chtoby-dokazat-otsutstvie-na-sayte-it-s-my-city-vozrastnogo-cenza-perekryl-ego-na-skrinshotah-kalendarem-windows
Там Роскмонадзор скриншоты делал об отсутствии маркировки с календарем, который прикрывал саму маркировку.

🔥 У Роскомнадзора опять «полыхнуло», и он разъяснил (что характерно — опять в социалочках):
https://vk.com/wall-76229642_221172
https://www.facebook.com/roskomnadzor.official/posts/2427805800831520

👉 Разъяснение забавное — мы скриншотили ваш сайт, чтобы показать, что на афишах маркировки нет, а календарь — это чтобы зафиксировать время, а маркировка на сайте значения не имеет. Я его не понял

☝️ Одна из «фишек» уведомлений Роскомнадзора состоит в том, что если это не табличное уже обыденное уведомление о блокировке по решению номер такое-то такого-то органа, Роскомнадзор половину объяснения оставляет у себя в голове. В изначальном объяснении скорее всего не было (свечку не держал, но «гарантирую»).

‼️ В соответствии со статьей 1 пункт 3 Федерального закона от 26.06.2008 №102-ФЗ «Об обеспечении единства измерений»: «Сфера государственного регулирования обеспечения единства измерений распространяется на измерения, к которым в целях, предусмотренных частью 1 настоящей статьи, установлены обязательные метрологические требования и которые выполняются при:...
17) осуществлении мероприятий государственного контроля (надзора);
…»
Встроенный в Windows календарь совершенно точно не соответствует установленным требованиям федерального закона «Об обеспечении единства измерений» и точно не имеет соответствующей сертификации. Т.е. этот так называемый «скриншот» не соответствует нормам закона. Поправьте меня, если скриншот календаря Windows имеет соответствующий метрологический сертификат, или хотя бы сам календарь.