设想
State1->Flow1->State2 (State1 is input and State2 is output)
State2->Flow2->State3 (State2 is input and State3 is output)
在 Flow2 中,State2 是唯一的输入状态,但 Flow2 的 Initiator 部分包含对 State1 属性的检查(通过从账本中查询)。
询问
Flow2 的发起者是否有可能绕过该检查进行欺诈?如果是,那么如何预防?
[请注意,检查在 State1 上,它不是 Flow2 的输入状态,否则可能会在 Flow2 的相关合约中放置额外的检查以防止欺诈。]