A former very smart high schooler explains the basics of Linea’s inner-proof system and why lattice-based hashing is so cool.