https://platoblockchain.com/plato-data/the-cryptographer-who-ensures-we-can-trust-our-computers-quanta-magazine/