国外有哪些知名的做空机构？有什么风格和套路上的差异吗？国内什么时候能够放开做空[偷笑]不过我很担心万一真的放开，咱股市是不是得退市一小半