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

 
普华永道瑞士公司已经收购了智能合约审计公司ChainSecurity，并将公司的技术和专业知识整合到四大会计师事务所中。
这七名技术工程师似乎从某种意义上说是一次收购，但他们都将加入这家会计师事务所，以增强普华永道瑞士的智能合约审计能力。
自2017年10月从苏黎世的瑞士联邦理工学院(ETHZürich)分离出来以来，ChainSecurity已在全球范围内进行了超过75次智能合约和区块链审计，并与普华永道瑞士-普华永道网络中的公司有着长期的合作关系由Tezos基金会用于外部审核。去年，ChainSecurity发现了一个使君士坦丁堡硬叉和伊斯坦布尔硬叉出现问题的问题。
该小组将继续与联邦机构合作，并与新雇主合作，升级PwC Switzerland的工具，使其与正式验证或测试关键任务源代码的数学证明更加兼容，以确保其按程序员的意愿运行。
“对于智能合约而言，可以说它们代表了公司的现代业务逻辑，” ChainSecurity前首席技术官兼普华永道瑞士智能合约保证技术负责人休伯特·里兹多夫(Hubert Ritzdorf)说。 “如果稳定币存在错误，则可以创建没有适当抵押品支持的硬币。”
在加入普华永道之前，正式验证是该团队产品套件的一部分，但Ritzdorf和他的同事们计划在他们的下一代产品中扩展他们的产品。
Ritzdorf补充说，通常采用形式验证的工具用于飞机工程和太空旅行等高风险行业，包括波音或NASA在内的组织都在使用它们。在加密货币行业中，金钱由数字单位表示，由代码决定，传统的公司和初创企业正在使用正式验证来确保用户不太可能花掉自己所没有的或失去自己所拥有的。
区块链网络安全公司CertiK首席运营官达里尔·霍克(Daryl Hok)表示，寻求正式验证的加密货币参与者往往更为严重，例如处理去中心化金融或稳定币的公司。天秤座协会还计划为其编程语言Move创建自动的形式验证。
Hok说：“我们看到越来越多的项目寻求正式验证所提供的严格性。” “那些通常是自我选择的，往往是装备最精良的团队，并且有足够的资金来做这些事情。”
普华永道瑞士和欧洲风险保证合伙人兼负责人安德烈亚斯·埃施巴赫(Andreas Eschbach)说，来普华永道瑞士进行区块链审计的客户往往是银行，制造和贸易领域的多数企业。
Eschbach说：“它已经从初创公司中成长出来，并在大约80年以上的公司中变得越来越受欢迎。”
凭借普华永道的法律专业知识，ChainSecurity团队在分析智能合约方面可以超越以往。
里兹多夫说：“合规步骤对我们来说总是很困难。” “我们只是从技术上写下了智能合约的作用，而不得不去律师事务所检查它是否合法。”