智能合约拥有可以大大减少许多商业交易欺诈和执法成本的潜力。数字现金协议使用了几个来源于密码学和计算机科学领域里新近发展的重要基础技术。大部分技术还没有被广泛地利用到促进这些合约安排,但是前景广阔。
这些副协议族包括拜占庭协议 Byzantine agreement,对称性和非对称性加密 Symmetric and asymmetric encryption,数字签名 Digital signatures,盲签名 Blind signatures,分割与选择 Cut & Choose,比特承诺 Bit commitment,秘密分享 Multiparty secure computations, secret sharing,不经意传输 Oblivious transfer,多方安全计算 Multiparty secure computation。
所有这些协议,除第一个,都在 [3] 里有描述。
智能合约设计在合同法、经济学、合同起草策略上的结果很少被探索研究,反之亦然。除此之外,我怀疑能够大大减少执行某些合约的交易成本的可能性和在智能合约上创造新商业和社会机构的机遇虽然是巨大的,但是也很少被研究过。
「密码朋克」Cypherpunks [4] 探索了一些新基石式协议的政治影响。在电子数据交换 EDI:Electronic Data Interchange 领域,传统商业交易元素(发票、收据等)的电子化交易,有时候包括加密、数字签名这些功能,可以被视为智能合约早期先行者。实际上,这些商业形式为智能合约设计者提供了很好的出发点和杀出了一条通道。
智能合约其中一个被传统电子数据交换 EDI 所忽视的重要任务是对参与方之间交易时的语义进行交流。智能合约在「智能保留条款」里有足够的机遇:软件可以对交易的一方做手脚。
如杂货店 POS 刷卡机没有告诉顾客们他们的名字与他们的购买行为在数据库里是否绑在一起,职员甚至也不知道,在自己的眼皮底下他们处理了成千上万这样的交易。结果,通过隐藏的软件操作,顾客就这样把对他们有价值的、私密的资料给出去了。但是合同已经是起草好的,交易本身也已经是设计好的,通过这样的方法,对顾客隐藏了交易的重要部分。
为了使交易语义交流得更好,我们需要一些通俗的可视化比喻对合约元素作出解释。这些措施将导致隐藏了协议的细节方面,但是没有失去对合约条款的认知和执行的控制。
发生在早期却是一个很好的例子是非赢利性组织 CommerceNet 开发的 SecureMosiac 软件所提供的功能。把文档放进信封里,往文档或信封上盖印章进行数字签名,如此达成加密。另一方面,Mosaic 服务器在没有警醒用户的情况下记录着联系,有时甚至是交易本身。这是典型的隐藏行为。