PwC Svizzera incorpora il team ChainSecurity per espandere gli strumenti di audit blockchain

PricewaterhouseCoopers (PwC) Svizzera ha acquisito la società di revisione contabile di contratti intelligenti ChainSecurity, integrando la Tecnologie e l'esperienza dell'azienda nella società di revisione contabile Big Four, come annunciato dalle aziende all'inizio di questa settimana.

In quella che sembra un'acquisizione a tutti gli effetti, tranne che nel nome, i sette ingegneri tecnici si uniranno allo studio di contabilità per rafforzare le capacità di audit dei contratti intelligenti di PwC Svizzera.

Dopo essere stata scorporata dall'Istituto federale svizzero di Tecnologie di Zurigo (ETH Zürich) nell'ottobre 2017, ChainSecurity ha condotto più di 75 audit di smart contract e blockchain a livello globale e ha avuto una lunga relazione con PwC Svizzera, la società nella rete PwC. usato dalla Fondazione Tezos per la sua revisione contabile esterna. L'anno scorso, ChainSecurity scopertoun problema che ha ritardato l'hard fork di Costantinopoli e problemi con l'hard fork di Istanbul.

Il team continuerà a collaborare con l'istituto federale e a collaborare con il suo nuovo datore di lavoro per aggiornare gli strumenti di PwC Svizzera e renderli più compatibili con la verifica formale, ovvero le prove matematiche che testano il codice sorgente di importanza critica per garantire che funzioni come previsto dai programmatori.

"Per gli smart contract in generale, ONE può dire che rappresentano una logica aziendale moderna per le aziende", ha affermato Hubert Ritzdorf, ex direttore Tecnologie di ChainSecurity e responsabile tecnico per la garanzia degli smart contract presso PwC Svizzera. "Se una stablecoin ha un bug, potresti creare monete che non sono adeguatamente supportate da garanzie".

Sebbene la verifica formale facesse parte della suite di prodotti del team prima di entrare in PwC, Ritzdorf e i suoi colleghi intendono espandere la propria offerta nella prossima generazione dei loro prodotti.

Di solito gli strumenti che impiegano la verifica formale vengono utilizzati in settori ad alto rischio come l'ingegneria aeronautica e i viaggi spaziali, dove organizzazioni come Boeing o NASA li utilizzano, ha aggiunto Ritzdorf. Nel settore Cripto , dove il denaro è rappresentato da unità digitali e dettato da un codice, le aziende tradizionali e le start-up utilizzano la verifica formale per garantire che sia molto improbabile che gli utenti possano spendere ciò che T hanno o perdere ciò che hanno.

I player delle Cripto che cercano una verifica formale tendono a essere più seri, come le aziende che si occupano di Finanza decentralizzata o stablecoin, ha affermato Daryl Hok, direttore operativo della società di sicurezza informatica blockchain CertiK. La Libra Association ha anche pianiper creare una verifica formale automatizzata per il suo linguaggio di programmazione, Move.

"Stiamo assistendo a sempre più progetti che cercano il rigore che la verifica formale fornisce", ha affermato Hok. "Di solito sono auto-selezionati e tendono a essere i team più attrezzati e ad avere abbastanza capitale per fare queste cose".

I clienti che si rivolgono a PwC Svizzera per gli audit blockchain tendono a essere per la maggior parte aziende del settore bancario, manifatturiero e commerciale, ha affermato Andreas Eschbach, partner e responsabile della garanzia del rischio per PwC Svizzera ed Europa.

"È cresciuto dalle startup e sta diventando popolare tra le aziende che hanno più di 80 anni", ha detto Eschbach.

Grazie alla competenza legale di PwC, il team di ChainSecurity può andare oltre quanto fatto in precedenza nell'analisi dei contratti intelligenti.

"Per noi è sempre stato difficile fare la fase di conformità", ha detto Ritzdorf. "Abbiamo semplicemente scritto tecnicamente cosa fa lo smart contract e abbiamo dovuto rivolgerci a uno studio legale per verificare se fosse conforme alla legge".