PwC Switzerland включає команду ChainSecurity для розширення інструментів аудиту блокчейну

Швейцарська компанія PricewaterhouseCoopers (PwC) залучила аудиторську компанію ChainSecurity, яка спеціалізується на розробці смарт-контрактів, об’єднавши Технології компанії та її досвід у бухгалтерську фірму «Великої четвірки», як оголосили компанії на початку цього тижня.

Сім технічних інженерів приєднуються до бухгалтерської фірми, щоб зміцнити можливості PwC Switzerland з аудиту розумних контрактів.

Після виділення зі складу Швейцарського федерального Технології інституту в Цюріху (ETH Zürich) у жовтні 2017 року ChainSecurity провела понад 75 аудитів смарт-контрактів і блокчейнів у всьому світі та має тривалу співпрацю з PwC Switzerland — компанією в мережі PwC. використовується Фондом Tezos для зовнішнього аудиту. Минулого року ChainSecurity виявлено проблема, яка затримала Константинопольський хардфорк, і проблеми з Стамбульським хардфорком.

Команда продовжуватиме співпрацювати з федеральним інститутом і його новим роботодавцем, щоб оновити інструменти PwC Швейцарія та зробити їх більш сумісними з формальною перевіркою або математичними доказами, які перевіряють критично важливий вихідний код, щоб переконатися, що він працює так, як задумали програмісти.

«Щодо смарт-контрактів загалом ONE сказати, що вони представляють сучасну бізнес-логіку для компаній», — сказав Хуберт Рітцдорф, колишній Технології директор ChainSecurity та технічний керівник відділу забезпечення розумних контрактів у PwC Швейцарія. «Якщо у стейблкойні є помилка, ви можете створити монети, які не забезпечені належним чином заставою».

Хоча формальна перевірка була частиною набору продуктів команди до приєднання до PwC, Рітцдорф і його колеги планують розширити свої пропозиції в продуктах наступного покоління.

Зазвичай інструменти, які використовують формальну перевірку, використовуються в галузях високого ризику, таких як літакобудування та космічні подорожі, де їх використовують організації, зокрема Boeing або NASA, додав Рітцдорф. У Крипто , де гроші представлені цифровими одиницями та диктуються кодом, традиційні фірми та стартапи використовують формальну перевірку, щоб переконатися, що користувачі можуть витрачати те, чого вони T мають, або втрачати те, що мають, дуже малоймовірно.

Гравці в Крипто , які прагнуть офіційної перевірки, як правило, більш серйозні, наприклад компанії, що займаються децентралізованими Фінанси або стейблкоїнами, сказав Деріл Хок, головний операційний директор компанії CertiK з блокчейн-безпеки. Асоціація Терезів також плани створити автоматизовану формальну перевірку своєї мови програмування Move.

«Ми бачимо все більше і більше проектів, які шукають суворість, яку забезпечує формальна перевірка», — сказав Хок. «Це, як правило, самі обирають і, як правило, є найбільш оснащеними командами та мають достатньо капіталу для виконання цих завдань».

За словами Андреаса Ешбаха, партнера та керівника відділу страхування ризиків у PwC у Швейцарії та Європі, клієнти, які приходять до PwC Швейцарія для проведення аудиту блокчейну, – це переважно підприємства банківської сфери, виробництва та торгівлі.

«Він виріс із стартапів і стає популярним серед компаній, яким понад 80 років», — сказав Ешбах.

Завдяки правовому досвіду PwC команда ChainSecurity може піти далі, ніж це було раніше, у своєму аналізі смарт-контрактів.

«Нам завжди було важко виконати крок дотримання вимог», — сказав Рітцдорф. «Ми просто записали технічно, що робить смарт-контракт, і довелося звернутися до юридичної фірми, щоб перевірити, чи він відповідає законодавству».