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.

中文翻译：

---

区块链应用的计算治理和违反合同

我们提出了一种社会技术但计算方法来构建适应和利用区块链技术的去中心化应用程序。我们的架构融合了声明式、可违反合同的概念，并支持基于正式组织结构的灵活治理、不妨碍自治的正确性验证以及信任基础。