架构
途中的四个站点。
每一站能看到什么。
你在工作区发送的消息会依次经过你的浏览器、我们的中继、Tinfoil 的路由安全飞地,以及运行模型的安全飞地。选择一个站点,查看在那里运行的是什么、它能看到和看不到什么,以及实现它的代码。
在硬件安全飞地内 · Tinfoil
你的文字可被读取只有密文
你的浏览器检查安全飞地,然后密封消息。
在这里运行的内容
工作区,以及 Tinfoil 的开源验证工具(tinfoil SDK)。在发送第一条消息之前,它会获取安全飞地的证明,检查芯片在证明上的签名,并检查它测得的代码是否为 Tinfoil 发布到 Sigstore 公开透明度日志中的某个版本。然后,它将每个请求密封到该证明写明的密钥:使用 EHBP,即基于 X25519 和 AES-256-GCM 的 HPKE。
能看到
- 你写下、附加和收到的一切。这是你的设备。
- 它验证了哪个安全飞地,以及每个回答的回执。
保留
- 这里没有任何内容对你隐藏。对话保留在这个浏览器中,存在内存里;如果你开启了保存,则存在浏览器的存储中。你同步或分享的副本会先在这里加密。
摘录的来源
构建时会从每段摘录所注明的源文件的对应行读取内容,因此这里的代码就是构建本站所用的代码。我们的代码仓库尚未公开,所以在此展示而不是链接。构建清单会对本站提供的每个文件计算哈希,包括这些摘录;验证此页面会将你的浏览器加载的代码与清单进行比对。Tinfoil 以开源形式发布其验证器和其安全飞地运行的代码。
另外两条路径
开发者 API 有所不同:我们的网关会在内存中读取每个请求以进行检查,然后以同样的方式将其发送到安全飞地,且从不存储或记录它。“在此设备上”的小模型在你的浏览器中运行,你发送给它的任何内容都不会离开设备。