可檢查性需要身份證明。如果不知道輸出結果的創建者，就無法驗證其有效性。缺失的一環：將代理輸出結果與經過驗證的人類創建者聯繫起來的加密證明。