证明私密输入怎样影响 RISC-V 原生执行。

验证者可能需要确认：原生程序确实消费了真实的外部输入，而且该输入导致了被证明的机器行为，同时输入内容和敏感的中间状态仍然保持私密。

这比证明“存在一条有效执行”更具体。证据链必须把来源、消费、程序生成的状态、已认证行为和验证者策略连接起来。

Phase 1R.3B 先处理一个更窄的子问题：把选择性零知识分支证明的 witness 绑定到已认证 RISC-V 函数入口实际观察到的标量。它记录的 canonical 与 adversarial sessions 都属于这个范围。

这个结果的价值在于明确证明需要绑定哪个执行边界，而不是把结论跳跃到所有原生程序或所有 monitor。

如果证据文件泄露受保护的输入、隐藏寄存器或 blindings，那么证明本身成功也不够。因此，隐私审计、会话 custody、challenge 新鲜度和公开泄漏面都必须成为独立属性。

这样，验证者能看到什么就成为协议设计的一部分，而不是写完密码学关系后才补上的检查。

计划中的方向是私密因果原生执行证明：把已认证的输入来源连接到保守的数据依赖切片，再连接到验证者解释的机器行为，而不必用通用 zkVM 重新证明整段原生执行。

这是一项仍有新颖性、安全性和执行义务的研究假设。本页记录基础与边界，不把未来链路写成已经完成。