4 ms·
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
by baq 3y ago
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.
- eddtries 3y agoFirst person to submit a mechanised proof gets the payout to the address that submits the code? People can pool money into a pot? No one manages the funds individually and on a set date funds return to senders? 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!