Skip to content

Latest commit

 

History

History
9 lines (6 loc) · 513 Bytes

kind.md

File metadata and controls

9 lines (6 loc) · 513 Bytes

Kind

Resources are of specific kind. An apple resource 🍏 is different from a banana resource 🍌. The resource kind determines the resource fungibility and is computed as the hash of its logic and label.

$$ \texttt{kind} := h_\texttt{kind}(\texttt{logic},,\texttt{label}) $$

The kind is used to check if transactions are balanced and is a requirement by the resource machine for a transaction to be executable.