Free functions
| read_n_bytes | Reads n bytes from a byte array starting from a given index. Requirements:… |
| to_byte_array | Converts a value to a byte array with a given base and padding. Requirements:… |
| hash_byte_array | Returns a unique hash given a ByteArray. The hash is computed by serializing the data into a span of felts, and then hashing the span using the Pedersen hash algorithm. |