16:35

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

Филиал консалтинговой компании PwC в Швейцарии привлек к своим разработкам в области блокчейна команду ChainSecurity, специализирующуюся на аудите смарт-контрактов. Семь инженеров ChainSecurity присоединились к разработкам PwC с целью развития инструментов консалтинговой фирмы в области смарт-контрактов и блокчейна. Команда будет работать над обновлением инструментов PwC Switzerland и их совместимостью с формальной верификацией или математическими доказательствами, которые тестируют критически важный исходный код, чтобы гарантировать его работу в соответствии с намерениями программистов. «Что касается смарт-контрактов в целом, можно сказать, что они представляют собой современную бизнес-логику для компаний», - сказал бывший директор по технологиям в ChainSecurity и технический руководитель по работе со смарт-контрактами в PwC Switzerland Хуберт Ритцдорф (Hubert Ritzdorf). «Если в стейблкоине есть ошибка, существует вероятность создания монет, которые не обеспечены активом соответствующим образом». Обычно инструменты, которые используют формальную верификацию, применяются в отраслях с высокой степенью риска, таких как комическое и авиастроение, отмечает Ритцдорф. В криптовалютной индустрии традиционные фирмы и стартапы используют формальную верификацию, чтобы гарантировать, что пользователи не смогут потратить монеты, которыми не владеют, и не потеряют свои накопления из-за ошибки. По словам Андреаса Эшбаха (Andreas Eschbach), руководителя направления страхования рисков в PwC Switzerland, клиенты, которые обращаются в компанию для проведения аудитов с помощью инструментов на базе блокчейна, в основном работают в банковском, торговом и производственном секторе. Благодаря экспертным навыкам PwC в юридическом поле, команда ChainSecurity может улучшить свои наработки в области анализа смарт-контрактов. «Мы всегда испытывали трудности, когда дело доходило до соблюдения законов», - сказал Ритцдорф. «Мы обеспечивали техническую составляющую работы смарт-контракта, и нам приходилось обращаться в юридическую фирму, чтобы проверить, соответствует ли он требованиям законодательства». Напомним, что в июне прошлого года PwC запустила обновленное решение Halo с возможностью аудита криптовалют.

• 14:46 Держать или продавать: до решения по Ethereum-ETF осталось несколько часов
• 14:46 Биткоин-биржа Kuna провела переговоры о продаже бизнеса в Украине
• 14:08 Нацбанк Украины ограничит физлицам количество P2P-операций
• 13:47 Открытый интерес к фьючерсам на Ethereum впервые превысил $15,6 млрд
• 13:31 Ethereum уже почти $4000. Почему?
• 13:26 Как далекий от криптовалют документалист при помощи мамы и $2500 снял фильм о крахе FTX
• 12:33 Дело о взятке в 2718 BTC поступило в подмосковный суд
• 11:28 Posidex Technologies первой в Индии разработала технологию блокчейна с нулевым разглашением

И еще 24