Najważniejsze informacje
Starknet to rozwiązanie skalujące warstwy 2 dla Ethereum, które wykorzystuje dowody walidacji w celu umożliwienia szybkich i tanich transakcji, zachowując jednocześnie bezpieczeństwo Ethereum.
Sieć przetwarza transakcje off-chain i wysyła dowody krypto do sieci Ethereum w celu ostatecznej weryfikacji.
Programiści używają Cairo, niestandardowego języka programowania, do tworzenia skalowalnych zdecentralizowanych aplikacji (DApp) w Starknet.
Wstęp
Starknet to rozwiązanie warstwy 2, które wykorzystuje dowody Scalable Transparent Arguments of Knowledge (STARK) w celu zapewnienia szybszych, tańszych i bardziej skalowalnych transakcji. Pozwala to programistom na tworzenie bardzo wydajnych, zdecentralizowanych aplikacji (DApp) przy niższych kosztach i silnych gwarancjach krypto, bez wpływu na bezpieczeństwo czy decentralizację.
Czym są STARKi?
STARK, skrót od Scalable Transparent Arguments of Knowledge, to rodzaj dowodu kryptograficznego używanego do weryfikacji, czy obliczenia zostały przeprowadzone poprawnie, bez konieczności powtarzania samych obliczeń.
W kontekście Starknet, STARKi są używane do udowodnienia, że transakcje off-chain zostały przetworzone poprawnie przed przesłaniem kompaktowego dowodu z powrotem do sieci Ethereum. Dzięki temu Ethereum może finalizować duże partie transakcji bardziej efektywnie i przy niższych kosztach.
STARKi nie zapewniają z założenia prywatności i różnią się od tradycyjnych dowodów zerowej wiedzy (ZKP), ponieważ koncentrują się na potwierdzaniu integralności obliczeniowej. To, co sprawia, że STARKi są szczególnie wydajne, to fakt, że nie opierają się na zaufanej konfiguracji, dobrze skalują się nawet przy coraz bardziej złożonych obliczeniach i są zaprojektowane tak, aby przeciwdziałać przyszłym zagrożeniom, takim jak potencjalne ataki kwantowe.
Czym jest Starknet?
Starknet to rozwiązanie skalujące warstwy 2 zaprojektowane w celu przyspieszenia i obniżenia kosztów transakcji Ethereum. Zamiast przetwarzać każdą transakcję bezpośrednio w głównym łańcuchu Ethereum, Starknet obsługuje je off-chain.
Następnie sieć generuje dowód STARK, aby matematycznie potwierdzić, że transakcje zostały wykonane poprawnie. Dowód ten, wraz z podsumowaniem zmian, jest wysyłany z powrotem do Ethereum, gdzie jest weryfikowany i finalizowany on-chain.
Jak działa Starknet?
1. Sekwencer: zarządzanie transakcjami
Sekwencer odpowiada za odbieranie i organizowanie transakcji. Grupuje je, sprawdza, które są prawidłowe, a te, które nie są (np. z powodu braku środków lub błędów), odrzuca.
Tylko prawidłowe transakcje trafiają do bloków, które są następnie przekazywane do dalszej weryfikacji. Ponieważ proces ten odbywa się w trybie off-chain, sekwencer może osiągnąć wyższą przepustowość.
2. Weryfikator: generowanie dowodu
Weryfikator przejmuje przetworzony blok i rejestruje każdy etap realizacji transakcji (tzw. ślad realizacji) oraz wynikające z tego zmiany stanu systemu (tzw. różnice stanu). Następnie weryfikator przekształca te dane i wybiera losowe fragmenty w celu wygenerowania ostatecznego dowodu STARK, który stanowi matematyczną gwarancję prawidłowej realizacji wszystkich transakcji.
3. Rozliczenie na Ethereum
Dowód i zmiany stanu końcowego są wysyłane do Ethereum, gdzie dwa smart kontrakty zajmują się weryfikacją:
Kontrakt weryfikatora sprawdza poprawność dowodu. Jeśli dane są spójne i ważne, są zatwierdzane.
Kontrakt Starknet Core następnie aktualizuje stan Starknet na Ethereum na podstawie zweryfikowanego dowodu.
Po zaakceptowaniu ten zaktualizowany stan jest dodawany do bloku Ethereum, gdzie staje się częścią trwałego zapisu. Ponieważ dowód potwierdza poprawność obliczeń off-chain, nie ma potrzeby ponownego wykonywania transakcji w sieci Ethereum, co pomaga zmniejszyć przeciążenie sieci i koszty.
Kluczowe funkcje Starknet
Cairo: język programowania Starknet
Starknet wykorzystuje niestandardowy język smart kontraktów o nazwie Cairo, zaprojektowany specjalnie do pisania programów, które mogą być weryfikowane za pomocą dowodów STARK. Umożliwia programistom tworzenie skalowalnych aplikacji w sieci Starknet bez konieczności posiadania specjalistycznej wiedzy z zakresu kryptografii.
Ekosystem Cairo obejmuje narzędzia dla programistów, takie jak Dojo, silnik gier typu open source do tworzenia gier w pełni opartych na technologii on-chain, oraz Starknet React, bibliotekę upraszczającą tworzenie interfejsów internetowych dla aplikacji DApp Starknet.
Abstrakcja konta natywnego
Starknet obsługuje natywną abstrakcję konta, co pozwala programistom oferować użytkownikom aplikacji Web3 doświadczenia podobne do tych znanych z Web2. Dotyczy to takich funkcji jak klucze dostępu, dzięki którym użytkownicy mogą logować się bez frazy seed, oraz klucze sesji, które umożliwiają zatwierdzanie wielu transakcji jednocześnie. Funkcja paymasters umożliwia transakcje bez opłat za gaz, w których użytkownicy mogą płacić tokenów ERC-20 lub zlecić innym pokrycie kosztów za gaz.
Cartridge Controller to przykład portfela opartego na smart kontraktach Starknet, który wprowadza te funkcje do gier. Obsługuje proces wdrażania jednym kliknięciem, tożsamość graczy, osiągnięcia i współpracuje z silnikami gier oraz narzędziami frontendowymi.
Ważność a optymistyczne rollupy
W przeciwieństwie do optymistycznych rollupów, które zakładają, że transakcje są prawidłowe, chyba że zostaną zakwestionowane, Starknet używa dowodów ważności do potwierdzenia poprawności. Zapewnia to szybką finalizację (ponieważ nie trzeba czekać na okres kwestionowania) i silne gwarancje kryptograficzne.
Jednak optymistyczne rollupy mogą być prostsze do wdrożenia i mogą mieć szerszą kompatybilność z istniejącymi narzędziami Ethereum. Oba podejścia mają swoje wady i zalety, a wybór rollupu będzie zależał od konkretnych celów, takich jak czas opóźnienia, kompatybilność i założenia dotyczące zaufania.
Wyzwania
Starknet nie oferuje natywnej kompatybilności z Ethereum Virtual Machine (EVM), co odróżnia go od sieci warstwy 2, takich jak zkSync Era i Scroll, które umożliwiają programistom łatwe ponowne wykorzystanie istniejącego kodu Solidity i narzędzi Ethereum.
Zamiast tego Starknet wymaga od programistów tworzenia aplikacji przy użyciu Cairo, języka zaprojektowanego z myślą o skalowalności dzięki dowodom STARK. Chociaż Cairo zapewnia korzyści techniczne, stanowi również wyzwanie dla nowych użytkowników, co może spowolnić proces wdrażania i utrudnić migrację istniejących aplikacji.
Token STRK
Token STRK jest natywnym tokenem użytkowym protokołu Starknet. Token jest wykorzystywany do różnych celów, w tym do zarządzania, uiszczania opłat transakcyjnych i stakingu.
Zarządzanie: posiadacze tokenów STRK mogą uczestniczyć w zarządzaniu protokołem, głosując nad propozycjami, takimi jak ulepszenia systemu lub zmiany w Starknet Operating System. Niektóre propozycje mogą wymagać minimalnej kwoty STRK, aby je wesprzeć lub zainicjować.
Opłaty transakcyjne: token STRK może być używany do uiszczania opłat transakcyjnych na Starknet. W przypadku użycia tokenów STRK część jest zamieniana przez sekwencer na ETH w celu pokrycia kosztów za gaz w sieci Ethereum.
Staking: tokeny STRK można stakować na dwa sposoby:
Jako walidator: stakuj minimalną kwotę tokenów STRK i wykonuj obowiązki sieciowe, aby zdobywać nagrody.
Jako osoba delegująca: deleguj tokeny walidatorowi i zdobądź część nagród bez konieczności uruchamiania węzła walidacyjnego.
Wnioski końcowe
Starknet oferuje inne podejście do skalowania Ethereum poprzez wykorzystanie dowodów ważności, a konkretnie STARK-ów. Rollup ma na celu zwiększenie przepustowości i zmniejszenie kosztów przy zachowaniu gwarancji bezpieczeństwa Ethereum. Dzięki takim funkcjom, jak język programowania Cairo i natywna abstrakcja kont, Starknet stwarza nowe możliwości dla programistów, szczególnie w takich obszarach, jak gry on-chain i infrastruktura.
Dalsza lektura
Wyłączenie odpowiedzialności: Niniejsza treść jest prezentowana bez rękojmi, wyłącznie w celach ogólnoinformacyjnych i dydaktycznych, bez jakichkolwiek oświadczeń ani gwarancji. Nie należy jej rozumieć jako porady finansowej, prawnej ani innego rodzaju porady specjalistycznej. Nie ma ona również charakteru zachęty do zakupu jakiegokolwiek konkretnego produktu ani usługi. Użytkownik powinien zasięgnąć własnej porady u odpowiednich fachowych doradców. Możliwe, że produkty wspomniane w tym artykule nie będą dostępne w danym regionie. Jeżeli artykuł jest napisany przez osobę z zewnątrz, należy pamiętać, że wyrażane poglądy są poglądami tej osoby i nie muszą odzwierciedlać poglądów Akademii Binance. Więcej informacji można znaleźć w naszym pełnym wyłączeniu odpowiedzialności. Ceny aktywów cyfrowych bywają zmienne. Wartość Twojej inwestycji może spaść lub wzrosnąć i możliwe, że nie odzyskasz zainwestowanej kwoty. Ponosisz wyłączną odpowiedzialność za swoje decyzje inwestycyjne, a Akademia Binance nie ponosi odpowiedzialności za ewentualne straty. Niniejszego materiału nie należy rozumieć jako porady z zakresu finansów, prawa ani innej dziedziny. Więcej informacji można znaleźć w naszych Warunkach użytkowania i Ostrzeżeniu o ryzyku.