DFI:DFINITY 验证互联网身份代码:演练

在互联网计算机上,用户可以使用互联网身份密码认证系统登录各种dapp,如NNSdapp、OpenChat等。这样做时,他们相信该服务会妥善保管他们的凭据-但他们可能想直接确认互联网身份真的没有跟踪他们。互联网身份是否真的在运行它声称运行的代码?为了帮助回答这个问题,我们将完成验证步骤。

当然,以下内容也适用于其他容器,但在这种情况下,我们将坚持使用互联网身份。

找出正在运行的内容

互联网计算机上的智能合约,即容器智能合约,是一个WebAssembly模块。

DFINITY社区提议在开发路线图中增加“服务神经系统”功能:10月11日消息,DFINITY社区提议在开发路线图中增加“服务神经系统(SNS)”功能,以允许开发者在DApp中创建代币化治理系统。DFINITY表示,SNS源自网络神经系统(NNS),是一种自治的代币化治理系统,它只能用于单个DApp的治理。目前该功能仍在社区讨论阶段,还未开始正式的设计和工程工作。[2021/10/11 20:19:30]

互联网计算机故意不会让你只需要下载任何容器的WASM代码,因为也许有些开发商想保持其代码私有。但它确实公开了Wasm模块的哈希值,最简单的方法是使用dfx:

Dfinity创始人:即将宣布主网创世启动时间:4月17日消息,Dfinity创始人Dominic Williams发推称:互联网计算机RC2版本进展顺利,现在为“创世启动”设置日期。Dfinity基金会通过推特发出“现在开始倒计时”的摩斯电码图片。[2021/4/17 20:30:39]

这里的“控制器”是治理容器的容器ID,这告诉您互联网身份由网络神经系统(NNS)控制,并且其代码只能通过投票的提案进行更改。这很好,如果控制器只是,比如说,我,我可以更改互联网身份代码并接管您的所有身份。

“模块哈希”是部署的.wasm的SHA-256哈希,所以让我们跟随那个踪迹。

找到正确的提交

由于互联网身份的升级是通过向NNS提出的提案完成的,我们应该在https://github.com/ic-association/nns-proposals存储库中的proposals/network_canister_management目录中找到对此类提案的描述。

DFINITY主网即将正式发布:据DfinityFun报道,DFINITY即将启动“创世纪阶段”,其中启动过程涉及到ICP代币、NNS、Cycles、DFX工具组、物理网络、DNS引导程序、创世纪合约、运行样板Dapps、网络区块浏览器、经济系统、技术资料、代码设计、安全测试、性能测试以及业务准备等15个指标。

德邻资本李昆运今日发布微博称,“收到官方邮件,Dfinity快正式上线了!“Dfinity 的目标是互联网计算机,让互联网成为公共的计算平台。DFINITY在 2017 年初完成了种子轮募资,之后曾获顶尖风投a16z 、Polychain Capital、Multicoin Capital等多家一线机构投资。[2021/3/18 18:57:25]

DFI.Money(YFII)社区YIP-7提案通过,实现社区共识+效率治理新机制:DFI.Money(YFII)社区新提案YIP-7:加速治理及投票方案获得通过。本提案通过后,提案提交人可以在提案提交论坛的时候同步在Snapshot发起提案加速投票,提案加速投票不对提案本身表决,仅仅是对于该提案是否应该加速进入投票表决而进行投票表决。如果该加速投票能够获得800 YFII的支持,并且反对票少于200 YFII,那表示社区已经对该提案的科学性进行了背书,提案可以在投票达到800YFII的时候立即从论坛提案变成Snapshot投票。

此次提案可提高YFII提案公示讨论和投票的速度,同时仍然确保YFII治理的符合DAO治理的公开、共识、公正要求,是DAO治理历史上的创新,解决了DAO治理普遍面临的效率低下问题。目前,基于YIP-7的第一个治理加速投票正在进行中。[2020/10/18]

Github的近期NNS提案列表

DFI.money:所有YFII Vault V2产品均已通过第三方智能合约审计:DFI.money(原YFII)官方发推表示,所有YFII Vault V2产品均已通过第三方智能合约审计。[2020/9/27]

我们必须找到升级互联网身份的最新提案,不幸的是,该文件夹包含许多容器的建议,并且文件命名不是很有帮助。我通常从底部浏览列表并查看第二列,其中包含创建或修改文件的最新提交的标题。

在这种情况下,倒数第二个是我们关心的:

https://github.com/ic-association/nns-proposals/blob/main/proposals/network_canister_management/20210527T2203Z.md。

该文件列出了基本原理,概述了更改,最重要的是,它表示这bd51eab是我们要升级到的提交。

该文件还说wasm哈希是d4a...c04,它与我们上面看到的相匹配。这很好,看来我们真的找到了最新的升级互联网身份的提案,而且提案实际上通过了。

警告:如果你是偏执狂,不要相信这个文件。没有什么可以阻止提案提议者创建一个指向一个修订的文件,同时实际上在提案中包含不同的代码。这就是为什么需要进行下一步验证的原因。

获取源

现在我们有了修订版,我们可以获取源代码并查看修订版bd51eab:

在最后一行中,您会看到互联网身份团队使用包含提案描述文件名的标记名称标记了该修订。很整齐!

重现构建

README.md具有以下构建指令:

实际上,运行第一个命令就足够了,因为它还打印了哈希值:

成功!哈希匹配。

你不相信我?自己尝试一下。如果您没有为Docker配置足够的RAM,这可能会失败,8GB应该够了。

此时,您拥有了从您面前的代码到运行在https://identity.ic0.app的互联网身份的信任路径,包括前端代码,您可以开始审核源代码。

容器ID呢?

如果您密切注意,您可能已经注意到我们获得了容器rdmx6-jaaaa-aaaaa-aaadq-cai的模块,但我们正在访问https://identity.ic0.app上的Web应用程序。那么这个联系在哪里呢?

将来,我希望互联网计算机上有某种形式的类似于DNS的“好主机名注册表”,用于存储从好名称到容器ID的映射,并且您将能够查询“哪个容器以安全的方式服务rdmx6-jaaaa-aaaaa-aaadq-cai”。

但是由于我们还没有那个,但仍然希望您能够为互联网身份使用一个好听的名称,我们现在对这个映射进行了硬编码。

这里的相关代码是您的浏览器在访问任何*.ic0.appURL时下载的“CertifyingServiceWorker”。然后,这段代码将拦截对该域的所有请求,将其映射到查询调用,然后使用认证变量来验证响应。事实上,映射在代码中:

其他容器呢?

原则上,相同的方法适用于其他容器,无论是OpenChat、NNS容器等。但细节会有所不同,因为每个容器开发人员可能有自己的方式:

传达其容器的来源的位置和修订版建造容器特别是,如果没有可重复的方式来构建容器,这将失败,这就是为什么像https://reproducible-builds.org/这样的项目通常如此重要的原因。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

地球链

[0:15ms0-0:987ms