论文标题
容忍缺陷的分布式销售 - 数字社会合同的实施
Fault-Tolerant Distributed-Ledger Implementation of Digital Social Contracts
论文作者
论文摘要
一份同伴论文定义了数字社会合同的概念，为社交合同编程语言提供了设计，并通过示例社会合同证明了其潜在的实用性。设想的设置由具有真实标识符的人组成，这些识别符是独特而奇异的加密密钥对，这些密钥对操作了在其移动设备上识别的软件代理。数字社会合同的抽象模型由一个过渡系统组成，该过渡系统指定并发，非确定性的异步药物，该代理通过执行数字语音行为在共享的分类帐上运行，而数字语音行为是密码签名的依次签名数字动作。在这里，我们解决了在存在错误的代理下的数字社会合同的分布式 - LEDGER实施：我们介绍了容忍缺陷的分布式 - ledger过渡系统的设计，并表明它实现了抽象的数字社会合同模型，并讨论了其对错误代理的弹性。 The result is a novel ledger architecture that is distributed with a blockchain-per-person (as opposed to centralized with one blockchain for all), partially-ordered (as opposed to totally-ordered), locally-replicated (as opposed to globally-replicated), asynchronous (as opposed to globally-synchronized), peer-to-peer with each agent being both an actor and a validator (as opposed to拥有敬业的矿工，验证者和客户），环保（与环保的工作证明相反），自给自足（与能源证明的工作证明或资本证明证明）和平均股票证明（与统治者的工作证明与统治者和企业相反）。
A companion paper defined the notion of digital social contracts, presented a design for a social-contracts programming language, and demonstrated its potential utility via example social contracts. The envisioned setup consists of people with genuine identifiers, which are unique and singular cryptographic key pairs, that operate software agents thus identified on their mobile device. The abstract model of digital social contracts consists of a transition system specifying concurrent, non-deterministic asynchronous agents that operate on a shared ledger by performing digital speech acts, which are cryptographically-signed sequentially-indexed digital actions. Here, we address the distributed-ledger implementation of digital social contracts in the presence of faulty agents: we present a design of a fault-tolerant distributed-ledger transition system and show that it implements the abstract shared-ledger model of digital social contracts, and discuss its resilience to faulty agents. The result is a novel ledger architecture that is distributed with a blockchain-per-person (as opposed to centralized with one blockchain for all), partially-ordered (as opposed to totally-ordered), locally-replicated (as opposed to globally-replicated), asynchronous (as opposed to globally-synchronized), peer-to-peer with each agent being both an actor and a validator (as opposed to having dedicated miners, validators, and clients), environmentally-friendly (as opposed to the environmentally-harmful Proof-of-Work), self-sufficient (as opposed to the energy-hogging Proof-of-Work or capital-hogging Proof-of-Stake) and egalitarian (as opposed to the plutocratic Proof-of-Work and Proof-of-Stake).
