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

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

Филиал консалтинговой компании PwC в Швейцарии привлек к своим разработкам в области блокчейна команду ChainSecurity, специализирующуюся на аудите смарт-контрактов.

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

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

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

По словам Андреаса Эшбаха (Andreas Eschbach), руководителя направления страхования рисков в PwC Switzerland, клиенты, которые обращаются в компанию для проведения аудитов с помощью инструментов на базе блокчейна, в основном работают в банковском, торговом и производственном секторе.

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

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

Напомним, что в июне прошлого года PwC запустила
обновленное решение Halo с возможностью аудита криптовалют.

Источник

Добавить комментарий

Ваш адрес email не будет опубликован. Обязательные поля помечены *