Fiat-Shamir Heuristic
Compressão ZK · Fundo
Técnica para converter provas de conhecimento zero interativas em não-interativas substituindo os desafios aleatorios do verificador por saidas de função hash derivadas da transcricao da prova. Essa transformacao permite que provas ZK sejam verificadas sem interação em tempo real, tornando-as adequadas para verificação blockchain onde provadores e verificadores operam de forma assincrona.