• Top
    • Documentation
    • Books
    • Boolean-reasoning
    • Projects
    • Debugging
    • Std
    • Proof-automation
    • Macro-libraries
    • ACL2
    • Interfacing-tools
    • Hardware-verification
    • Software-verification
      • Kestrel-books
        • Crypto-hdwallet
          • Command-error
          • Sign
          • Init-from-mnemonic
          • Command-error-message
          • Stat
          • Next-key
          • Init-from-entropy
          • Process-command
          • Transaction-message
          • Maybe-command-error
          • Maybe-stat
          • Check-stat-file-present
          • Valid-key-path-p
          • String-to-byte-list
          • Load-stat
          • Mnemonic-message
          • Process-sign
          • Process-init-from-entropy
          • All-valid-key-paths-p
          • String-to-word
          • String-to-nat
          • Process-next-key
          • Wallet
          • Process-init-from-mnemonic
          • Check-stat-file-absent
          • Stat-wfp
          • Save-stat
          • Stat-addresses-bounded-p
          • Stat-all-valid-key-paths-p
          • Stat-priv-keys-p
          • Stat-root-depth-zero-p
          • Stat-path-prefix-in-tree-p
          • Crypto-hdwallet-executable
          • *stat-filepath*
          • *key-path-prefix*
          • *coin-type-index*
            • *purpose-index*
            • *external-chain-index*
            • *command-name-init-from-mnemonic*
            • *command-name-init-from-entropy*
            • *account-index*
            • *command-name-sign*
            • *command-name-next-key*
          • Apt
          • Error-checking
          • Abnf
          • Fty-extensions
          • Isar
          • Kestrel-utilities
          • Soft
          • Bv
          • Imp-language
          • Event-macros
          • C
          • Java
          • Bitcoin
          • Ethereum
          • Yul
          • Zcash
          • ACL2-programming-language
          • Prime-fields
          • Json
          • Syntheto
          • File-io-light
          • Number-theory
          • Cryptography
          • Lists-light
          • Builtins
          • Axe
          • Solidity
          • Helpers
          • Htclient
          • Typed-lists-light
          • Arithmetic-light
        • X86isa
        • Axe
        • Execloader
      • Math
      • Testing-utilities
    • Crypto-hdwallet

    *coin-type-index*

    The coin type index of the paths to the address keys of the wallet.

    This is the index 60', for the Ethereum mainnet.

    Definition: *coin-type-index*

    (defconst *coin-type-index*
  (+ 60 (expt 2 31)))