Как отмечается, семь инженеров ChainSecurity присоединились к разработкам PwC с целью развития инструментов консалтинговой фирмы в области смарт-контрактов и блокчейна. Команда будет работать над обновлением инструментов PwC Switzerland и их совместимостью с формальной верификацией или математическими доказательствами, которые тестируют критически важный исходный код, чтобы гарантировать его работу в соответствии с намерениями программистов.
«Что касается смарт-контрактов в целом, можно сказать, что они представляют собой современную бизнес-логику для компаний. Если в стейблкоине есть ошибка, существует вероятность создания монет, которые не обеспечены активом соответствующим образом», – сказал бывший директор по технологиям в ChainSecurity и технический руководитель по работе со смарт-контрактами в PwC Switzerland Хуберт Ритцдорф.
Обычно инструменты, которые используют формальную верификацию, применяются в отраслях с высокой степенью риска, таких как комическое и авиастроение, отмечает Ритцдорф. В криптовалютной индустрии традиционные фирмы и стартапы используют формальную верификацию, чтобы гарантировать, что пользователи не смогут потратить монеты, которыми не владеют, и не потеряют свои накопления из-за ошибки.
По словам руководителя направления страхования рисков в PwC Switzerland Андреаса Эшбаха клиенты, которые обращаются в компанию для проведения аудитов с помощью инструментов на базе блокчейна, в основном работают в банковском, торговом и производственном секторе.
Благодаря экспертным навыкам PwC в юридическом поле, команда ChainSecurity может улучшить свои наработки в области анализа смарт-контрактов.
«Мы всегда испытывали трудности, когда дело доходило до соблюдения законов. Мы обеспечивали техническую составляющую работы смарт-контракта, и нам приходилось обращаться в юридическую фирму, чтобы проверить, соответствует ли он требованиям законодательства», - сказал Ритцдорф.
Тем временем Burger King и PwC будут принимать биткоины.
А еще летом аудиторы PwC запустили решение для криптоинвесторов.
При этом PwC опубликовала «криптовалютные» предостережения.