INNER CODE UNIT · Rust

v

TheMaxMur/RS-Key · crates/rsk-bip39/src/lib.rs:49

            v = (v << 1) | bit(i * 11 + j);
            j += 1;
        }
        idx[i] = v;
        i += 1;
    }
    idx
}

/// The BIP-39 word for `index` (`0..2048`). Indices from [`entropy_to_indices`] are
/// always in range; an out-of-range index panics (a programming error).
pub fn word(index: u16) -> &'static str {
    WORDS[index as usize]
}

#[cfg(kani)]
#[path = "kani.rs"]
mod proofs;

View source record →