We educate people about cryptography, and apply techniques like formal verification to build verified primitives.