PricewaterhouseCoopers atau yang dikenal dengan PwC Swiss menggandeng ChainSecurity untuk menjalankan sistem kontrak cerdas, hal ini menjadikan perusahaan tersebut menjadi perusahaan akuntansi yang masuk kedalam the Big Four.

Dari seperti yang kita lihat proses akuisisi tersebut, tujuh teknisi berpengalam bergabung dengan perusahaan tersebut untuk meningkatkan kemampuan dari sistem kontrak audit cerdas PwC Swiss. 

Setelah keluar dari Institut Teknologi Federal Swiss di Zurich (ETH Zürich) pada Oktober 2017, ChainSecurity telah melakukan lebih dari 75 audit kontrak dan blockchain dengan smart system secara global dan telah memiliki hubungan panjang dengan PwC Swiss - perusahaan dalam jaringan PwC digunakan oleh Yayasan Tezos untuk audit eksternal. Tahun lalu, ChainSecurity menemukan masalah sistem Hard Fork Konstantinopel dan masalah sistem Hard Fork Istanbul.

Tim akan terus berkolaborasi dengan lembaga federal dan bekerja dengan perusahaan barunya untuk memutakhirkan alat-alat PwC Swiss dan menjadikannya lebih kompatibel dengan verifikasi formal, atau bukti matematis yang menguji kode sumber untuk memastikannya beroperasi sesuai dengan yang diinginkan oleh programmer.

"Untuk kontrak pintar secara umum, dapat dikatakan bahwa mereka mewakili logika bisnis modern untuk perusahaan," kata Hubert Ritzdorf, mantan kepala teknologi di ChainSecurity dan pemimpin teknis untuk jaminan kontrak pintar di PwC Swiss. "Jika stablecoin memiliki bug, Anda dapat membuat koin yang tidak didukung dengan jaminan."

Sementara verifikasi formal adalah bagian dari rangkaian produk tim sebelum bergabung dengan PwC, Ritzdorf dan rekan-rekannya berencana untuk memperluas penawaran mereka di generasi berikutnya dari produk mereka.

Biasanya alat yang menggunakan verifikasi formal digunakan dalam industri berisiko tinggi seperti teknik pesawat terbang dan perjalanan ruang angkasa di mana organisasi termasuk Boeing atau NASA juga turut menggunakannya, Ritzdorf menambahkan. Dalam industri crypto, di mana uang diwakili oleh unit digital dan didikte oleh kode, perusahaan tradisional dan pemula menggunakan verifikasi formal untuk memastikan sangat kecil kemungkinan bahwa pengguna dapat menghabiskan apa yang mereka tidak miliki atau kehilangan apa yang mereka miliki.

Para pemain di crypto yang mencari verifikasi formal cenderung lebih serius, seperti perusahaan yang berurusan dengan keuangan terdesentralisasi atau stablecoin, kata Daryl Hok, chief operating officer perusahaan cybersecurity blockchain CertiK. Asosiasi Libra juga berencana untuk membuat verifikasi formal otomatis untuk bahasa pemrogramannya.

"Kami melihat semakin hari makin banyak proyek mencari sebuah ketelitian yang diberikan verifikasi formal," kata Hok. "Mereka biasanya memilih sendiri dan cenderung menjadi tim yang paling lengkap dan memiliki modal yang cukup untuk melakukan hal-hal ini."

Klien yang datang ke PwC Swiss untuk audit blockchain cenderung merupakan perusahaan mayoritas dari perbankan, manufaktur dan perdagangan, kata Andreas Eschbach, mitra dan pemimpin penjaminan risiko untuk PwC Swiss dan Eropa.

"Ini telah tumbuh dari startup dan menjadi populer di kalangan perusahaan yang sudah berjalan sekitar 80 tahun lebih," kata Eschbach.

Dengan keahlian hukum dari PwC, tim ChainSecurity dapat melangkah lebih jauh dari sebelumnya dalam analisis kontrak pintar.

“Langkah kepatuhan selalu sulit bagi kami untuk dilakukan,” kata Ritzdorf. "Kami hanya menuliskan secara teknis apa yang dilakukan kontrak pintar dan harus pergi ke lembaga hukum untuk memeriksa apakah itu sesuai secara hukum."