PwC Suiza Incorpora ChainSecurity Equipo para Ampliar Blockchain Herramientas de Auditoría

PwC imagen a través de Shutterstock

Nathan DiCamillo

PwC Suiza Incorpora ChainSecurity Equipo para Ampliar Blockchain Herramientas de Auditoría

PricewaterhouseCoopers (PwC), Suiza ha «contratado» smart contrato de la firma de auditoría ChainSecurity del equipo, el plegado de la compañía y su experiencia en los Cuatro Grandes de la empresa de contabilidad, las empresas que anunció a principios de esta semana.

En lo que parece una adquisición en todo menos en el nombre, los siete ingenieros técnicos se están uniendo a la firma de contabilidad para reforzar PwC Suiza inteligente del contrato de auditoría de habilidades.

Después de la hilatura de que el Instituto Federal Suizo de Tecnología en Zúrich (ETH Zürich) en octubre de 2017, ChainSecurity ha realizado más de 75 inteligente contrato y blockchain auditorías a nivel mundial y ha tenido una larga relación con PwC Suiza-la empresa en la PwC de red utilizado por los Tezos de la Fundación para su auditoría externa. El año pasado, ChainSecurity descubierto un problema que el retraso en la Constantinopla duro de la horquilla y los problemas con el Estambul duro de la horquilla.

El equipo va a seguir colaborando con el instituto federal y a trabajar con su nuevo empleador para la actualización de PwC Suiza herramientas y hacerlos más compatibles con la verificación formal, o las pruebas matemáticas que la prueba de misión crítica de código fuente para asegurarse de que funciona como la intención de los programadores.

«Para smart contratos en general, se puede decir que representan moderno de la lógica de negocio para las empresas», dijo Hubert Ritzdorf, ex director de tecnología en ChainSecurity y líder técnico de smart contrato de garantía de PwC, Suiza. «Si un stablecoin tiene un error, se podría crear monedas que no están debidamente respaldado por una garantía.»

Mientras que la verificación formal fue parte del equipo de la suite de productos 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 la verificación formal se utilizan en industrias de alto riesgo como avión de ingeniería y viajes al espacio donde organizaciones como Boeing o la NASA uso de ellos, Ritzdorf añadido. En el crypto de la industria, donde el dinero está representada por unidades digitales y dictada por el código tradicional de las empresas y start-ups son el uso formal de la verificación para asegurarse de que es muy poco probable que los usuarios pueden gastar lo que no tienen o perder lo que tienen.

Los jugadores en crypto que buscan la verificación formal tienden a ser más graves, tales como las compañías que comercian con descentralizada de finanzas o stablecoins, dijo Daryl Hok, el jefe de operaciones de blockchain de ciberseguridad de la empresa CertiK. La Libra Asociación también planes para la creación automatizada de la verificación formal de su lenguaje de programación, Mover.

«Estamos viendo más y más proyectos que buscan el rigor formal de la verificación proporciona,» Hok, dijo. «Esas son generalmente auto-selección y tienden a ser los más equipados equipos y tienen el capital suficiente para hacer estas cosas».

Los clientes que vienen a PwC Suiza para blockchain auditorías suelen ser la mayoría de las empresas de banca, manufactura y comercio, dijo Andreas Eschbach, socio y líder del riesgo de la garantía para PwC Suiza y Europa.

«Ha crecido fuera de las startups y se está convirtiendo en muy popular entre las compañías que han sido alrededor de 80 años,» Eschbach, dijo.

Con la experiencia legal de PwC, el ChainSecurity equipo puede ir más allá de lo que era capaz antes de que en su análisis inteligente de los contratos.

«El cumplimiento de paso siempre fue duro para nosotros,» Ritzdorf dijo. «Nosotros sólo escribió técnicamente lo que el smart contrato y tenía que ir a un bufete de abogados para comprobar si es compatible legalmente.»