Resource machine backends¶
Transaction functions¶
Todo
Explain abstractly what a transaction function does.
Transaction functions are encoded with the standard function encoding.
The following transaction function virtual machines must be supported:
Resource logics¶
Todo
Explain abstractly what a resource logic backend does.
Resource logics are encoded with the standard function encoding.
The following resource logic virtual machines must be supported: