PwC Switzerland объединяет команду ChainSecurity для расширения инструментов аудита блокчейна

PricewaterhouseCoopers (PwC) Switzerland привлекла фирму ChainSecurity, занимающуюся аудитом смарт-контрактов, вложив Технологии и опыт компании в аудиторскую фирму «большой четверки», о чем компании объявили ранее на этой неделе.

В ходе сделки, которая по всем параметрам, кроме названия, выглядит как приобретение, семь технических инженеров присоединяются к аудиторской фирме, чтобы усилить возможности PwC Switzerland в области аудита смарт-контрактов.

После отделения от Швейцарского федерального Технологии института в Цюрихе (ETH Zürich) в октябре 2017 года компания ChainSecurity провела более 75 аудитов смарт-контрактов и блокчейнов по всему миру и имеет давние партнерские отношения с PwC Switzerland — компанией в сети PwC. использовал Tezos Foundation для внешнего аудита. В прошлом году ChainSecurity обнаруженныйпроблема, которая задержала хард-форк Constantinople, и проблемы с хард-форком Istanbul.

Команда продолжит сотрудничать с федеральным институтом и работать со своим новым работодателем над модернизацией инструментов PwC Switzerland и повышением их совместимости с формальной проверкой или математическими доказательствами, которые проверяют критически важный исходный код, чтобы убедиться, что он работает так, как задумали программисты.

«Что касается смарт-контрактов в целом, ONE сказать, что они представляют собой современную бизнес-логику для компаний», — сказал Хуберт Ритцдорф, бывший главный Технологии директор ChainSecurity и технический руководитель по обеспечению смарт-контрактов в PwC Switzerland. «Если в стейблкоине есть ошибка, вы можете создавать монеты, которые не будут должным образом обеспечены залогом».

Хотя до прихода в PwC формальная проверка входила в пакет продуктов команды, Ритцдорф и его коллеги планируют расширить свои предложения в следующем поколении своих продуктов.

Обычно инструменты, использующие формальную проверку, используются в отраслях с высоким уровнем риска, таких как авиастроение и космические путешествия, где их используют такие организации, как Boeing или NASA, добавил Ритцдорф. В Криптo , где деньги представлены цифровыми единицами и диктуются кодом, традиционные фирмы и стартапы используют формальную проверку, чтобы гарантировать, что пользователи вряд ли смогут потратить то, чего у них T , или потерять то, что у них есть.

Игроки в Криптo , которые стремятся к формальной верификации, как правило, более серьезны, например, компании, занимающиеся децентрализованными Финансы или стейблкоинами, сказал Дэрил Хок, главный операционный директор компании по кибербезопасности блокчейна CertiK. Ассоциация Libra также планыдля создания автоматизированной формальной проверки для своего языка программирования Move.

«Мы видим все больше и больше проектов, которые стремятся к строгости, которую обеспечивает формальная проверка», — сказал Хок. «Обычно они выбирают сами себя и, как правило, являются наиболее оснащенными командами и имеют достаточно капитала для выполнения этих задач».

По словам Андреаса Эшбаха, партнера и руководителя отдела страхования рисков PwC в Швейцарии и Европе, клиентами, которые обращаются в PwC Switzerland за аудитом блокчейна, как правило, являются преимущественно предприятия банковской сферы, производства и торговли.

«Она выросла из стартапов и становится популярной среди компаний, которые существуют около 80 лет и более», — сказал Эшбах.

Благодаря юридической экспертизе PwC команда ChainSecurity может продвинуться дальше, чем раньше, в анализе смарт-контрактов.

«Этап соответствия всегда был для нас сложным», — сказал Рицдорф. «Мы просто технически записали, что делает смарт-контракт, и должны были обратиться в юридическую фирму, чтобы проверить, соответствует ли он требованиям закона».