是否存在一个 Sim ，可以在不知道 witness 的情况下，生成和真实执行“几乎一样”的 verifier 视图。

什么是 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