Besides full ISA, we support additional machine configurations, e.g. for recursive verifiers.
We should design the support for it -- it should be possible to migrate the verifiers implementation to airbender-platform, but, at the same time, it shouldn't create inconvenience for "regular" users -- choosing reduced ISA is a very advanced choice, and thus should not be default, and, at the same time, the fact that we support it, should not affect "regular" user experience (e.g. we probably don't want to ask about the machine type in cargo airbender new, and instead have some flag that you need to pass via CLI, which will be explained in docs).
Besides full ISA, we support additional machine configurations, e.g. for recursive verifiers.
We should design the support for it -- it should be possible to migrate the verifiers implementation to
airbender-platform, but, at the same time, it shouldn't create inconvenience for "regular" users -- choosing reduced ISA is a very advanced choice, and thus should not be default, and, at the same time, the fact that we support it, should not affect "regular" user experience (e.g. we probably don't want to ask about the machine type incargo airbender new, and instead have some flag that you need to pass via CLI, which will be explained in docs).