论计算机程序作为货币的使用

比特币的支持者认为，分散化的法令意味着，由于银行对货币创造没有垄断，政府（控制银行）扣押个人比特币的风险较低，而且银行不能从交易成本中获得不公平的利润。与传统形式的货币相比，人们认为比特币被扣押的风险较低，这引起了犯罪分子的注意，并且比特币被用来购买非法武器、毒品等，这是出了名的（Ali等人，2014a）。比特币网络的当前费用往往少于交易的1%，这与传统在线支付系统的2%-4%相比（EBA（2014）-尽管比特币系统的边际成本更高（Ali等人，2014b）。尽管比特币系统无疑取得了成功，但它仍存在一些严重的缺点：交易缺乏真正的匿名性，难以扩展，以及破坏环境的POW方案。为了克服这些缺点，开发了新的加密货币，如Monero、Litecoin、Peercoin等。比特币通常被描述为“匿名”，但这是不正确的。比特币与现金类似，因为各方可以在不向第三方或彼此透露身份的情况下转移资金所有权。然而，特定比特币地址之间的交易可以追踪，因为它们是分类账的一部分，并且由于分类账是公开的，敌对代理人有机会使用网络分析等技术来确定比特币地址的所有者（Bohannon，2016）。比特币系统的一个根本弱点是，它不太可能扩展到处理世界上相当大比例的金融交易。

到目前为止，全球比特币交易量从未超过每天10万次，而仅欧洲每天的常规交易量就约为3亿次（EBA 2014）。扩大规模的一个关键困难是，矿工必须维护一个包含所有以前交易的公共分类账。当用于世界上相当大比例的金融交易时，这不太可能奏效，随着交易数量的增加，交易的边际成本可能会高于集中控制系统的成本（Ali等人，2014b）。然而，可以说比特币系统的最大缺点是POW系统的财务成本/环境破坏。这取决于CPU能力，以确保事务的不可逆转性，从而避免双重开支。已经开发了专门的软件和硬件来实现这一点，但比特币POW消耗的电力越来越大。POW方案的这一基本特征导致了权益证明（POS）方案的发展，旨在保护加密货币网络并实现分布式共识。POS方案的基础是要求用户证明对某种货币（股份）的所有权。也许比特币和相关加密货币成功的最重要方面是，它们激发了计算金融工具新软件工具的开发。这些新工具利用密码学、博弈论、人工智能等领域的发展，扩大了可能的货币形式的范围。我提议将货币技术从计算机数据扩展到通用计算机程序：程序货币。

这是货币日益抽象的自然终点：从硬件到数据再到程序。再也没有抽象和一般的货币形式了。尽管数据货币取得了巨大的成功：标准银行数据货币、电子货币、虚拟货币、加密货币等，但数据货币有限且不完全通用。它最大的局限性在于它只是数据，因此是被动的。我的意思是，它需要计算机程序来操作。这些程序创建资金、从帐户中添加/删除资金、在销售交易中转移资金、保护资金的使用等。程序资金为资金技术增加的关键优势是代理。项目资金是活跃的，因此可以作为独立的经济代理人充分参与经济活动。（我所说的“代理”是指技术计算机科学意义上的“代理是嵌入真实或人工世界中的任何实体，可以观察不断变化的世界并对世界执行操作”（Kowalski，2011））。有很多事情，人们可能希望钱去做，但目前很困难，因为钱是被动的。例如，在微观经济学中，将代理添加到货币中可能会确保货币只被合法使用，不会逃税等。这可以通过将纳税责任从（诚实/不诚实的）人类代理人转移到货币本身来实现。同样，在宏观经济学中的一个可能应用是使用计算机货币来控制通货膨胀或通货紧缩。这可以通过将货币供应的责任转移到货币本身来实现，直接将其编程为随时间增加或减少数量。

也可以设想不属于任何外部人力代理或公司的资金。这样做的一个动机是迫使经济体系表现得更加理性。项目资金的发展要求：1。计算语言/逻辑明确描述程序货币的行为和交互2。计算加密，确保只执行正确的操作和交互。3、一种分布式计算环境，资金可以在其中执行。我认为，由于所有这些的基本技术已经发展，将计算机程序作为货币使用不存在重大的技术障碍。我设想，程序货币的主要供应商和开发商将是国家政府，尽管与现有加密货币类似的私人程序货币也是可能的。各国政府拥有开发项目资金的最佳资源：正确规划其行动、加密和环境。他们还拥有必要的资源来强制执行正确的使用，并惩罚不当行为，就像他们目前对数据资金所做的那样。国家政府使用项目资金也将确保所有公民共享其优势。3.1指定计划资金的行动计划资金的行动将定义其内部计算和与其他代理的通信。编程货币可以完成大量潜在任务：交换所有权、遵守法律、形成有约束力的合同、谈判等。各个货币单位将具有不同的能力，但也包括标准能力和接口。

在编程这些任务方面已经做了大量的工作，我认为几乎所有程序资金所需的计算方法都已经开发出来了。例如，在业务流程语言领域投入了大量精力（Milli et al.，2010）。正如用于操纵数据货币的现有软件一样，有一个强大的财务激励来确保程序货币按预期工作，即其语义是正确的。理想情况下，项目资金的执行应该是可证明正确的。确保这一点的一种方法是利用某种形式的计算逻辑来提供声明性语义（Kowalski，2011）。两种特别适用的逻辑形式是道义逻辑和事务逻辑：道义逻辑涉及义务、许可和相关概念is（Gabbay D）；事务逻辑（transaction Logic，TR）[3]旨在提供一个理论上有基础的行为建模（a.J.Bonner和M.Kifer，1995）。所有的经济交易都应该是合法的，然而人类经济代理人并不总是遵守法律。项目资金可以被设计成始终遵守法律，从而严重限制人类代理人违反金融法律的能力。为了确保项目资金遵守法律，必须明确法律和项目资金的语义。这是可行的，因为已有大量关于使用计算逻辑来阐明法律实施的研究文献（例如Sergot等人，1986年）。

“计算法律系统利用法律、规则和法规中的术语之间的直接语义联系，以及由代理行为操纵的数字中介世界的模型，从而实现严格、正式的法律推理方法。”（Love&Genesereth，2005年）。尽管一些律师基于道德和民主的理由对计算法律系统的研究提出了批评（例如Leith，1986），但这些批评并不适用于使用逻辑来确保程序资金遵守法律。参与商业合同也将有利于项目资金。合同与法律相似，主要区别在于双方明确同意。商业合同用于规定签署方应承担的义务、许可和禁止，并说明在未满足任何规定协议时可能采取的行动或处罚（Goveratori&Rotolo，2004）。与计算法一样，已经对计算规范和合同执行进行了大量研究（例如，Szabo，1997；Goveratori&Rotolo，2004；Neal等人，2003；Miles等人，2010）。“智能合同”的概念由Nick Szabo（1997）提出，“智能合同将协议与用户界面相结合，以规范和保护计算机网络上的关系。这些系统的设计目标和原则源自法律原则、经济理论以及可靠和安全的协议理论”。

该概念强调了将成熟的合同法实践与互联网上电子商务协议的设计相结合的目标3.2计划货币的加密世界当前的金融系统基于法定数据货币，因此其完整性依赖于计算加密。需要计算密码学来确保数据货币的安全性、按需可用性、数据货币交易的不可否认性等。计算密码学对于加密货币也是必不可少的。程序资金也将依赖于计算密码学的完整性。现代密码学建立在信息论和复杂性理论的双重基础上：一个秘密是安全的，要么是因为对手没有足够的信息来破解它（例如一次性密码），或者是因为对手没有足够的计算资源来破坏它（例如RSA加密）（Lewis&Papadimitriou 1981；Goldreich&Wigdesson，2008；Katz&Lindel，2014）。复杂性理论是较弱的基础，因为它不太容易理解，一次性PAD总是安全的，但P=NP的发现会引发金融危机（Cook，2000）。金融密码学是密码学中一个庞大而蓬勃发展的分支，其基本目标是：“构建能够保持其所需功能（规则、隐私要求等）的金融系统，即使面对恶意计算企图使其偏离此功能”（Goldreich&Wigdesson，2008；Katz&Lindel，2014）。程序货币所需的几乎所有金融加密方法都已为电子数据货币开发。

两个最基本的密码要求是永久性和安全通信。永久性确保程序资金不会被外部恶意代理篡改，例如更改所有权、更改代码执行等。使用防篡改代码，可以同时检测程序是否已被更改（Collberg，2002；Arnold，et al.，2003）。实现防篡改的可能方法有数字指纹、程序检查等（Collberg，2002）。建议程序资金通过释放其值（归零）或通过向机构发送消息来应对试图篡改的行为。这种自毁技术用于保护武器中使用的软件（Arnold等人，2003年）。由于代码可能在未经授权的机器上运行，消除对程序金钱代码的干扰的要求变得复杂——“恶意主机攻击”（Collberg，2002）。该风险由程序资金0的计算环境降低，见下文。与数据资金一样，复制和多次花费程序资金可能非常容易：“双重支出问题”。已经提出了许多解决这一问题的方案。从技术上和政治上讲，最简单的方法是建立一个在线中央可信机构，它可以验证是否存在多个签名货币副本。或者，围绕比特币系统的大部分兴奋之处在于其分类账系统，它避免了双重支出问题（Nakamoto，2009；Ali et al，2014a；Antonopoulos，2014）。项目资金必然需要与其他经济机构进行沟通。这种通信需要安全，以避免被误导到不正确的行为中。

确保代理之间的通信安全是密码学中最古老、最基本的问题，关于这一问题有大量文献，例如Goldreich&Wigdesrson，2008；Katz&Lindel，2014年。计划资金安全通信中的一个重要因素是使用加密签名，这些加密方案旨在证明消息或文档的真实性（Katz&Lindel，2014）。有效的数字签名向接收方提供证据，证明该消息是由已知发送方创建的（身份验证），发送方不能否认已发送该消息（不可否认性），并且该消息在传输过程中未被篡改（完整性）。加密签名将由程序资金用于代理之间的所有权转移等任务。许多电子签名协议已经存在，其中大多数基于公钥加密的使用（Rivest等人，1978年；Goldreich&Wigdesrson，2008年；Katz&Lindel，2014年）：例如，中央银行使用其私钥“签名”计算机货币（fiat），客户和商户可以使用银行的公钥验证签名的货币。项目资金可以设计为可识别或不可识别。通过可识别的货币，可以追踪整个经济体中的特定金融互动。这种识别很容易通过每次涉及交易时的货币报告程序实现。大多数现有数据都是可识别的。可识别性将简化项目资金的实施，并有助于确保法律得到遵守，但它也会引发隐私问题。

某些形式的电子货币是不可识别的，例如通过使用盲签名，在签名之前隐藏（盲）信息的内容（Chaum，1983）。比特币的吸引力很大一部分是基于其不可识别的信念。然而，随着每一笔交易都被记录下来，比特币用户必须使用额外的加密技术来避免识别（Bohannon，2016）。一些较新形式的加密货币，如Monero，试图通过减少可识别性来改进比特币。各国政府通常反对使用无法辨认的货币，理由是这些货币很容易被用于非法交易。由于程序货币可以访问它所涉及的交易，并且可以对其进行推理，因此与现有的不可识别电子货币不同，有可能实现拒绝非法交易的不可识别货币。3.3。执行计划货币的环境货币的本质是经济互动中代理人之间的信任转移。有了程序资金，这些交互将在专门设计的计算环境中进行，程序资金的成功在很大程度上取决于该环境的合理设计。在设计这种环境时，需要应用计算博弈论，以确保代理人的预期行为符合其经济优势（Nisan等人，2007年）。互联网将提供基础设施，以互连运行该计划的硬件。密码学将确保程序资金的各个实例能够安全地相互通信。当然，程序资金将在物理计算机上执行。