(The Idea of Smart Contracts)智能合约
智能合约
Copyright(c)1997 by Nick Szabo
未经许可，严禁转载
“安全”的意义和概念是什么？它和我们的关系有什么相关？我认为我们之间的关系——尤其是合约——为理想安全提供了蓝图。
许多合同条款（例如担保，绑定，产权划分等等）都可以嵌入到我们身边的硬件和软件里，这也导致了违约者违反合约的代价是很昂贵的（如果如愿的话，有时会高到令人发指）。一个真实的案例，这个案例可以被认为是最早的智能合约的祖先，就是微不足道的自动售货机。在有限的潜在的损失里（贩卖机里的钱少于违反机制的钱），机器接收硬币，并通过一个简单的机制，which makes a freshman computer science problem in design with finite automata, dispense change and product according to the displayed price。自动贩卖机和持币人之间产生合约：任何持有硬币的人都可以参与到和贩卖机交换的过程中。上锁的箱子和其他安全机制保护存储的硬币和内容不受攻击者的攻击，有效地保证了贩卖机在广大领域的发展。
智能契约超越了自动售货机的范畴，提出将契约嵌入到各种有价值的、由数字手段控制的财产中。Smart contracts reference that property in a dynamic, often proactively enforced form, and provide much better observation and verification where proactive measures must fall short。
另外一个一个例子，假设一个汽车数字安全系统。智能合约设计策略建议我们依次细化安全协议，使其更充分地嵌入到处理它的契约条款中。这些协议将根据合同条款，将操作该财产的加密密钥的控制权交给合法拥有该财产的人。在最直接的实现中，除非与合法的所有者一起完成质询-响应协议，这可以防止汽车被盗，否则汽车将无法被使用。
如果汽车被用来贷款，以这种传统措施实施的强力安全措施会让债权人头疼——回收的人将不能没收赖账的汽车。为了解决这个问题，我们可以创建一个智能留置权协议:如果所有者不付款，智能合同将调用留置权协议，该协议将汽车钥匙的控制权返还给银行。这比回收的人更加便宜并且更加有有效。进一步的物质化可以证明，当贷款还清时，留置权将被取消，同时也可以说明困难和操作异常。例如，当汽车在高速公路上行驶75英里时，取消对它的操作是不礼貌的。
在这个过程中,我们已经从一个逐次改进原油安全系统具体化的合同：
（1）一种有选择地让所有人进入，并驱逐第三方的锁；
（2）一个后门让债权人进来；
（3a）债权人后门只有在一段时间内不付款时才会开启；
（3b）最后的电子支付永远关闭了后门。
成熟的安全系统会对不同的合同承担不同的行为。继续我们的例子，如果汽车合同是一个租赁合同，最终的付款将关闭承租人的访问;对于赊购，它将关闭债权人的使用权。一个安全系统，通过不断的重新设计，越来越接近合同的逻辑，合同管理的权利和义务，包括对象，信息，或被保护的计算。质量上不同的合同条款以及财产上的技术差异导致需要不同的协议。
(摘自Nick Szabo的《公共网络关系的正规化和安全》)(Derived from "Formalizing and Securing Relationships on Public Networks" , by Nick Szabo）相关文章讨论了用于分析合同和指定智能合同的正式语言。