普华永道瑞士成立ChainSecurity团队以扩展区块链审计工具

普华永道瑞士公司已经聘请了智能合同审计公司ChainSecurity的团队，将公司及其专业知识整合到四大会计师事务所中。

这七名技术工程师似乎完全是一次收购，而这七名技术工程师正在加入这家会计师事务所，以增强普华永道瑞士的智能合约审计能力。

自2017年10月从苏黎世的瑞士联邦理工学院(ETHZürich)分离出来以来，ChainSecurity已在全球范围内进行了超过75项智能合约和区块链审计，并且与普华永道瑞士(与普华永道网络所使用的公司)建立了长期合作关系由Tezos基金会进行外部审核。去年，ChainSecurity发现了一个使君士坦丁堡硬叉和伊斯坦布尔硬叉出现问题的问题。

该团队将继续与联邦机构合作，并与新雇主合作，升级PwC Switzerland的工具，使其与正式验证或测试关键任务源代码的数学证明更加兼容，以确保其按程序员的意愿运行。

“对于智能合约而言，可以说它们代表了公司的现代业务逻辑，” ChainSecurity前首席技术官兼普华永道瑞士智能合约保证技术负责人休伯特·里兹多夫(Hubert Ritzdorf)说。“如果稳定币存在错误，则可以创建没有适当抵押品支持的硬币。”

在加入普华永道之前，正式验证是该团队产品套件的一部分，但Ritzdorf及其同事计划在他们的下一代产品中扩展他们的产品。

Ritzdorf补充说，通常采用形式验证的工具用于飞机工程和太空旅行等高风险行业，包括波音或NASA在内的组织都在使用它们。在加密货币行业中，金钱由数字单位代表，由代码决定，传统公司和初创企业正在使用正式验证来确保用户不太可能花掉自己没有的东西或失去自己拥有的东西。