Looking at ethereum difficulty as an indicator it looks like current global mining is down around 11% from its peak, to where it was in mid-April.