Оголошуємо конкурс на Фінансову криптографію 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/