零知識證明，但適用於桌面。 我們可以證明這裡有一個文件，而不告訴你是哪一個。