零知识证明，但适用于桌面。 我们可以证明这里有一个文件，而不告诉你是哪一个。