Port older examples to the new

### Packages versions

miden-vm 0.17.0

### Bug description

#228 introduced CI for the examples, but left some examples unported. See the older-examples README for a list:
https://github.com/0xMiden/examples/blob/5eed317a36f89546046618f8426f5c702362f3c9/older-examples/README.md

### How can this be reproduced?

_No response_

### Relevant log output

```shell

```

older-examples の README を確認して、移植されていない例のリストを確認してください。各例は、おそらく miden-vm 0.17.0 で動作するようにコードを更新する必要があります。#228 で導入された CI 構成を確認して、移植の要件を理解することから始めてください。成功とは、すべての例が CI テストに合格することを意味します。

索引モデルが issue の本文から書いたものです。