Isinasama ng PwC Switzerland ang ChainSecurity Team para Palawakin ang Blockchain Audit Tools

Ang PricewaterhouseCoopers (PwC) Switzerland ay nagdala ng matalinong contract audit firm na ChainSecurity, na inilipat ang Technology ng kumpanya at ang kadalubhasaan nito sa Big Four accounting firm, inihayag ng mga kumpanya noong unang bahagi ng linggong ito.

Sa tila isang acquisition sa lahat maliban sa pangalan, ang pitong teknikal na inhinyero ay sumali sa accounting firm upang palakasin ang mga kakayahan ng smart contract audit ng PwC Switzerland.

Matapos maalis sa Swiss Federal Institute of Technology sa Zurich (ETH Zürich) noong Oktubre 2017, ang ChainSecurity ay nagsagawa ng higit sa 75 smart contract at blockchain audit sa buong mundo at nagkaroon ng mahabang relasyon sa PwC Switzerland -- ang kumpanya sa PwC network ginamit ng Tezos Foundation para sa panlabas na pag-audit nito. Noong nakaraang taon, ChainSecurity natuklasan isang isyu na naantala ang Constantinople hard fork at isyu sa Istanbul hard fork.

Ang koponan ay patuloy na makikipagtulungan sa pederal na instituto at makikipagtulungan sa bago nitong tagapag-empleyo upang i-upgrade ang mga tool ng PwC Switzerland at gawing mas tugma ang mga ito sa pormal na pag-verify, o ang mga mathematical na patunay na sumusubok sa mission-critical source code upang matiyak na ito ay gumagana ayon sa nilalayon ng mga programmer.

"Para sa mga matalinong kontrata sa pangkalahatan, masasabi ng ONE na kinakatawan nila ang modernong lohika ng negosyo para sa mga kumpanya," sabi ni Hubert Ritzdorf, dating punong opisyal ng Technology sa ChainSecurity at teknikal na lead para sa matalinong pagtitiyak ng kontrata sa PwC Switzerland. "Kung ang isang stablecoin ay may bug, maaari kang lumikha ng mga barya na hindi maayos na sinusuportahan ng collateral."

Habang ang pormal na pag-verify ay bahagi ng product suite ng team bago sumali sa PwC, pinaplano ni Ritzdorf at ng kanyang mga kasamahan na palawakin ang kanilang mga alok sa susunod na henerasyon ng kanilang mga produkto.

Karaniwang ginagamit ang mga tool na gumagamit ng pormal na pag-verify sa mga industriyang may mataas na peligro tulad ng engineering ng eroplano at paglalakbay sa kalawakan kung saan ginagamit ng mga organisasyon kabilang ang Boeing o NASA, idinagdag ni Ritzdorf. Sa industriya ng Crypto , kung saan ang pera ay kinakatawan ng mga digital na unit at dinidiktahan ng code, ang mga tradisyunal na kumpanya at mga start-up ay gumagamit ng pormal na pag-verify upang matiyak na napakaimposibleng gastusin ng mga user ang T sa kanila o mawala ang mayroon sila.

Ang mga manlalaro sa Crypto na naghahanap ng pormal na pag-verify ay malamang na maging mas seryoso, tulad ng mga kumpanyang nakikitungo sa desentralisadong Finance o mga stablecoin, sabi ni Daryl Hok, punong operating officer ng blockchain cybersecurity company na CertiK. Ang Libra Association din mga plano upang lumikha ng awtomatikong pormal na pag-verify para sa programming language nito, Move.

"Kami ay nakakakita ng higit at higit pang mga proyekto na naghahanap ng higpit na ibinibigay ng pormal na pag-verify," sabi ni Hok. "Ang mga iyon ay karaniwang pinipili sa sarili at malamang na ang mga koponan na may pinakamaraming kagamitan at may sapat na kapital upang gawin ang mga bagay na ito."

Ang mga kliyente na pumupunta sa PwC Switzerland para sa mga pag-audit ng blockchain ay malamang na karamihan sa mga negosyo mula sa pagbabangko, pagmamanupaktura at pangangalakal, sabi ni Andreas Eschbach, kasosyo at pinuno ng katiyakan sa panganib para sa PwC Switzerland at Europa.

"Lumabo ito mula sa mga startup at nagiging tanyag sa mga kumpanyang mahigit 80 taon na," sabi ni Eschbach.

Gamit ang legal na kadalubhasaan ng PwC, ang ChainSecurity team ay maaaring pumunta nang higit pa kaysa sa dati sa pagsusuri nito ng mga matalinong kontrata.

"Ang hakbang sa pagsunod ay palaging mahirap para sa amin na gawin," sabi ni Ritzdorf. "Isinulat lang namin sa teknikal kung ano ang ginagawa ng matalinong kontrata at kailangang pumunta sa isang law firm upang suriin kung ito ay legal na sumusunod."