Rlp-encoding
RLP encoding.
We specify RLP encoding via functions
from byte arrays, trees, and scalars
to byte arrays.
These functions closely correspond to the ones in [YP:B].
They are high-level, yet executable.
We also define valid RLP encodings, as images of the encoding functions.
These are declaratively defined, non-executable predicates.
Subtopics
- Rlp-encode-tree
- RLP encoding of a tree.
- Rlp-encode-bytes
- RLP encoding of a byte array.
- Rlp-scalar-encoding-p
- Check if a byte array is an RLP encoding of a scalar.
- Rlp-bytes-encoding-p
- Check if a byte array is an RLP encoding of a byte array.
- Rlp-tree-encoding-p
- Check if a byte array is an RLP encoding of a tree.
- Rlp-encode-scalar
- RLP encoding of a scalar.
