Филиал консалтинговой компании PwC в Швейцарии привлек к своим разработкам в области блокчейна команду ChainSecurity, специализирующуюся на аудите смарт-контрактов. Семь инженеров ChainSecurity присоединились к разработкам PwC с целью развития инструментов консалтинговой фирмы в области смарт-контрактов и блокчейна. Команда будет работать над обновлением инструментов PwC Switzerland и их совместимостью с формальной верификацией или математическими доказательствами, которые тестируют критически важный исходный код, чтобы гарантировать его работу в соответствии с намерениями программистов. «Что касается смарт-контрактов в целом, можно сказать, что они представляют собой современную бизнес-логику для компаний», — сказал бывший директор по технологиям в ChainSecurity и технический руководитель по работе со смарт-контрактами в Новое сообщение PwC Switzerland привлекла команду ChainSecurity для работы над инструментами для аудита на базе блокчейна появилось на КриптоВики.
JOIN
