		Search-engine friendly clone of the ACL2 documentation.

Bip39

Bitcoin Improvement Proposal (BIP) 39.

This is described at this page in the bitcoin/bips repository on GitHub, linked from Page `BIP 0039' of [Wiki]. We refer to the document at the first URL as `[BIP39]' in the documentation below.

Chapter 5 of the ``Mastering Ethereum'' book has some informative illustrations of BIP 39.

*bip39-english-words*: English wordlist for BIP 39.
Bip39-mnemonic-to-seed: Turn a mnemonic string into a seed.
Bip39-entropy-to-word-indexes: Turn an entropy value into a list of word indexes.
Bip39-entropy: Entropy values.
Bip39-word-indexes-to-words: Map each 11-bit index to a word from the predefined wordlist, which consists of 2,048 words.
Bip39-words-to-mnemonic: Turn a list of mnemonic words into a single string, i.e. the mnemonic.
Bip39-entropy-to-seed: Turn an entropy value into a seed.
Bip39-entropy-to-mnemonic: Turn an entropy value into a mnemonic.
Bip39-english-words-bound-p: Check if all the strings in a list have a length less than or equal to 8, which is the maximum length in the English wordlist.
Bip39-entropy-size-p: Possible sizes of the entropy in bits.