Fiat-Shamir Heuristic
Compresión ZK · Fondo
Técnica para convertir pruebas de conocimiento cero interactivas en no interactivas reemplazando los desafios aleatorios del verificador con salidas de funciones hash derivadas de la transcripcion de la prueba. Está transformacion permite que las pruebas ZK sean verificadas sin interacción en tiempo real, haciendolas adecuadas para verificación en blockchain donde los probadores y verificadores operan asincronamente.