智能合约术语表

作者：Nick Szabo

Originally published in 1995

代理 (Agent)：一个人或一个组织，通常以一个真实名称或一个 nym 表征。以及由一个代理控制，以及代表一个代理进行行动的一个计算机程序。更一般而言，是一个 nym 与一个持续行为模式的结合，声誉基于此。注意，其不同于法律及商业定义上的 “代理”，但与经济学及计算机科学对该术语的使用更相当。

合约（ Contract ）：代理之间的一组 agreements 或承诺。

当事方（ Parties，aka Principals ）：就合约事项达成共识的代理（Agents who have agreed to the contracting question ）

第三方：就合约事项未达成共识的代理( Agents who have not agreed to the contract in question )

履行（ Performance ）：实现列于某特定合约中的承诺。

合同安全：一个组织间安全约定范例，基于两个声明：（1）组织间安全的主要目标是保护和强制合约的履行；（2）实现此目标后，最小化为确保该组织的履约，对声誉，外部强制执行以及其它因素的依赖。

合约 Key 分配（ Contractual Key Distribution ）：在个人和组织之间进行 keys 分配的一个范例，其中，key 分配和 certificate 结构反映了各方之间的合约约定。

协议（ Protocol ）：多代理之间的消息序列（ A sequence of messages between multiple agents ）。

智能合约：一组承诺，包括协议（ 在协议内，当事方执行其它承诺 ）。该协议通常通过计算机网络或其它数字电子设备上的程序来实现，这些合约比其基于纸张的祖先“更智能”。不默认使用人工智能。

Eve ：窃听者（ eavesdropper ）典型，其目的在于，找到合约及履约相关的有价值信息，其本身却非合约当事方。

Mallet：主动攻击者典型。其目标可能是窃取智能合约履约相关的一些价值，或是向合约当事方否认此。他可能是一个经济理性代理，纯粹出于个人私利；或可能是 Byzantine, a worst-case attacker ，其对一个或多个当事方造成最大可能损害，无论其个人损失多少。

中介（ Mediator ）：一种第三方，其被涉入智能合约当事方之间的实时协议，并受信拥有该合约的某些内容和/或履约情况信息。

仲裁员（ Arbitrator ）：一种第三方，其受信拥有某个合约的一些内容，一些履约历史，并受到合约当事方信任，来公平地解决合约引发的争议。

分拆（ Unbundling ）：信任分配原则（ The principle of distribution of trust ）。调解（ mediation ）和仲裁（ arbitration ）功能的分拆，可分离任务（ separates tasks ），分散风险，最小化脆弱性（ vulnerability ），降低可链接性，但通常以更大的复杂性为代价。

敌人（又名攻击者）：一种代理，其偏好可能导致另一个代理受到伤害；一种第三方，其影响某个合约的履行，进而损害一个当事方或当事双方。

对象：此处使用的对象通常指，任何种类的数字数据，其可以是 key ，证书（credential ），合约，程序或各种其他东西。

凭证（ Credential ）：由一个代理对另一个代理提出的一个声明（ claim ） 。

正面凭证：对某一个代理所做的一个声明，这个声明是该代理希望展示的，如某著名学校的一个学位。

负面凭证：对某一个代理所做的一个声明，这个声明是该代理不希望展示的，如很差的信用评级。

加密协议：一种使用数学原理和 keys 来实现智能合约目标的协议。

名字空间（ Name space ）：一组短标识符，其拥有简单句法，如电话号码，计算机可读互联网地址号码，人类可读域名等。

Chaumian credentials：一种加密协议，其用来证明，某人拥有其他 nyms 对其所做声明，而无揭示那些 nyms 之间的联系。

Is-a-person credential：在 Chaumian credentials 中，真名凭证（ true name credential ），其用以证明不可链接的 nyms 的联系，防止 nyms 在代理之间的转移。

Key ：模糊和控制焦点（ A focus of obscurity and control ）；来自一个名字空间的一个随机数，其范畴如此之大，以至很难进行幸运猜测。一个非对称 key pair 的公钥部分，也可用作一个 nym 。

验证（ Authentication ）：证明某人正在与某个拥有一个特定 key 的代理进行通信（ Proof that one is communicating with an agent that possesses a particular key ）。

Secret key (symmetric) cryptography：使用一个各代理间共享的 key ，进行拥有验证机制的机密通信（ Uses a key shared between agents to communicate with confidentiality and authentication ）。

Public key (assymmetric) cryptography： 使用两个 keys ，私钥和公钥。公钥用于加密对象和验证数字签名。私钥用于解密和签名对象，其通常由一个或多个 key holders 保密。允许分发 key 而不暴露该 key。

数字签名：基于公钥加密的加密协议，其证明对象正与对应于签名的私钥进行主动接触：该对象已被该 key 主动“签名”。其可能应被称为“数字戳记”或“数字封蜡”，因其功能更类似此，而非亲笔签名。

Bit commitment：数字签名的一种变体，其用于提交一个对象（如一个承诺或预测），而不显示该对象，直到之后。无观察地违反协议（ unobservably violate the protocol ），或在对象被提交后对其进行修改，是不可能的。

Digital bearer instruments： 由一个唯一 key 标识，由一个清算代理发行，清算和兑现（ redeemed ）的对象。当对象被转移后，受让人可请求清算代理验证，该 key 之前从未被清算过，然后发出一个新 key 。清算代理防止对特定对象进行多次清算，但被防止将特定对象与转移该对象的一个或两个清算nyms 相链接。这些工具有一个“在线”种类（ 可在每次转移时进行清算，因此其同时可验证和可观察），还有一个“离线”种类（ 可在不清算的情况下进行转移，但只有在最终清算时才可验证[通过显示多次转移过该对象的任何中间 holder 的任何清算 nym][一种违约])。清算代理的隐私，可采取受让人不可链接，转让人不可链接或“双盲”的形式，在双盲情况下，受让人和装让人都无法通过清算代理进行链接。数字现金是 digital bearer instrument 的一种流行形式。

本地性（ Locality ）： 与最了解某专业领域内交易的代理进行交易的即时性（immediacy ）（如通过 digital bearer instruments 的在线清算所提供的即时性）。

热备份：一种备份服务，其在当前服务失败后会联机。通常由 a dead-man switch 触发。

零知识交互式证明（ Zero-Knowledge Interactive Proof，ZKIP ）：一种加密协议，其可用以证明某个代理拥有一个 key（ 通过较弱暗示，其可用以证明，在其它情况，正常运行的，有动机对挑战做出恰当响应但未做到此的代理，不拥有该 key ），而无需透露有关该 key 的任何信息。当前用于身份验证( authentication )；在智能武器中，用于识别敌友（Identification Friend or Foe，IFF ）。

智能财产： 具有所需所有权特征的软件或物理设备，且这些特征被嵌入这些设备；如，通过零知识交互证明所展示，对于缺少某个 key 所有权的代理而言，相应设备的价值变得远远低得多。实施智能财产的方法可能包括， OND 以及用以阻挠对财产进行热线连接尝试的根深蒂固的固定或破坏性设备（ engrained immobilizing or destructive devices ）。

操作必需数据（ Operation Necessary Data，OND ）：智能财产操作所需数据。如，操作计算引擎所需的复杂专有点火序列，制造专用零件所需的 CAD 文件等。为了避免服务被盗，需要 ZKIP 打开设备的加密通道。为避免 OND 被泄漏给 Eve ，可在通道的设备端使用篡改检测和一个 dead-man switch 。

智能留置权：在各方之间共享对智能财产的控制权，通常两方为所有者和留置权持有者（ lien holder ）。该财产可能最接近为所有者所占有，或最接近为留置权持有者所占有，两者分别对应于普通法概念中的“工匠留置权”和“旅馆老板留置权”。可能会用于保护信贷额度，保险政策，及涉及智能财产的许多其他种类的合约。

证券：代表某个基本资产，如所有权份额（股票），或债权债务（债券，现金）。

依情况而定的合约（ Contingent contract ）：其包含这样一些条款——这些条款取决于世界某方或某国的选择（ depend on the choice of a party or a state of the world ）。 期权（ An option ）是其一个例子。

衍生品：看涨期权或看跌期权，期货或合成资产；此类合约衍生自基本底层证券。

合成资产：通过结合证券和其他衍生品而构造或“合成”的一种衍生品。借助精细的决策树，可高精度地计算复杂合成物的现金流（ Cash flows ）。

现金流：根据合同条款所产生的预期付款顺序（ expected sequence of payments ）。从现金流量可计算出合约的基本财务目标，如净现值（ net present value ）。

译注：与此重复部分，此处略去。

原文：https://nakamotoinstitute.org/smart-contracts-glossary/
作者：Nick Szabo
编译：东林