I don't think you need the blockchain to post a verifiable, cryptographically signed proof of any theorem. A simple email is good enough for that.
Blockchains are append-only databases, sometimes (usually?) with 'slow' thrown in somewhere.
Blockchains are append-only databases, sometimes (usually?) with 'slow' thrown in somewhere.
That’s an app on top of the append only DB with some logic that either requires IRL groups to manage it, or a blockchain contract. I prefer the latter tbh!