я правильно понимаю, что с помощью interface types можно описать контракт и безопасно запускать любой wasm модуль соблюдающий этот контракт. Например описать контракт биржевого бота, дать его клиентам, они на их любимом языке напишут логику, скомпилят в wasm и пришлют уже готовый модуль. А мы сможем гарантированно безопасно и легковесно запустить его на шине данных(поток торговых пар).
Простите за поток мыслей, пытаюсь сформулировать правильно.