Ось короткий короткий виклад останніх досягнень у протоколах стійкості до цензури (CR). Існує приблизно 4 типи CR, про які люди говорять: > короткостроковий CR (STCR): якщо tx досягає конвеєра чесного включення до відрізання, то будь-який наступний комітований блок його включає. цензор може виключити лише шляхом затримки живості самого ланцюга. > вибірковий CR (SCR): зловмисник не може виділити одну конкретну перевірку (або невеликий набір) для цензури, дозволяючи все інше проходити зазвичай. > довготривалий CR (LHCR): TX не можна тримати поза межами вічно. і STCR, і SCR важливі для DeFi, чутливого до часу, але STCR — це про те, наскільки швидко ви заходите, а SCR — про те, чи може атакуючий обрати вас повільним. LHCR має значення для аварійних люків для згортання та вилучення. --------------------------------------- Моє поточне відображення останніх протоколів: > BigDipper надає найсильніший явний STCR, його можна підключити до консенсусу в стилі PBFT > пропозиція MCP спрямована на SCR + приховування шляхом використання k одночасних пропонаторів і проміжного релейного рівня DA. > Sedna — це користувацький плагін для подачі tx-dissemination для MCP, щоб зменшити напругу між вартістю реплікації та CR у дизайнах MCP > Mysticeti покращує практичне включення через паралелізм, але не дає явних гарантій рівня STCR/SCR tx > FOCIL: LHCR через форк-вибір примусово використовує списки включення, але покладається на альтруїзм комітетів + атестери, які дотримуються IL, і має нестабільну стратегію включення TX > AUCIL покращує FOCIL, роблячи виробництво IL сумісним із стимулами, роблячи членів комітету раціональними, а атестатори зобов'язані лише перевіряти докази валідності для включення IL, але передбачає глобальну синхронізацію мемпулу. щодо межі неможливого, нещодавня стаття «The latency cost of censor resistance» стверджує, що багатопрофільний CR додає вартість затримки щонайменше 2 раунди до базового BFT. однак їхнє визначення CR більше відповідає STCR, ніж SCR/LHCR. Позначати @ittaia для підтвердження, чи це була мета цієї статті?

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