相关概念
Transactions
概括
更新账本的提议。
只有在以下情况才会提交交易提案。
（1）不包括双花；
（2）他需要满足合约；
（3）交易需要交易的相关方进行签名。
概述
Corda使用UTXO（未花费的交易输出）模型，其中账本上每个状态都是不可变的，账本通过应用交易随着时间的推移而演变。交易通过零个或者多个现有账本状态标记为input并产生零个或者多个output来更新账本。
例如
一笔交易可以包含任意数量的任何类型的输入、输出和引用。
他们可以包括许多不同的状态类型；
它们可以是发行（零输入）或退出（零输出）；
他们可以合并或拆分可替代资产（例如，他们可以将 2 美元的状态和 5 美元的状态合并为 7 美元的现金状态）。
交易是原子的，要么接收所有交易提议的更改，要么不接受。
提交交易
最初，交易只是更新分类账的提议。他代表了交易构建者想要的账本未来的状态。
要成为现实，交易必须从所有必须的签名者哪里获得签名，每个必须的签名者将他们的签名附加到交易中，以表明他们批准了该提案。
如果收集到所有必须的签名，交易将被提交。
这意味着：
交易的输入被标记为历史，不能用于任何未来的交易；
交易的输出成为当前状态的一部分。
交易的有效性
如果以下两个条件成立，每个必须的签名者只应签署交易。
交易有效性
（1）交易由所有需要的各方进行数字签名；
（2）交易在合约上有效。
交易的唯一性
不存在其他以提交的交易消耗了当前提交的交易的输入。
公证人
公证人是一种网络服务，通过证明对于给定交易，它尚未签署消耗任何提议交易输入状态的其他交易，从而提供唯一性共识。
注意：如果公证实体不存在，则交易根本不会经过公证。这适用于不消费任何其他状态的发行、创世交易。因此不能双花任何东西。
更多请参考 官方文档。