Computational Governance and Violable Contracts for Blockchain Applications
Munindar P. Singh, Amit K. Chopra · Computer · 2020
We propose a sociotechnical, yet computational, approach to building decentralized applications that accommodates and exploits blockchain technology. Our architecture incorporates the notion of a declarative, violable contract and enables flexible governance based on formal organizational structures, correctness verification without obstructing autonomy, and a basis for trust.