Zero Knowledge ZKPs, Audits & Security with Benjamin Perez from Trail of Bits
Mar 25, 2020
In this episode, Benjamin Perez from Trail of Bits discusses auditing zero knowledge proof systems and the challenges faced. They touch on the evolution of the crypto tech auditing business, recent bugs and vulnerabilities in zkp systems, and the importance of analyzing security properties in protocols like Zcash.
Chapters
Transcript
Episode notes
1 2 3 4 5 6 7
Introduction
00:00 • 2min
The Evolution of Blockchain Auditing
01:35 • 16min
Auditing Zero Knowledge Proof Systems and the Challenges Faced
17:05 • 11min
Auditing a Complex System: Challenges and Approaches
27:37 • 3min
Building Tools and Automating Tasks
30:51 • 2min
Zcash Vulnerability: Side Channel Attacks and De-anonymization
32:25 • 6min
Privacy Issues in Zcash and the Importance of Analyzing Security Properties
38:12 • 16min