Auditing a Complex System: Challenges and Approaches

In this week's episode, we chat with Benjamin Perez from Trail of Bits about zero knowledge proof systems and security. We touch on the evolution of the crypto tech auditing business, the new challenges that emerge in zero knowledge proof systems regarding security, some of the recent bugs and vulnerabilities found in zkp systems and more!

Here is our previous episode on this topic with JP of Trail of Bits

Here is some background on the zkp vulnerabilities mentioned.

An Empirical Analysis of Anonymity in Zcash

Remote Side-Channel Attacks on Anonymous Transactions

If you want to join the zkSummit 5 online event, happening on Marcch 31st at 7 am PST, 10am EST, 4pm CET, please buy a ticket for the crowdcast here: https://www.crowdcast.io/e/zksummit

Hope to see you there!

If you like what we do:

Follow us on Twitter - @zeroknowledgefm

Join us on Telegram

Support our Gitcoin Grant

Support us on the ZKPatreon

Or directly here:

ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1a

BTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz

ZEC: t1R2bujRF3Hzte9ALHpMJvY8t5kb9ut9SpQ