PwC Switzerland incorpora el equipo de ChainSecurity para expandir las herramientas de auditoría de Blockchain

PricewaterhouseCoopers (PwC) Suiza ha "contratado" al equipo de la firma de auditoría de contratos inteligentes ChainSecurity, integrando la compañía y su experiencia en la firma de contabilidad Big Four, anunciaron las compañías a principios de esta semana.

En lo que parece una adquisición en general pero nombre, los siete ingenieros técnicos se están uniendo a la firma de contabilidad y para reforzar las capacidades de auditoría de contratos inteligentes de PwC Suiza.

Después de ser expulsado del Instituto Federal Suizo de Tecnología en Zurich (ETH Zürich) en octubre de 2017, ChainSecurity ha llevado a cabo más más de 75 auditorías de contratos inteligentes y blockchain a nivel mundial y ha tenido una larga relación con PwC Suiza, la compañía en la red PwC utilizada por la Fundación Tezos para su auditoría externa. El año pasado, ChainSecurity descubrió un problema que retrasó el hard fork de Constantinopla y problemas con el hard fork de Estambul.

El equipo continuará colaborando con el instituto federal y trabajará con su nuevo empleador para actualizar las herramientas de PwC Suiza y hacerlas más compatibles con la verificación formal, o las pruebas matemáticas que prueban el código fuente de misión crítica para garantizar que funcione como programadores destinado a.

"Para los contratos inteligentes en general, se puede decir que representan la lógica empresarial moderna para las empresas", dijo Hubert Ritzdorf, ex director de tecnología de ChainSecurity y líder técnico para la garantía de contratos inteligentes en PwC Suiza. "Si una moneda estable tiene un error, podría crear monedas que no estén respaldadas adecuadamente por una garantía".

Si bien la verificación formal era parte del conjunto de productos del equipo antes de unirse a PwC, Ritzdorf y sus colegas planean expandir sus ofertas en el próximo generación de sus productos.

Por lo general, las herramientas que emplean la verificación formal se usan en industrias de alto riesgo como la ingeniería de aviones y los viajes espaciales donde organizaciones como Boeing o la NASA los usan, agregó Ritzdorf. En la industria de la criptografía, donde el dinero está representado por unidades digitales y dictado por código, las empresas tradicionales y las nuevas empresas utilizan la verificación formal para garantizar que sea muy poco probable que los usuarios puedan gastar lo que no tienen o perder lo que tienen.

Los jugadores en criptografía que buscan la verificación formal tienden a ser más serios, como las empresas que se ocupan de las finanzas descentralizadas o las monedas estables, dijo Daryl Hok, director de operaciones de la empresa de ciberseguridad blockchain CertiK. La Asociación Libra también planea crear una verificación formal automatizada para su lenguaje de programación, Move.

"Estamos viendo más y más proyectos que buscan el rigor que proporciona la verificación formal", dijo Hok. "Por lo general, son autoseleccionables y tienden a ser los equipos más equipados y tienen suficiente capital para hacer estas cosas".

Los clientes que vienen a PwC Suiza para auditorías de blockchain tienden a ser empresas mayoritarias de banca, fabricación y comercio, dijo Andreas Eschbach, socio y líder de aseguramiento de riesgos para PwC Suiza y Europa.

"Ha surgido de las nuevas empresas y se está volviendo popular entre las empresas que han tenido más de 80 años", dijo Eschbach.

Con la experiencia legal de PwC, el equipo de ChainSecurity puede ir más allá de lo que pudo en su análisis de contratos inteligentes.

"El paso de cumplimiento siempre fue difícil para nosotros", dijo Ritzdorf. "Acabamos de escribir técnicamente lo que hace el contrato inteligente y tuvimos que ir a un bufete de abogados para verificar si cumplía legalmente".