Self-governing self-certifying self-managing decentralized systems based on cryptography and automated reasoning.