Shankara focuses on blockchain security audits spanning multiple verticals, with principal emphasis on creating Picus, Veridise’s tool for verifying ZK determinism.
He possesses robust expertise in program analysis, verification, and synthesis, having pursued academic research in zero knowledge proofs, fuzzing, and file systems (crash consistency bugs), among other areas. He demonstrates deep knowledge of zkVMs and SMT solving.
Beyond his academic achievements, Shankara contributes years of software engineering expertise gained from the medical device and travel sectors. He holds a Ph.D. in Computer Science from the University of Texas at Austin, an M.Sc. from Columbia University, and a B.S. from the University of Chicago.
At Veridise, Shankara operates as a lead ZK auditor, possessing substantial experience auditing top tier protocols within the ZK domain.
Get detailed case study showing how formal verification stopped production vulnerabilities
Each case study breaks down actual vulnerabilities we discovered in production code, the mathematical proofs we used to catch them, and the specific verification techniques that prevented exploitation. See the exact tools and methodologies our clients use to ship secure protocols.
“AuditHub has an amazing tool, Picus, which enables RISC Zero to verify and prove the determinism of our ZK circuits. AuditHub integrated into our CI/CD and performs automated checks while we continue making improvements to our code. Amazing work!”
CEO & Co-founder at RISC Zero
Get detailed case study showing how formal verification stopped production vulnerabilities
Each case study breaks down actual vulnerabilities we discovered in production code, the mathematical proofs we used to catch them, and the specific verification techniques that prevented exploitation. See the exact tools and methodologies our clients use to ship secure protocols.
“AuditHub has an amazing tool, Picus, which enables RISC Zero to verify and prove the determinism of our ZK circuits. AuditHub integrated into our CI/CD and performs automated checks while we continue making improvements to our code. Amazing work!”
CEO & Co-founder at RISC Zero
