This is awesome. Average College Professor level tweet: “The ontological status of cryptographic proof is not merely a theoretical concern, but an empirical reality.”