PwC Suiza incorpora el equipo de ChainSecurity para ampliar las herramientas de auditoría de blockchain

PricewaterhouseCoopers (PwC) Suiza ha incorporado a la firma de auditoría de contratos inteligentes ChainSecurity, integrando la Tecnología de la compañía y su experiencia en la firma de contabilidad de las Cuatro Grandes, anunciaron las compañías a principios de esta semana.

En lo que parece una adquisición en todo menos en el nombre, los siete ingenieros técnicos se unen a la firma de contabilidad para reforzar las capacidades de auditoría de contratos inteligentes de PwC Suiza.

Tras su escisión del Instituto Federal Suizo de Tecnología de Zúrich (ETH Zürich) en octubre de 2017, ChainSecurity ha llevado a cabo 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 empresa de la red PwC. usado por la Fundación Tezos para su auditoría externa. El año pasado, ChainSecurity descubiertoun problema que retrasó la bifurcación dura de Constantinopla y problemas con la bifurcación dura de Estambul.

El equipo seguirá 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 examinan el código fuente de misión crítica para garantizar que funciona como lo pretendían los programadores.

“En general, ONE puede decir que los contratos inteligentes representan la lógica empresarial moderna para las empresas”, afirmó Hubert Ritzdorf, exdirector de Tecnología de ChainSecurity y responsable técnico de aseguramiento de contratos inteligentes en PwC Suiza. “Si una moneda estable tiene un fallo, se podrían crear monedas que no cuenten con el respaldo adecuado de 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 la próxima generación de sus productos.

Generalmente, las herramientas que emplean verificación formal se utilizan en industrias de alto riesgo, como la ingeniería aeronáutica y los viajes espaciales, donde organizaciones como Boeing o la NASA las emplean, añadió Ritzdorf. En la industria de las Cripto , donde el dinero se representa mediante unidades digitales y se rige por un código, las empresas tradicionales y las startups utilizan la verificación formal para garantizar que sea muy improbable que los usuarios gasten lo que no tienen o pierdan lo que sí tienen.

Los actores del sector de las Cripto que buscan una verificación formal tienden a ser más serios, como las empresas que se dedican a las Finanzas descentralizadas o las monedas estables, afirmó Daryl Hok, director de operaciones de la empresa de ciberseguridad blockchain CertiK. La Asociación Libra también... planespara crear una verificación formal automatizada para su lenguaje de programación, Move.

“Vemos cada vez más proyectos que buscan el rigor que proporciona la verificación formal”, dijo Hok. “Estos suelen autoseleccionarse y suelen ser los equipos mejor equipados y con el capital suficiente para hacerlo”.

Los clientes que acuden a PwC Suiza para auditorías de blockchain tienden a ser en su mayoría empresas del sector bancario, manufacturero y comercial, dijo Andreas Eschbach, socio y líder de garantía de riesgos de PwC Suiza y Europa.

“Ha surgido de las startups y se está volviendo popular entre empresas con más de 80 años de existencia”, dijo Eschbach.

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

“El paso de cumplimiento siempre nos resultó difícil”, dijo Ritzdorf. “Simplemente escribíamos técnicamente lo que hacía el contrato inteligente y teníamos que acudir a un bufete de abogados para comprobar si cumplía con la ley”.