1. **Wasm memory access by host calls**. 2. Lookup argument / host calls 3. Unbounded memory consumption during UTXO lifetimes 4. **RISC-V**. 5. **Lattices**. 6. **Interleaving proofs**. * https://discord.com/channels/1325928330494476359/1325928332923244598/13772361665452441605. 7. **Yields inside member functions**. 8. Effects thrown inside constructors/destructors 9. **Permissioned tokens**. * https://discord.com/channels/1325928330494476359/1325928332923244598/1391844641623506945 10. **Stackful vs stackless coroutines** 11. Different step sizes per program 12. Proving trace comes from program 13. Update wasmi 14. Compatibility with wasm components and wasm packages 15. PCD vs IVC 16. Private variables and avoiding leaking information at yield points
