		Search-engine friendly clone of the ACL2 documentation.

Bitcoin

Base58

Base58 encoding and decoding.

Base58 encoding is described in Page `Base58Check encoding' of [Wiki]; Base58 encoding is part of Base58Check encoding. Base58 encoding is also described in Section `Base58 and Base58Check Encoding' of Chapter 4 of [MB]. [WP] does not mention Base58 encoding.

Base58 decoding is the inverse of Base58 encoding.

Subtopics

Base58-encode: Turn a list of bytes into the corresponding list of Base58 characters.
Base58-decode: Turn a list of Base58 characters into the corresponding list of bytes.
Base58-character: Base58 characters.
Base58-value: Base58 values.
Base58-val=>char: Turn a Base58 value into the corresponding character.
Base58-vals=>chars: Lift base58-val=>char to lists.
Base58-chars=>vals: Lift base58-char=>val to lists.
Base58-char=>val: Turn a Base58 character into the corresponding value.
*base58-characters*: List of characters used in Base58 encoding.
Base58-value-list: True lists of Base58 values.
Base58-character-list: True lists of Base58 characters.
*base58-zero*: Character that encodes 0 in the Base58 encoding.