Efficient Shuffling with Provable Correctness and ZK Privacy -- Searchable Encryption