...
Input: available factor, potentially money covering the costs
Output: fcator factor handover record
V_CHECK_PROOF Local Check of the Presented Proof
...
...
Input: available factor, potentially money covering the costs
Output: fcator factor handover record
V_CHECK_PROOF Local Check of the Presented Proof
...