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