zk-STARK
Uno zk-STARK (Zero-Knowledge Scalable Transparent Argument of Knowledge) è un sistema di prova crittografica che consente a un prover di convincere un verifier della correttezza di un calcolo senza setup fidato o rivelazione di dettagli computazionali. Introdotti da Ben-Sasson e colleghi nel 2018, gli zk-STARK affrontano una limitazione chiave degli zk-SNARK: non richiedono una fase di pre-elaborazione vulnerabile a corruzioni. Invece, gli STARK si basano esclusivamente su funzioni hash crittografiche, rendendoli più semplici, trasparenti e ritenuti sicuri post-quantistici.
Leggi il metodo completo
Accedi con un account gratuito per leggere questa sezione.
Mappa dei metodi
Il vicinato dei metodi correlati — seleziona un nodo per esplorare.
Fonti
- 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 ↗
Come citare questa pagina
ScholarGate. (2026, June 3). Zero-Knowledge Scalable Transparent Argument of Knowledge. ScholarGate. https://scholargate.app/it/cryptography/zk-stark
Quale metodo?
Affianca questo metodo ai suoi parenti più prossimi e leggili fianco a fianco — la biblioteca dispone i libri sul tavolo; la scelta è tua.
- Crittografia basata su reticoliCrittografia↔ confronta
- Crittografia Post-Quantistica (Kyber)Crittografia↔ confronta
- zk-SNARKCrittografia↔ confronta
Citato da
Hai notato un problema in questa pagina? Segnalalo o proponi una correzione →