If you're gonna change your VM for zk efficiency, pick an actual zk efficient VM rather than another general purpose one.

@VitalikButerin have you looked at @0xMiden VM, for example?