Verifiable distributed systems (of machines) and organizations (of humans).
Currently, there are no issues on this topic. Create one.