安全聚焦 | CertiK 已完成对 SkinChina SKC 的审计

安全聚焦 | CertiK 已完成对 SkinChina SKC 的审计SkinChain 是专门针对 化妆品行业开发的区块链平台 ,旨在建立高效的产品生产和分销系统。

这一平台通过分析平台数据来为客户提供定制化解决方案。平台算法从社会调查和遗传数据中发现了 1 亿种皮肤类型并对其进行了分析。该做法可为每个社区成员提供最适宜和最优化的产品。

SkinChain 团队有三个主要 价值主张

  • 为用户提供以保持年轻和健康为主要目的的产品

  • 通过对人类皮肤健康的研究保护美丽肌肤

  • 坚持以用户为中心的运营策略和服务准则

该团队指出:“SkinChain 是一个能让所有社区参与者都积极参与产品的使用,改进和开发的项目,可以最大程度地发挥团队力量。皮肤类型测试结果,基因组扫描结果以及用户购买产品后肌肤发生的任何变化都将被存储在基于区块链的 DID 上,之后会对这些数据进行进一步的管理。”

安全聚焦 | CertiK 已完成对 SkinChina SKC 的审计SkinChain 选择与 CertiK 合作,对其即将发布的 skinchain.sol 智能合约的设计和实践进行审计。

为确保对 SkinChain 智能合约进行全面保护,CertiK 利用其专有的形式化验证引擎对合约的源代码进行了安全审计,之后又委派团队中的智能合约专家和工程师对代码进行了人工检查。

形式化验证计算了所有可能的情况,并从数学层面证明了合约代码将按照设计预期工作。该过程试图证明或证伪合约算法、协议按照预期的方式工作。数学系统可以对接近无限的场景进行计算,避免人为判断可能造成的失误。

形式化验证通过对代码进行严格而完整的 数学推理 ,能够超越人工审计的局限性,实现更广泛和更深入的审计。

CertiK 提供的审计报告在一定程度上能保证 SkinChain 合约的正确性和可信度,但我们始终建议 SkinChain 团队在发布智能合约之前寻求多种意见,进行 多种测试从而不断完善其代码库。

安全聚焦 | CertiK 已完成对 SkinChina SKC 的审计

了 解更多

General Information: info@certik.org

Audit & Partnerships: bd@certik.org

Website: certik.org

Twitter: @certik.org

Telegram: t.me/certik.org

Medium:medium.com/certik

币乎:bihu.com/people/1093109

往 期回顾

请 点击“阅读原文”访问 CertiK 官方网站

来源链接:mp.weixin.qq.com