VI · Cryptographic foundations
One-way functions
What it is
f(x) is easy to compute, f⁻¹(y) is computationally infeasible. The conjectural foundation of all asymmetric crypto.
Where it lives
Hash functions, password verification, every digital signature scheme.
The key insight
No one has proven they exist (P ≠ NP would imply it). The whole field operates on the assumption.