我目前正在制作一个将用于DVP的CordApp，但我无法理解一些关键概念。例如，我知道合同特别适用于一种类型的状态。我真正不明白的是合约验证逻辑是否应该仅适用于该状态对象或给定事务中的所有状态。典型的例子是发出卖单：交易的输入是发行人的股票账户的状态，输出是卖出订单和修改后的股票账户。基本上我的问题是我是否做这样的检查：我卖出的不超过我拥有的，卖出订单中的股票数量和账户中剩余的股票数量之和等于账户中的初始数量，......？
我已经遵循了Corda教程，但我仍然不清楚这个逻辑。
它归结为编排层（流或 API，用户打算做什么）与账本层（用户可以做什么。 IE - 保证共享逻辑）。
绝对必须遵守合约代码，因此在您的情况下，不能出售超过您拥有的将是显式合同的一部分。
这里的 CMN 指南帮助我概念化。
流最好被描述为业务逻辑，因此只要流遵守契约，就可以在流中实现任何事情。
安全考虑：任何人都可以创建流，并且他们同样能够在第三方流中使用任何资产（因此是状态）。正是相关合同确保您的资产用于您想象的目的，并且不会被恶意使用。