数字社会契约：迈向平等与公正数字社会的基础

近两个世纪前，皮埃尔-约瑟夫·蒲鲁东提出了社会契约——自由人之间的自愿协议——作为平等与公正社会得以萌生的根基。数字社会契约（digital social contract）是这一概念在数字时代的新颖化身：一种在人与人之间达成、于数字领域中被规定、践行并履行的自愿协议。它以最纯粹的形式体现了“代码即法律”的理念，因为数字社会契约实际上是一个程序——用社会契约编程语言写成的代码，规定了契约各方可采取的数字行动；且契约各方被平等地委以确保彼此遵守契约的任务。社会契约的参与方通过其公钥标识，而数字社会契约参与方唯一可采取的行动类型是“数字言语行为”——用其私钥对言说进行签名并发送给契约其他方。在此，我们给出数字社会契约的正式定义，将其视为通过加密言语行为异步通信的智能体，其中每个智能体的输出是所有其他智能体的输入。我们勾勒了一种社会契约编程语言的抽象设计，并通过编程示例表明，包括社会社群、简易共享经济应用、平等主义货币网络以及民主社群治理在内的关键应用领域，均可作为数字社会契约被优雅且高效地表达。