I've often wondered if this is possible. I bet there's an academic paper somewhere about zero-knowledge multi-lookups or something.