Exists officially as a pair of documents in the Eth2.0 specs
officially
Defines Constants, Types, Serialization, Deserialization, and Merkleization
Specifies Merkle Proof formats, including merkle multiproofs and sevral helper functions