PwC Suíça incorpora equipe ChainSecurity para expandir ferramentas de auditoria de blockchain

A PricewaterhouseCoopers (PwC) Suíça contratou a empresa de auditoria de contratos inteligentes ChainSecurity, incorporando a Tecnologia e a experiência da empresa à empresa de contabilidade Big Four, anunciaram as empresas no início desta semana.

No que parece uma aquisição em tudo, exceto no nome, os sete engenheiros técnicos estão se juntando à empresa de contabilidade para reforçar as habilidades de auditoria de contratos inteligentes da PwC Suíça.

Após ser desmembrada do Instituto Federal Suíço de Tecnologia em Zurique (ETH Zürich) em outubro de 2017, a ChainSecurity conduziu mais de 75 auditorias de contratos inteligentes e blockchain globalmente e tem um longo relacionamento com a PwC Suíça — a empresa da rede PwC usado pela Fundação Tezos para sua auditoria externa. No ano passado, a ChainSecurity descobertoum problema que atrasou o hard fork de Constantinopla e problemas com o hard fork de Istambul.

A equipe continuará a colaborar com o instituto federal e trabalhar com seu novo empregador para atualizar as ferramentas da PwC Suíça e torná-las mais compatíveis com a verificação formal, ou as provas matemáticas que testam o código-fonte de missão crítica para garantir que ele opere conforme pretendido pelos programadores.

“Para contratos inteligentes em geral, ONE -se dizer que eles representam lógica de negócios moderna para empresas”, disse Hubert Ritzdorf, ex-diretor de Tecnologia da ChainSecurity e líder técnico para garantia de contratos inteligentes na PwC Suíça. “Se uma stablecoin tiver um bug, você pode criar moedas que não são adequadamente apoiadas por garantias.”

Embora a verificação formal fizesse parte do conjunto de produtos da equipe antes de ingressar na PwC, Ritzdorf e seus colegas planejam expandir suas ofertas na próxima geração de seus produtos.

Geralmente, ferramentas que empregam verificação formal são usadas em indústrias de alto risco, como engenharia de aeronaves e viagens espaciais, onde organizações como Boeing ou NASA as usam, acrescentou Ritzdorf. Na indústria de Cripto , onde o dinheiro é representado por unidades digitais e ditado por código, empresas tradicionais e startups estão usando verificação formal para garantir que seja muito improvável que os usuários gastem o que T têm ou percam o que têm.

Os participantes em Cripto que buscam verificação formal tendem a ser mais sérios, como empresas que lidam com Finanças descentralizadas ou stablecoins, disse Daryl Hok, diretor de operações da empresa de segurança cibernética de blockchain CertiK. A Libra Association também planospara criar verificação formal automatizada para sua linguagem de programação, Move.

“Estamos vendo cada vez mais projetos buscando o rigor que a verificação formal fornece”, disse Hok. “Esses geralmente são autoselecionados e tendem a ser as equipes mais equipadas e têm capital suficiente para fazer essas coisas.”

Os clientes que procuram a PwC Suíça para auditorias de blockchain tendem a ser, em sua maioria, empresas dos setores bancário, de manufatura e comércio, disse Andreas Eschbach, sócio e líder de garantia de risco da PwC Suíça e Europa.

“Ele cresceu a partir das startups e está se tornando popular entre empresas que existem há mais de 80 anos”, disse Eschbach.

Com a expertise jurídica da PwC, a equipe da ChainSecurity pode ir mais longe do que antes em sua análise de contratos inteligentes.

“A etapa de conformidade sempre foi difícil para nós”, disse Ritzdorf. “Nós apenas escrevemos tecnicamente o que o contrato inteligente faz e tivemos que ir a um escritório de advocacia para verificar se ele estava legalmente em conformidade.”