Zircuit włączył mechanizm SLS, którego celem jest izolacja „złośliwych transakcji”.
Autor: 0xTodd
Podczas oficjalnego TGE Zircuitu porozmawiajmy o interesującym mechanizmie sekwencera (sortera) w tym projekcie.
Zircuit ma swoje L2, którego cechą charakterystyczną jest stworzenie rozwiązania nazwanego „Bezpieczeństwo na poziomie sekwencera /SLS (Sequencer Level Security)”.
Wszyscy wiemy, że obecnie w L2 transakcje są importowane i eksportowane przez oficjalny sorter projektu. Oczywiście, z powodu istnienia ZK / dowodów wyzwań, generalnie nie obawiamy się, że sorter może działać w złej wierze.
Ogólnie rzecz biorąc, sorter pełni rolę neutralnego sojusznika, zawsze bezstronnie wykonując każdą transakcję.
Zatem, mimo że sorter jest neutralny, czy możemy podjąć wysiłek, aby włączyć go do dobrego sojuszu?
Tak więc, Zircuit włączył ten mechanizm SLS, którego celem jest izolacja „złośliwych transakcji”.
Zwykle, jak przebiega transakcja L2 na łańcuchu? Prosto, w czterech krokach:
1. Użytkownik inicjuje transakcję i ją ogłasza.
2. Transakcja trafia do puli pamięci (mempool) i czeka.
3. Sorter jako neutralny sojusznik, pakując ją do bloku.
4. Transakcja trafia na łańcuch.
Jednak na podstawie mechanizmu SLS ten krok stał się pięcioetapowy:
1. Użytkownik inicjuje transakcję i ją ogłasza.
2. Transakcja trafia do puli pamięci (mempool) i czeka.
3. Sorter jako dobry sojusznik używa narzędzi do sprawdzania, czy transakcje są złośliwe.
4. Jeśli nie ma złośliwości, pakujemy ją do bloku.
5. Transakcja trafia na łańcuch.
Ale co jeśli pojawią się podejrzane transakcje? Zmiany zaczynają się od kroku czwartego:
4. Jeśli podejrzewana jest złośliwość, trafia do izolacyjnego basenu.
5. Izolacyjny basen został zweryfikowany, sorter kontynuuje pakowanie.
Lub:
4. Jeśli podejrzewana jest złośliwość, trafia do izolacyjnego basenu.
5. Izolacyjny basen potwierdza, że to rzeczywiście złośliwa transakcja, więc odmawia jej pakowania na łańcuch.
Ten standard SLS do sprawdzania, czy transakcja jest złośliwa, może korzystać z niektórych otwartych bibliotek i wykorzystać AI do oceny.
W przyszłości można osiągnąć pewne efekty, na przykład: skradzione aktywa mogą nigdy nie zostać przeniesione ani powrócone do L1. Dla obecnego, trudnego środowiska na łańcuchu Dark Forest, ma to jednak duże znaczenie.
Oczywiście, skoro chodzi o sprawdzanie transakcji, nieuniknione mogą być pewne przypadki błędów. Jednak rozumiem, że poprawiając algorytm izolacyjnego basenu, można w dużym stopniu zminimalizować ten problem.
To jest miecz obosieczny, blockchain podkreśla brak ograniczeń, co jest nieco sprzeczne z SLS. Z perspektywy normalnego użytkownika, takie L2 rzeczywiście jest trochę bezpieczniejsze.
Jednak ogólnie rzecz biorąc, uważam, że mimo niewielkiego wpływu na brak ograniczeń, zysk w postaci bezpieczeństwa, zwłaszcza w zakresie ochrony mniej doświadczonych użytkowników, jest warty ceny.
Na zakończenie: oryginalny tekst pracy na temat mechanizmu SLS Zircuitu: https://arxiv.org/html/2405.01819v1