Філія консалтингової компанії PwC в Швейцарії залучив до своїх розробок в області блокчейна команду ChainSecurity, що спеціалізується на аудиті смарт-контрактів.
Сім інженерів ChainSecurity приєдналися до розробок PwC з метою розвитку інструментів консалтингової фірми в області смарт-контрактів і блокчейна. Команда буде працювати над оновленням інструментів PwC Switzerland та їх сумісності з формальної верифікацією або математичними доказами, які тестують критично важливий вихідний код, щоб гарантувати його роботу у відповідності з намірами програмістів.
«Що стосується смарт-контрактів в цілому, можна сказати, що вони являють собою сучасну бізнес-логіку для компаній», – сказав колишній директор за технологіями в ChainSecurity і технічний керівник по роботі зі смарт-контрактами в PwC Switzerland Хуберт Ритцдорф (Hubert Ritzdorf). «Якщо в стейблкоине є помилка, існує ймовірність створення монет, які не забезпечені активом відповідним чином».
Зазвичай інструменти, які використовують формальну верифікацію, застосовуються у галузях з високим ступенем ризику, таких як комічне і авіабудування, зазначає Ритцдорф. У криптовалютной індустрії традиційні фірми і стартапи використовують формальну верифікацію, щоб гарантувати, що користувачі не зможуть витратити монети, якими не володіють, і не втратять свої накопичення з-за помилки.
За словами Андреаса Эшбаха (Andreas Eschbach), керівника напряму страхування ризиків в PwC Switzerland, клієнти, які звертаються в компанію для проведення аудитів з допомогою інструментів на базі блокчейна, в основному працюють у банківській, торговельній та виробничому секторі.
Завдяки експертним навичкам PwC в юридичному полі, команда ChainSecurity може поліпшити свої напрацювання у сфері аналізу смарт-контрактів.
«Ми завжди відчували труднощі, коли справа доходила до дотримання законів», – сказав Ритцдорф. «Ми забезпечували технічну складову роботи смарт-контракту, і нам доводилося звертатися в юридичну фірму, щоб перевірити, чи відповідає він вимогам законодавства».
Нагадаємо, що в червні минулого року запустила PwC
оновлене рішення Halo з можливістю аудиту криптовалют.
Thanks!
Our editors are notified.