Skip to content

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: