Skip to main content

Fiat Shamir Heuristic

Definition

The Fiat Shamir Heuristic is a cryptographic technique that transforms interactive proof systems into non-interactive ones. It replaces random challenges from a verifier with challenges derived from a cryptographic hash function applied to the proof transcript. This method allows for efficient verification without requiring real-time interaction between prover and verifier. It is widely used in zero-knowledge proofs and digital signature constructions.