Summary Digital Social Contracts A Foundation for an Egalitarian and Just Digital Society arxiv.org
11,588 words - PDF document - View PDF document
One Line
The article proposes digital social contracts to establish a just and autonomous digital society based on voluntary agreements.
Slides
Slide Presentation (9 slides)
Key Points
- Digital social contracts are proposed as a means to establish a self-governed and fair society in the digital realm.
- Mark Zuckerberg's vision for Facebook as a global community lacks individual rights and responsibilities.
- Digital social contracts consist of voluntary agreements among individuals in the digital realm.
- Agents in digital social contracts are connected through reliable communication and can perform digital speech acts.
- The design of a social contract programming language involves using an internal state for each agent.
- Digital social contracts have the potential to create a fair and egalitarian digital society.
- A cooperative platform could eliminate the need for middlemen like Airbnb by allowing tourists and room owners to own and operate the platform themselves.
- The operational semantics of Social Contract Programming Language (SCPL) and the transition system for Social Contract with a Distributed State (SCDS) are discussed.
Summaries
22 word summary
This article introduces digital social contracts as a way to create a fair and self-governed digital society through voluntary agreements among individuals.
44 word summary
This article proposes the concept of digital social contracts as a means to establish a self-governed and fair society in the digital realm. Digital social contracts are voluntary agreements among individuals in the digital realm. It assumes computational hardness of the public-key system to
563 word summary
Digital Social Contracts: A Foundation for an Egalitarian and Just Digital Society This article proposes the concept of digital social contracts as a means to establish a self-governed and fair society in the digital realm. A digital social contract is a voluntary
Mark Zuckerberg's vision for Facebook as a global community lacks individual rights and responsibilities, viewing users as a means to profit. This article presents an alternative perspective, proposing the concept of digital social contracts. These contracts are voluntary agreements among individuals in the digital realm
In the context of digital social contracts, agents are referred to as "it" and are identified by their genuine public identifiers. Computational hardness of the public-key system is assumed, ensuring that signatures cannot be produced without the corresponding private key. Agents are connected
A strict morphism is an implementation where every transition of the implementing system is mapped to exactly one transition of the implemented system. Digital social contracts consist of a set of agents connected through reliable communication. Agents can perform digital speech acts and receive messages. A
A history is a finite sequence of acts denoted by h, where each act is represented by m and belongs to the set M. Consistent histories are pairs of histories that agree on the subsequences signed by each agent. A ledger in a digital
In this excerpt, the authors discuss transitions and soundness in a digital social contract. They define transitions as pairs of ledger states and describe input, output, and sound transitions. The authors also introduce the concept of a closed set of transitions, which can
The text discusses the design of a social contract programming language. It explains that an agent in a social contract can take actions based on its history and receive actions from others. The design of the programming language involves using an internal state for each agent, which
In this document, the authors discuss the concept of digital social contracts and their role in creating a fair and egalitarian digital society. They introduce the syntax and rules of social contract programming language (SCPL), which includes input and output rules. The authors
In this excerpt, the author discusses digital social contracts and their application in a hypothetical scenario involving hosts and tourists. The process begins with the tourist making a room reservation request to the host. If the request is granted, the tourist checks in and checks out
A cooperative platform could eliminate the need for a middleman like Airbnb by allowing tourists and room owners to own and operate the platform themselves. The issue of shared autonomous agents, or smart contracts, will be discussed in a separate paper. The details of programming
The excerpt discusses the operational semantics of SCPL (Social Contract Programming Language) and the transition system for SCDS (Social Contract with a Distributed State). It introduces the transition function, addressed message store, distributed state configurations, and SCDS transitions. The
Proof. Case 1 is unique if defined due to explicit output-nondeterminism, while case 2 is well defined thanks to input-determinism and input closure. The SCDS transition system corresponding to an SCPL program consists of all pairs
The document discusses the concept of digital social contracts and their role in creating an egalitarian and just digital society. It references various works and theories, including blockchain disruption and smart contracts, the security and performance of proof of work blockchains, the concepts of