什么是 verifier 的 view ？
verifier 的 view 包括什么？
• 收到的量子态（如果有）
• 所有测量结果
• 所有 challenge / 随机性
• 最终输出
在我的方案中
view ≈ 随机基 r + 测量结果 y + 最终输出
所以 verifier 就能看到 view （看到他要知道的一切）
真实情况下
Prover(|ψ(w)⟩) ↔ Verifier
↓
view_real
这里的 view_real 依赖 w
但是我需要 verifier 不知道|ψ(w)⟩
模拟 Sim 情况下
Sim(x)
↓
view_sim
Sim 不知道 w
**得到最终结论 $\mathsf{View}_{real}(w) \approx \mathsf{Sim}(x)$ **
Sim 到底要做什么？
在不知道 |ψ(w)⟩ 的情况下伪造一个“看起来像真的” view
举个例子
在真实情况下
r ← random basis
y ← measurement(|ψ⟩, r)
b ← accept/reject
在 Sim 下
r ← random
y ← ??? ←（关键难点）
b ← ??? ←（关键难点）
Sim 必须生成：(r, y, b)
我的想法
分布独立:: view ≈ D （固定分布）然后 Sim 就可以直接采样 D
类似于格基，但格密码和量子有本质的区别很难套用
我现在卡在了 Sim 存在 ⇔ view 与 witness 无关
大佬们有没有方法可以如何隐藏 |ψ⟩的情况下构造出 verifier 的 view
