Why making crypto proofs shorter might actually make them weaker (and how to know for sure)

Shrinking a security fence sounds efficient until you prove the smaller fence really keeps bad actors out at the same cost.

This means cryptographers are wrestling with hard tradeoffs between speed and provable security — and discovering fundamental limits on what shortcuts we can safely take.