架构

途中的四个站点。
每一站能看到什么。

你在工作区发送的消息会依次经过你的浏览器、我们的中继、Tinfoil 的路由安全飞地,以及运行模型的安全飞地。选择一个站点,查看在那里运行的是什么、它能看到和看不到什么,以及实现它的代码。

在硬件安全飞地内 · Tinfoil

你的文字可被读取只有密文

你的浏览器检查安全飞地,然后密封消息。

在这里运行的内容

工作区,以及 Tinfoil 的开源验证工具(tinfoil SDK)。在发送第一条消息之前,它会获取安全飞地的证明,检查芯片在证明上的签名,并检查它测得的代码是否为 Tinfoil 发布到 Sigstore 公开透明度日志中的某个版本。然后,它将每个请求密封到该证明写明的密钥:使用 EHBP,即基于 X25519 和 AES-256-GCM 的 HPKE。

能看到

  • 你写下、附加和收到的一切。这是你的设备。
  • 它验证了哪个安全飞地,以及每个回答的回执。

保留

  • 这里没有任何内容对你隐藏。对话保留在这个浏览器中,存在内存里;如果你开启了保存,则存在浏览器的存储中。你同步或分享的副本会先在这里加密。

摘录的来源

构建时会从每段摘录所注明的源文件的对应行读取内容,因此这里的代码就是构建本站所用的代码。我们的代码仓库尚未公开,所以在此展示而不是链接。构建清单会对本站提供的每个文件计算哈希,包括这些摘录;验证此页面会将你的浏览器加载的代码与清单进行比对。Tinfoil 以开源形式发布其验证器和其安全飞地运行的代码。

另外两条路径

开发者 API 有所不同:我们的网关会在内存中读取每个请求以进行检查,然后以同样的方式将其发送到安全飞地,且从不存储或记录它。“在此设备上”的小模型在你的浏览器中运行,你发送给它的任何内容都不会离开设备。

这些没有说明的内容

这些内容都尚未经过独立评估,而且你需要信任我们会按发布的版本提供验证代码。隐私页面有完整的细节,透明度页面有我们的计数和定时检查。