Знаешь, когда risc-v против кастомного zk ISA не имеет значения? Когда никому не интересно генерировать доказательства. Надеюсь, это не так =)