Weißt du, wann risc-v gegen benutzerdefinierte zk ISA keine Rolle spielt? Wenn es niemanden interessiert, Beweise zu generieren. Hoffentlich ist das nicht der Fall =)