dApps i Smart Kontrakty w Głębi
Smart Kontrakty
Jak buduje się, zabezpiecza i zarządza zdecentralizowanymi aplikacjami.
W tej lekcji
- Popularne ryzyka smart kontraktów
- Co robi audyt
Kluczowe wnioski
- 1Niezmienialny kod oznacza, że błędy mogą być katastrofalne
- 2Audyty szukają luk przed uruchomieniem
- 3Reentrancy i złe zatwierdzenia to klasyczne exploity
Podsumowanie lekcji
Bezpieczeństwo smart kontraktów polega na zapobieganiu temu, by kod robił niezamierzone rzeczy z realnymi aktywami.
Model myślowy
Smart Kontrakty prostymi słowami
Bezpieczeństwo smart kontraktów polega na zapobieganiu temu, by kod robił niezamierzone rzeczy z realnymi aktywami. Audyt poprawia pewność, ale nie jest ubezpieczeniem.
- Popularne ryzyka smart kontraktów
- Co robi audyt
Mechanika
Jak rozumieć smart kontrakty
Audytorzy przeglądają logikę, uprawnienia, przypadki brzegowe i znane klasy luk.
Programy bug bounty i czas w produkcji dostarczają dodatkowych dowodów.
Klucze do aktualizacji i role administratora mogą być równie ważne jak sam kod.
- Niezmienialny kod oznacza, że błędy mogą być katastrofalne
- Audyty szukają luk przed uruchomieniem
- Reentrancy i złe zatwierdzenia to klasyczne exploity
Przykład
Smart Kontrakty — zastosowanie
Błąd reentrancji może pozwolić atakującemu wywołać kontrakt ponownie przed aktualizacją sald, opróżniając środki, jeśli brakuje zabezpieczeń.
Częste błędy
Jak smart kontrakty potyka uczących się
Logo audytu na stronie to za mało. Użytkownicy muszą wiedzieć, która wersja była audytowana i czy wdrożony kontrakt jej odpowiada.
Uwagi o ryzyku
Zanim polegasz na smart kontrakty
Reentrancja, manipulacja wyroczniami, niesprawdzone uprawnienia, złe aktualizacje i nieskończone autoryzacje mogą tworzyć katastrofalne ścieżki strat.
- Wyjaśnij, czym jest atak reentrancji i jak wzorzec checks-effects-interactions go blokuje
- Oceń audyt jako dowód — sprawdź wersję audytowaną względem wdrożonej
- Zweryfikuj kontrole administratora i historię incydentów poza raportem audytu
Ćwiczenie
Utrwal smart kontrakty w pamięci
- Wyjaśnij, czym jest atak reentrancji i jak wzorzec checks-effects-interactions go blokuje
- Oceń audyt jako dowód — sprawdź wersję audytowaną względem wdrożonej
- Zweryfikuj kontrole administratora i historię incydentów poza raportem audytu
Przegląd
Kluczowe terminy
- Wyrocznia
- Usługa dostarczająca dane ze świata rzeczywistego (np. ceny) do smart kontraktów on-chain.
- Smart kontrakt
- Samowykonywalny kod na Blockchainie, działający dokładnie tak jak napisano, gdy warunki są spełnione.
- Manipulacja wyrocznią
- Exploitowanie błędnego zasilania ceną w celu wysysania protokołu.
- Blockchain
- Wspólna, tylko-do-dopisywania księga replikowana na wielu komputerach, zabezpieczona kryptografią i konsensusem.
- Mechanizm konsensusu
- Proces, przez który zdecentralizowana sieć uzgadnia prawidłowy stan księgi (np. PoW, PoS).
Notatki źródłowe
Odniesienia redakcyjne
Te odniesienia to punkty wyjścia do weryfikacji mechanizmów, sprawdzianów ryzyka i kontekstu produktu za tą lekcją.
Zanim przejdziesz dalej
Czy potrafisz to zrobić?
- Wyjaśnij, czym jest atak reentrancji i jak wzorzec checks-effects-interactions go blokuje
- Oceń audyt jako dowód — sprawdź wersję audytowaną względem wdrożonej
- Zweryfikuj kontrole administratora i historię incydentów poza raportem audytu
Powiązana nauka
Czytaj dalej
Punkt kontrolny
Zakończ tę lekcję
Zalicz sprawdzian, aby zapisać postępy, a następnie kontynuuj ścieżkę po kolei.
Utrwal tę lekcję
Odpowiedz poprawnie na każde pytanie, aby ukończyć lekcję.
Popularne ryzyko smart kontraktu to…