.--------------.
                                        | HACL*        |
                                  .-----| (formally    |----.
                                  |     | verified F*) |    |
                                  |     '--------------'    |
                                  |                         |
                                  v                         v
                           .-------------.           .-------------.
                           | HACL-C      |           | HACL-C-WASM |
          .-----------.----| (generated) |----.      | (generated) |
          |           |    '-------------'    |      '-------------'
          |           |           |           |             |
          v           |           |           |             |
  .--------------.    |           |           |             |
  | pyhacl       |    |           |           |             |
  | (new: tbd)   |    |           |           |             |
  '--------------'    |           |           |             |
          |           |           |           |             |
          |           |           |           |             |
          v           |           v           |             v
  .--------------.    |    .-------------.    |   .------------------.
  | pyeth/Python |    |    | Parity/Rust |    |   | cpp-eth/C++/Hera |
  |              |    |    |             |    |   |                  |
  '--------------'    |    '-------------'    |   '------------------'
                      v                       v
                 .---------.        .------------------.
                 | geth/Go |        | cpp-eth/C++/EVM1 |
                 |         |        |                  |
                 '---------'        '------------------'