所有沟通将分为两种模式——可证明的（有记录）与不可证明的（无记录）。 每次私信、网页和现实生活中的对话都将在“有记录”和“无记录”之间切换，我们都会高度意识到我们的沟通处于哪种模式。 → 可证明的 & 有记录：参与者可以以可证明和可验证的方式透露关于沟通的信息。 → 不可证明的 & 无记录：参与者无法以可验证的方式透露关于沟通的任何信息。 A. 可证明的沟通 目前，我们主要依赖截图来证明某些沟通发生过——这极其不安全，并且可以伪造。 技术使得 “zkTLS”使所有网页都可以被证明——一旦会话被第三方观察并加上时间戳，用户/客户端可以始终证明由服务器托管的网页的某些部分。除此之外，RFC9421是一个标准，可以将任何网站转变为可验证和可证明的信息来源。 在数字世界之外，可证明的麦克风和摄像头可以记录来自现实生活事件的信息。这一点尤其重要，因为AI深度伪造变得与真实录音难以区分。 显然，我们需要某些信息是可证明的，技术正在各个领域成熟以支持这一点。 B. 不可证明的沟通 不可证明性是相反的特性，即用户即使在被强迫的情况下也无法披露确切的传输信息。 现实生活中的对话，如果没有录音，就具备这种特性——因为没有硬证据可以客观证明任何信息。 事实证明，这种特性在数字系统中也是可能的（在温和的信任假设下）。一个例子是不可证明的加密，这在某些设置中是可能的。另一个例子是不可证明的投票，它在投票中实现了抵制合谋：像MACI这样的系统可以提供不可证明的投票保证，使贿赂变得困难（贿赂者必须信任选民对他们投票内容的说法）。 随着生成式AI和可穿戴计算的普及，我们需要更好的技术和产品来赋能最终用户选择他们沟通的“有记录”与“无记录”。 你会选择哪一个作为你的默认选项？ （插图与ChatGPT o3共同创作）