вот краткое резюме недавнего прогресса в протоколах устойчивости к цензуре (CR). в целом существует 4 типа CR, о которых, похоже, говорят: > краткосрочная CR (STCR): если транзакция попадает в честный процесс включения до предела, то любой следующий зафиксированный блок включает её. цензор может исключить только путем задержки жизнеспособности самой цепи. > выборочная CR (SCR): атакующий не может выделить одну конкретную транзакцию (или небольшую группу) для цензуры, позволяя при этом всем остальным проходить нормально. > долгосрочная CR (LHCR): транзакцию нельзя держать вне системы навсегда. как STCR, так и SCR важны для чувствительных к времени DeFi, но STCR касается того, насколько быстро вы попадаете в систему, в то время как SCR касается того, может ли атакующий выбрать вас, чтобы вы были медленными. LHCR важен для механизмов выхода из роллапов и выводов. --------------------------------------- моя текущая карта недавних протоколов: > BigDipper предоставляет самую сильную явную STCR, может быть подключен к консенсусу в стиле PBFT > предложение MCP нацелено на SCR + скрытие, имея k параллельных предложителей и промежуточный релейный слой на основе DA > Sedna — это плагин для подачи транзакций на стороне пользователя для MCP, чтобы облегчить напряжение между затратами на репликацию и CR в дизайнах MCP > Mysticeti улучшает практическое включение через параллелизм, но не дает явных гарантий на уровне транзакций STCR/SCR > FOCIL: LHCR через списки включения, обеспечиваемые выбором форка, но полагается на альтруизм комитета + наблюдение аттестаторов за IL, и имеет нестабильную стратегию для включения транзакций > AUCIL улучшает FOCIL, делая производство IL совместимым с инцентивами, делая членов комитета рациональными, а аттестаторов требуется только проверять доказательства действительности для включения IL, но предполагает глобальную синхронизацию мемпула. по границам невозможности недавняя статья "стоимость задержки устойчивости к цензуре" утверждает, что много-просительская CR добавляет стоимость задержки как минимум в 2 раунда к базовому BFT. однако их определение CR больше соответствует STCR, чем SCR/LHCR. отмечаю @ittaia для подтверждения, если это было намерением для этой статьи?

@_julianma Ах, я вижу, что аттестаторы отказываются подтверждать неправильный блок предложителя, если они не включают списки IL, что приводит к тому, что этот блок даже не подтверждается, что удовлетворяет STCR.