Zero-Knowledge Scalable Transparent Argument of Knowledge
Els zk-STARK funcionen demostrant la correcció d'un rastre computacional. El demostrador executa un programa i genera un rastre de tots els estats intermedis. Utilitzant compromisos polinòmics i arbres de Merkle, el demostrador mostra que el rastre segueix les regles de càlcul correctes sense revelar el rastre mateix. El verificador realitza comprovacions puntuals en posicions aleatòries del rastre utilitzant només funcions hash i aritmètica bàsica, aconseguint una prova de correcció amb una probabilitat aclaparadora.
Llegeix el mètode complet
Inicia la sessió amb un compte gratuït per llegir aquesta secció.
Mapa de mètodes
El veïnat de mètodes relacionats — seleccioneu un node per explorar-lo.
Fonts
- 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 ↗
Com citar aquesta pàgina
ScholarGate. (2026, June 3). Zero-Knowledge Scalable Transparent Argument of Knowledge. ScholarGate. https://scholargate.app/ca/cryptography/zk-stark
Quin mètode?
Poseu aquest mètode al costat dels seus parents més pròxims i llegiu-los de costat a costat — la biblioteca disposa els llibres sobre la taula; la tria és vostra.
- Criptografia basada en reticlesCriptografia↔ compara
- Criptografia Post-Qüàntica (Kyber)Criptografia↔ compara
- zk-SNARKCriptografia↔ compara
Citat per
Has vist cap problema en aquesta pàgina? Informa'n o suggereix una correcció →