PwC Suisse intègre l'équipe ChainSecurity pour développer ses outils d'audit blockchain

PricewaterhouseCoopers (PwC) Suisse a fait appel au cabinet d'audit de contrats intelligents ChainSecurity, intégrant la Technologies de l'entreprise et son expertise au sein du cabinet comptable Big Four, ont annoncé les sociétés plus tôt cette semaine.

Dans ce qui ressemble à une acquisition en tout sauf en nom, les sept ingénieurs techniques rejoignent le cabinet comptable pour renforcer les capacités d'audit des contrats intelligents de PwC Suisse.

Après avoir été créée par l'École Technologies fédérale de Zurich (ETH Zürich) en octobre 2017, ChainSecurity a réalisé plus de 75 audits de contrats intelligents et de blockchain à l'échelle mondiale et entretient une longue relation avec PwC Suisse, l'entreprise du réseau PwC. utilisé par la Fondation Tezos pour son audit externe. L'année dernière, ChainSecurity découvertun problème qui a retardé le hard fork de Constantinople et des problèmes avec le hard fork d'Istanbul.

L'équipe continuera de collaborer avec l'institut fédéral et de travailler avec son nouvel employeur pour mettre à niveau les outils de PwC Suisse et les rendre plus compatibles avec la vérification formelle, ou les preuves mathématiques qui testent le code source critique pour garantir qu'il fonctionne comme prévu par les programmeurs.

« Les contrats intelligents en général représentent une logique commerciale moderne pour les entreprises », a déclaré Hubert Ritzdorf, ancien directeur Technologies de ChainSecurity et responsable technique de l'assurance des contrats intelligents chez PwC Suisse. « Si un stablecoin présente un bug, ONE est possible de créer des cryptomonnaies qui ne sont pas correctement garanties. »

Bien que la vérification formelle fasse partie de la gamme de produits de l’équipe avant de rejoindre PwC, Ritzdorf et ses collègues prévoient d’étendre leurs offres dans la prochaine génération de leurs produits.

Les outils utilisant la vérification formelle sont généralement utilisés dans des secteurs à haut risque comme l'ingénierie aéronautique et le voyage spatial, où des organisations comme Boeing ou la NASA les utilisent, a ajouté Ritzdorf. Dans le secteur des Crypto , où l'argent est représenté par des unités numériques et dicté par un code, les entreprises traditionnelles et les start-ups utilisent la vérification formelle pour garantir qu'il est très peu probable que les utilisateurs dépensent ce qu'ils n'ont T ou perdent ce qu'ils ont.

Les acteurs du Crypto qui recherchent une vérification formelle sont généralement plus sérieux, comme les entreprises spécialisées dans la Finance décentralisée ou les stablecoins, a déclaré Daryl Hok, directeur de l'exploitation de CertiK, une entreprise de cybersécurité blockchain. L'Association Libra a également planspour créer une vérification formelle automatisée pour son langage de programmation, Move.

« Nous constatons que de plus en plus de projets recherchent la rigueur qu'offre la vérification formelle », a déclaré Hok. « Ces équipes sont généralement auto-sélectionnées et disposent généralement des équipes les mieux équipées et des capitaux suffisants pour mener à bien ces tâches. »

Les clients qui s'adressent à PwC Suisse pour des audits blockchain sont généralement des entreprises majoritairement issues des secteurs bancaire, manufacturier et commercial, a déclaré Andreas Eschbach, associé et responsable de l'assurance des risques pour PwC Suisse et Europe.

« Il est issu des startups et devient populaire parmi les entreprises qui existent depuis plus de 80 ans », a déclaré Eschbach.

Grâce à l’expertise juridique de PwC, l’équipe de ChainSecurity peut aller plus loin qu’auparavant dans son analyse des contrats intelligents.

« L'étape de conformité a toujours été difficile pour nous », a déclaré Ritzdorf. « Nous avons simplement décrit techniquement le rôle du contrat intelligent et avons dû faire appel à un cabinet d'avocats pour vérifier sa conformité juridique. »