Объявляем о конкурсе статей для Финансовой Криптографии 2026. Срок подачи статей - 16 сентября (не так много времени!) с сопредседателем Стефани Роос (RPTU)

С нетерпением жду выступления на семинаре по науке и инженерии консенсуса в воскресенье в Беркли. Я расскажу о недавней работе с @kartik1507 и @nibeshrestha2 над нашей моделью "Pipes" для анализа блокчейн-протоколов. Одним из преимуществ модели является то, что она действительно позволяет сравнивать максимальную пропускную способность для различных протоколов...

[ОБНОВЛЕНИЕ] Мы сотрудничаем с @AndrewLewisPye над формальной спецификацией (и доказательствами как живучести, так и безопасности) для Minimmit. 👀

Поток, обобщающий исследования по хорошему времени задержки и устойчивости протоколов частичной синхронизации. Нижняя граница 1 (DLS): Невозможно решить задачу согласия при частичной синхронизации против византийского противника, если f >= n/3. ( Нижняя граница 2 (Хорошее время задержки): Для частично синхронного византийского широковещательного вещания с f византийскими участниками необходимо и достаточно 3 раунда, если 3f + 1 <= n <= 5f - 1 ( Верхняя граница: например, PBFT, Tendermint, Simplex допускают f < n/3 ошибок и достигают 3-раундного хорошего времени задержки (ссылка:

Исследования в области блокчейна сдерживаются, потому что у нас нет хороших способов сравнивать максимальные пропускные способности различных протоколов. Рад сообщить о новом подходе с Картиком Наяком (@kartik1507) и Нибешем Стрестхой (@nibeshrestha2). 1/