zk-STARK
zk-STARK (Zero-Knowledge Scalable Transparent Argument of Knowledge) je kryptografický dôkazový systém umožňujúci preukazujúcemu (prover) presvedčiť overovateľa (verifier) o správnosti výpočtu bez dôveryhodného nastavenia (trusted setup) alebo odhalenia detailov výpočtu. zk-STARKy, predstavené Ben-Sassonom a kolegami v roku 2018, riešia kľúčové obmedzenie zk-SNARKov: nevyžadujú žiadnu predprípravnú fázu (preprocessing phase) zraniteľnú voči poškodeniu. Namiesto toho sa STARKy spoliehajú iba na kryptografické hašovacie funkcie, čo ich robí jednoduchšími, transparentnejšími a považovanými za postkvantovo bezpečné.
Prečítať celú metódu
Ak si chcete prečítať túto sekciu, prihláste sa s bezplatným účtom.
Method map
The neighbourhood of related methods — select a node to explore.
Zdroje
- 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 ↗
Ako citovať túto stránku
ScholarGate. (2026, June 3). Zero-Knowledge Scalable Transparent Argument of Knowledge. ScholarGate. https://scholargate.app/sk/cryptography/zk-stark
Which method?
Set this method beside its closest kin and read them side by side — the library lays the books on the table; the choice is yours.
- Kryptografia založená na mriežkachKryptografia↔ compare
- Postkvantová kryptografia (Kyber)Kryptografia↔ compare
- zk-SNARKKryptografia↔ compare
Odkazujú sem
Našli ste na tejto stránke chybu? Nahláste ju alebo navrhnite opravu →