Proofs, Arguments, and ZKPs with Justin Thaler
Zero Knowledge
The Tension Between Verification Costs and Security Level
There's a direct tension between verification costs and security level. The bigger the proof, the more computational effort should be required to produce a convincing proof of a false statement. There are ways to kind of push verifier costs under the prover through recursion or something called the fried blow up factor is another way you could do it.
00:00
Transcript
Play full episode
Remember Everything You Learn from Podcasts
Save insights instantly, chat with episodes, and build lasting knowledge - all powered by AI.
