oto szybkie podsumowanie postępów w protokołach odporności na cenzurę (CR). ogólnie wyróżnia się 4 typy CR, o których się mówi: > krótkoterminowa CR (STCR): jeśli transakcja dotrze do uczciwego procesu włączenia przed terminem, to każdy następny zatwierdzony blok ją uwzględnia. cenzor może wykluczyć tylko poprzez opóźnienie żywotności samego łańcucha. > selektywna CR (SCR): atakujący nie może wybrać jednej konkretnej transakcji (lub małego zestawu) do cenzury, jednocześnie pozwalając na normalne przechodzenie wszystkiego innego. > długoterminowa CR (LHCR): transakcja nie może być wykluczona na zawsze. zarówno STCR, jak i SCR mają znaczenie dla DeFi wrażliwego na czas, ale STCR dotyczy tego, jak szybko się dostaniesz, podczas gdy SCR dotyczy tego, czy atakujący może wybrać, abyś był wolny. LHCR ma znaczenie dla wyjść z rollupów, wypłat. --------------------------------------- moje obecne zestawienie ostatnich protokołów: > BigDipper daje najsilniejszą explicytną STCR, może być podłączony do konsensusu w stylu PBFT > propozycja MCP celuje w SCR + ukrywanie poprzez posiadanie k równoczesnych proponujących i pośrednią warstwę DA opartą na relayu > Sedna to wtyczka do zgłaszania rozprzestrzeniania transakcji po stronie użytkownika dla MCP, aby złagodzić napięcie między kosztami replikacji a CR w projektach MCP > Mysticeti poprawia praktyczne włączenie poprzez współbieżność, ale nie daje explicytnych gwarancji na poziomie transakcji STCR/SCR > FOCIL: LHCR poprzez listy włączenia egzekwowane przez wybór forków, ale polega na altruizmie komitetu + obserwatorach IL, i ma niestabilną strategię dla włączenia transakcji > AUCIL poprawia FOCIL, czyniąc produkcję IL zgodną z zachętami, czyniąc członków komitetu racjonalnymi, a obserwatorzy muszą tylko sprawdzić dowody ważności dla włączenia IL, ale zakłada globalną synchronizację mempoola. w odniesieniu do granic niemożliwości, niedawny artykuł "koszt opóźnienia odporności na cenzurę" argumentuje, że CR z wieloma proponującymi dodaje koszt opóźnienia wynoszący co najmniej 2 rundy do podstawowego BFT. jednak ich definicja CR jest bardziej zgodna z STCR niż SCR/LHCR. oznaczam @ittaia dla potwierdzenia, czy to było zamierzeniem tego artykułu?

@_julianma Ahh, widzę, że świadkowie odmawiają potwierdzenia błędnego bloku proponującego, jeśli nie zawiera list IL, co prowadzi do tego, że ten blok nawet nie zostaje potwierdzony, co zaspokaja STCR.