相关概念

Contracts

概括

• 如果交易的所有输入和输出state均符合合约，则该交易在合约上是有效；

• 合约是用java或kotlin编写的；

• 合约执行是确定性的。

交易验证

交易只有在所有必须的签名者都进行了数字签名时才有效，然而，即使交易收集了所有必须的签名，它也只有在合约上有效才有效。

合约的有效性定义

• 每个交易状态指定一个合约类型；

• 一个合约需要一个交易作为输入，并指出根据合约的规则的交易是否被认为是有效的；

• 交易只有在每个输入状态和每个输出状态的合约都认为他有效才有效。

更多请参考 官方文档。