ProofLedger.si
Four things to build on proofs anyone can check, in six parts.
Proofs you can check.
Machines now help write mathematical proofs, and proof assistants can check every step. A public ledger of checked proofs, and of other verified claims, would let anyone confirm a result without trusting its author. For a startup, “proof” and “ledger” in one name.
Every theorem, checked.
A library stores machine-checked proofs, each linked to the results it depends on.
Code proved correct.
A firm records proofs that critical software meets its specification.
Results with receipts.
Journals attach checked proofs and fingerprints of the data to the papers they publish.
Degrees that verify themselves.
Universities issue degrees as signed records that any employer can check in a second.
This name is waiting for its builder.
Everyone above is made up. The name is real, and it is for sale.
Those are only the uses we can picture. Someone who is a real innovator, a creative destroyer in Joseph Schumpeter’s sense, will see in this name something nobody has imagined yet, and build that instead.
It is priced on enquiry, with a reply inside one business day. Payment goes through independent escrow, and the name is pushed to your registrar, usually within 24 hours.
The end.
