zk-STARK
zk-STARK (Zero-Knowledge Scalable Transparent Argument of Knowledge) to kryptograficzny system dowodowy pozwalający dowodzącemu przekonać weryfikującego o poprawności obliczeń bez zaufanej konfiguracji ani ujawniania szczegółów obliczeniowych. Wprowadzone przez Ben-Sassona i współpracowników w 2018 roku, zk-STARKi rozwiązują kluczowe ograniczenie zk-SNARKów: nie wymagają fazy wstępnego przetwarzania podatnej na uszkodzenie. Zamiast tego, STARKi opierają się wyłącznie na kryptograficznych funkcjach skrótu, co czyni je prostszymi, bardziej przejrzystymi i uważanymi za odporne na ataki komputerów kwantowych.
Przeczytaj pełny opis metody
Zaloguj się na bezpłatne konto, aby przeczytać tę sekcję.
Mapa metod
Sąsiedztwo pokrewnych metod — wybierz węzeł, aby je zgłębić.
Źródła
- Ben-Sasson, E., Bentov, I., Horesh, Y., & Riabzev, M. (2019). Scalable, transparent, and post-quantum secure computational integrity. In IACR Cryptology ePrint Archive, Report 2018/046. link ↗
- Ben-Sasson, E., Riabzev, M., Rozenkraut, M., Shacham, H., & Stemen, M. (2021). Aurora: Transparent Succinct Non-Interactive Zero-Knowledge Proofs. In IACR Cryptology ePrint Archive, Report 2018/828. link ↗
Jak cytować tę stronę
ScholarGate. (2026, June 3). Zero-Knowledge Scalable Transparent Argument of Knowledge. ScholarGate. https://scholargate.app/pl/cryptography/zk-stark
Która metoda?
Zestaw tę metodę z najbliższymi jej krewnymi i czytaj je obok siebie — biblioteka kładzie księgi na stole; wybór należy do Ciebie.
- Kryptografia oparta na kratachKryptografia↔ porównaj
- Kryptografia postkwantowa (Kyber)Kryptografia↔ porównaj
- zk-SNARKKryptografia↔ porównaj
Cytowana przez
Widzisz błąd na tej stronie? Zgłoś go lub zaproponuj poprawkę →