Филиал консалтинговой компании PwC в Швейцарии привлек к своим разработкам в области блокчейна команду ChainSecurity, специализирующуюся на аудите смарт-контрактов.
Семь инженеров ChainSecurity присоединились к разработкам PwC с целью развития инструментов консалтинговой фирмы в области смарт-контрактов и блокчейна. Команда будет работать над обновлением инструментов PwC Switzerland и их совместимостью с формальной верификацией или математическими доказательствами, которые тестируют критически важный исходный код, чтобы гарантировать его работу в соответствии с намерениями программистов.
Обычно инструменты, которые используют формальную верификацию, применяются в отраслях с высокой степенью риска, таких как комическое и авиастроение, отмечает Ритцдорф. В криптовалютной индустрии традиционные фирмы и стартапы используют формальную верификацию, чтобы гарантировать, что пользователи не смогут потратить монеты, которыми не владеют, и не потеряют свои накопления из-за ошибки.
По словам Андреаса Эшбаха (Andreas Eschbach), руководителя направления страхования рисков в PwC Switzerland, клиенты, которые обращаются в компанию для проведения аудитов с помощью инструментов на базе блокчейна, в основном работают в банковском, торговом и производственном секторе.
Благодаря экспертным навыкам PwC в юридическом поле, команда ChainSecurity может улучшить свои наработки в области анализа смарт-контрактов.
Напомним, что в июне прошлого года PwC запустила
обновленное решение Halo с возможностью аудита криптовалют.
- Биткоин: где купить? Обзор некоторых платформ для покупки криптовалюты
- Cryptonica – лучший информационный портал о криптовалюте
- Прогноз курса Ethereum: опасения регулирующих органов по поводу будущего ETH стремительно растет
- Обмен юсдт на российские рубли
- Выбор интернет-казино с минимальным депозитом и невысокими ставками