There are a few online lockscreens which are extremely similar to the default MIUI one. I have one called "v4" which I downloaded ages ago (I might have even downloaded it from somewhere on this site). It seems to perform much, much better than the default lockscreen which comes with MIUI...