top | item 44458242 (no title) supernikio2 | 8 months ago "The Ali Baba Cave" example from the Wikipedia article is what made it click for me: https://en.wikipedia.org/wiki/Zero-knowledge_proof. discuss order hn newest bobbiechen|8 months ago This is an interactive example, isn't it? It doesn't help me understand non-interactive proofs like SNARKs/STARKs, where the verifier isn't communicating live with the prover. quantumgarbage|8 months ago Look for the "Fiat Shamir heuristic" to understand the non interactive part.It basically consists in the prover getting its random challenges from hashing public inputs, rather than from the verifier's coin tosses. load replies (1)
bobbiechen|8 months ago This is an interactive example, isn't it? It doesn't help me understand non-interactive proofs like SNARKs/STARKs, where the verifier isn't communicating live with the prover. quantumgarbage|8 months ago Look for the "Fiat Shamir heuristic" to understand the non interactive part.It basically consists in the prover getting its random challenges from hashing public inputs, rather than from the verifier's coin tosses. load replies (1)
quantumgarbage|8 months ago Look for the "Fiat Shamir heuristic" to understand the non interactive part.It basically consists in the prover getting its random challenges from hashing public inputs, rather than from the verifier's coin tosses. load replies (1)
bobbiechen|8 months ago
quantumgarbage|8 months ago
It basically consists in the prover getting its random challenges from hashing public inputs, rather than from the verifier's coin tosses.