The notion of smart contracts might have a perfect use-case when it comes to setting up and maintaining infrastructure on AWS. E.g. something like "I want an Amazon RDS PostgreSQL instance with such and such specs. full daily backups and 99.999% uptime and I'm will to pay $xxxx for it". From there solution providers "bid" on the contract and are paid automatically on the basis of meeting the requirements of the contr…
That seems like the sticking point. Most likely, someone "fulfilling" the contract would try to fool the (publicly available) verification code, rather than actually providing a PostgreSQL instance. It would be hard to create a bulletproof, automated way of verifying that something is a fully functioning PostgreSQL instance with working backups. If verification code was shared across many contracts, any bug discovered in that code could allow someone to wipe out the entire market.