Zero Knowledge Proofs, Cryptography, Quantum Computing.
cases, which are hard to test. For instance, it is impossible to do exhaustive testing on all 2²⁵⁶ cases. Be attack resistant Even perfectly correct code is not enough. The code needs to be resistant to many different types of side-channel attacks, like timing attacks. Therefore it often needs to