Zero Knowledge cover image

Proofs, Arguments, and ZKPs with Justin Thaler

Zero Knowledge

00:00

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.

Transcript
Play full episode

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app