zk-STARK
Un zk-STARK (Zero-Knowledge Scalable Transparent Argument of Knowledge) es un sistema de prueba criptográfica que permite a un probador convencer a un verificador de la corrección de un cálculo sin configuración confiable ni revelación de detalles computacionales. Introducido por Ben-Sasson y colegas en 2018, los zk-STARK abordan una limitación clave de los zk-SNARK: no requieren una fase de preprocesamiento vulnerable a la corrupción. En cambio, los STARK se basan únicamente en funciones hash criptográficas, lo que los hace más simples, más transparentes y se cree que son seguros post-cuántico.
Leer el método completo
Inicia sesión con una cuenta gratuita para leer esta sección.
Method map
The neighbourhood of related methods — select a node to explore.
Fuentes
- 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 ↗
Cómo citar esta página
ScholarGate. (2026, June 3). Zero-Knowledge Scalable Transparent Argument of Knowledge. ScholarGate. https://scholargate.app/es/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.
- Criptografía basada en retículosCriptografía↔ compare
- Criptografía Postcuántica (Kyber)Criptografía↔ compare
- zk-SNARKCriptografía↔ compare
Citado por
¿Has visto un problema en esta página? Infórmanos o sugiere una corrección →