> Zkps are just hashes that can hash the execution of code rather than hashing static data ("dynamic hashes"?)

That's actually a great intuitive explanation. I'm stealing that.