Ghillie

一只自我变异、却从不修改自身的爪 — 一个运行在你自己电脑上的私人助理

Ghillie 可以获得新的能力 — 而这获得的过程正是安全的部分: 他从不修改自己。一项新能力以附带数学证明的源码形式到来,你的机器会在 安装任何东西之前重新推导这份证明,凡不能被证明的就不会运行。他的能力 会上升;他的权限,永远不会。

审慎

如同一位忠诚秘书的审慎。他不会向任何人透露任何事。你的信息只会在你自己设定的规则下离开你的机器;每一次外泄都会被记下来,让你能确切看到离开了什么、为什么离开;而你最敏感的信息,除非经你亲手操作,否则不会流向任何人。这些不是承诺——做出这些决定的规则是经过证明的,你可以自行核验这些证明。

安全

不开放任何端口,外部也没有可乘之隙。他接收到的任何东西都不会被运行 — 送达的内容以文档形式落入隔离区;这里没有安装程序,也没有执行器。真正要紧的决定,每一个都由一条针对其所接收输入被证明正确的规则做出,你可以在自己的机器上重新核验任何一份证明。

安静

他只在有消息时才开口,且从不在夜间——除非那是你曾说过值得为之被唤醒 的少数几件事之一。

属于你

你的地位永远高于他。他运行在你的硬件上,使用你的模型,不向任何其他 人负责。免费、开源(AGPL-3.0)。

Ghillie 自带对已证明软件的访问权限。会员投票决定接下来构建什么,成果会免费提供给每一位会员——你也可以专为自己委托打造一件作品。任何人都可以编写扩展,而 Ghillie 不会被某个扩展颠覆:一个新的扩展只能提出建议或被拒绝——无论作者是谁,它都绝不能让 Ghillie 做出超出你所允许范围的行为。在这里你不是顾客:你是决定这里存在什么的人之一。每一件作品都有两个诚实的条件:构建必须成功——证明要么完成,要么什么都不会发布——并且它必须合法。凡不合法的,我们从本性上拒绝,而且是认真的。

会员

会员就是任何运行着一个 Ghillie、并已用自己的邮箱注册过它的人。这就 是全部的标准。没有费用,没有等级,也没有订阅。

会员可以免费下载公共库中的一切——源码、证明与真值表,都可以在你自己的机器上重新推导。如果你想要商业作品,也可以购买;但没有什么是必须的。会员引导着接下来构建什么:当你的 ghillie 记录下一个缺口——一条它需要却没有的规则——这个缺口就可能成为工厂的下一项工作,而工厂为公共库构建出的东西,对每一位会员都是免费的。

注册只需要一个邮箱地址和你的 ghillie 的公钥。除此之外,我们不需要, 也不会拿取任何东西。

这件事不需要你动手:你的 ghillie 会在你第一次运行他时自行完成注册, 并在发送任何东西之前先征求你的同意。注册所把关的是服务 — 库、投票、 公共库 — 而绝不是软件本身。Ghillie 本身是你可以下载、运行、阅读的, 而无需告诉我们你的存在。

库正在建设中

最初的一批已证明能力已经上架,更多正在锻造中——其中一些正来自会 员自己的 ghillie 所记录的那些缺口。每一件作品都以附带证明的源码形式到 来,只有在你的机器重新推导过证明之后才会安装。今天摆在这里的东西诚实 而不大;接下来会有什么,由会员决定。

你不需要相信我们

Ghillie 获得的每一项能力,都以附带其所遵循规则之数学证明的源码形式 到来,你自己的机器会在安装任何东西之前重新推导这份证明。凡不能被证明 的就不会运行。我们并不是在要求你相信一家公司;我们是把演算过程交到你 手里,请你自行核验。核验所需的工具是免费的,核验大约需要十分钟。

我们也会坦白告诉你哪些东西没有被证明:这些证明所覆盖的是决策规则 ——谁可以看到什么,什么可以离开,一次送达必须满足什么条件。它们不会 让软件的其余部分变得神奇。这份诚实就是这笔交易,也是这笔交易的全部。

服务器记录了什么

本站不运行任何脚本,不设置任何 cookie,也不携带任何统计分析——你 可以通过阅读源码来核实这一点,而且我们更希望你这样做。但向你送出这些 页面的机器,会为每一次请求保留一条简短的记录,如果我们对此只字不提, 那将是个糟糕的开端。

每提供一个页面或文件,就有一行记录:时间、你地址的一个缩短形式、 方法、你所请求的路径、我们返回的状态码、大小、如果你的浏览器发送了来 源页则记录来源页,以及 user agent 字符串。在这些之外,还有你的浏览器 或位于我们前面的网络所附加的任何普通协议头——缓存校验器、路由标签、 如果你的客户端选择发送则包括一个追踪头。没有 cookie,没有授权头,没有 请求正文——这些是在这一行被写入之前就被剥离的,而不是之后。

你的地址是在被写入的那一刻就被截断的,而不是等到有人来读取它的时 候才截断。IPv4 地址会失去最后一段;IPv6 地址只保留前 48 位。因此,落 在磁盘上的是 86.12.236.0,而绝不是实际访问过的那个地址。这 足以分辨出一个网络与另一个网络的差别,也足以察觉某台机器在猛烈敲打这 个地方;但不足以识别出你是谁。完整地址从未被保留,因此它无法被交出、 被强制索取,也无法被泄露。

这些记录会保留三十天,之后就会滚出并消失。

为什么要保留任何东西呢?因为我们即将向人们宣布这一切的存在,而我 们想知道这些能力是否被下载、这些证明是否被取用。这是一个真实的问题, 而这是我们能找到的最小的回答方式——是我们能记录下来、同时仍能了解到 一些东西的最低限度。如果你宁愿连一个被截断的网络都不想留下痕迹,Tor 和 VPN 在这里都完全适用;本站没有任何功能依赖于知道你身在何处。

获取他

已发布 — AGPL-3.0,支持 Windows、Mac 和 Linux。 源码与带校验和的二进制文件:github.com/the-dark-factory/Ghillie_AGPLGitHub)。早期软件:运行风险自负(AGPL,不提供任何担保)— 不过这一风险因设计而大幅降低,因为它不开放端口、不运行它所接收到的任何东西、把你的数据留在本地,并且让你在信任它的证明之前先自行重新推导。

想在代码之前先看到证明?花十分钟,自己重新 推导他的一条规则。

计划:TheReefink →