3 ms·

> doesn’t mean they haven’t been improved on in some way. In what way specifically ?

• CryptoPunk 5y ago
  In that the specifications are formally specified, and thus can be objectively and automatically verified.
  • atoav 5y ago
    Like in any good contract.
  • Closi 5y ago
    > automatically verified The implementation can be formally written and verified, but the specification itself cannot be automatically verified. That's effectively what a contract is anyway - it's a specification for a 'legal agreement' which is this sort of invisible obligation that is created after it is signed (for instance, the time spent in contract negotiations is usually spent debating what should happen in edge-cases).
    • CryptoPunk 5y ago
      You're right, I meant automatically executed/enforced, without human involvement.