标题： 关于使用计算机程序作为货币 显示英文标题

标题： On the Use of Computer Programs as Money

摘要： 货币是一种促进经济繁荣的技术。 历史上，货币变得越来越抽象，它曾经是实物，如硬币和金币，现在主要是软件，位于银行中的数据结构。 这里我提出了货币抽象的逻辑结论：将最普遍的信息形式——计算机程序用作货币。 使用程序作为货币（程序货币）为货币技术带来的关键优势是代理能力。 程序货币是主动的，因此可以作为经济代理完全参与经济活动。 我描述了实现程序货币所需的三种基本技术：用于明确描述程序货币的行为和交互的计算语言/逻辑；用于确保只执行正确的行为和交互的计算密码学；以及程序货币可以执行的分布式计算环境。 我证明了大部分程序货币的技术已经开发完成。 程序货币的采用将责任从人类经济代理转移到货币本身，并且相比当前被动形式的货币具有巨大的经济优势。 例如，在微观经济学中，给货币添加代理能力将简化所有权的交换，确保货币仅被合法使用，自动化合同的谈判和形成等。 在宏观经济学中也存在类似的优点，例如货币供应量的控制可以从中央银行转移到货币本身。 还可以设想一种不被任何外部人类代理或公司拥有的货币。 一个动机是迫使经济系统表现得更加理性和/或更像特定的经济理论，从而提高经济预测的成功率。 显示英文摘要

摘要： Money is a technology for promoting economic prosperity. Over history money has become increasingly abstract, it used to be hardware, gold coins and the like, now it is mostly software, data structures located in banks. Here I propose the logical conclusion of the abstraction of money: to use as money the most general form of information - computer programs. The key advantage that using programs for money (program-money) adds to the technology of money is agency. Program-money is active and thereby can fully participate in economics as economic agents. I describe the three basic technologies required to implement program-money: computational languages/logics to unambiguously describe the actions and interactions of program-money; computational cryptography to ensure that only the correct actions and interactions are performed; and a distributed computational environment in which the money can execute. I demonstrate that most of the technology for program-money has already been developed. The adoption of program-money transfers responsibility from human economic agents to money itself and has great potential economic advantages over the current passive form of money. For example in microeconomics, adding agency to money will simplify the exchange of ownership, ensure money is only used legally, automate the negotiation and forming of contracts, etc. Similar advantages occur in macroeconomics, where for example the control of the money supply could be transferred from central banks to money. It is also possible to envisage money that is not owned by any external human agent or corporation. One motivation for this is to force economic systems to behave more rationally and/or more like a specific economic theory, thereby increasing the success of economic forecasting.