Shankara specializes in blockchain security audits across various verticals, with a primary focus on developing Picus, AuditHub’s tool used by Veridise for checking ZK determinism.
He has a strong background in program analysis, verification, and synthesis, and has conducted academic research in zero-knowledge proofs, fuzzing, and file systems (crash-consistency bugs), among others. He is also well-versed in zkVMs and SMT solving.
In addition to his academic accomplishments, Shankara brings years of software engineering experience from the medical device and travel industries.
He earned 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 serves as Chief Research Officer, with extensive experience auditing industry-leading protocols in the ZK space.
Experience overview
Experience
C++, Cairo, Circom, Rust, Solidity, Solana, Substrate, arkworks, Gnark, Halo2, plonky2x, plonky3
Specialities
Smart Contracts, Infrastructure, Zero Knowledge
Previous work
Academic work
- Integer Reasoning Modulo Different Constants in SMT
- Automated Verification of Consistency in Zero-Knowledge Proof Circuits
- Split Gröbner Bases for Satisfiability Modulo Finite Fields
- {MoonShine}: Optimizing {OS} fuzzer seed selection with trace distillation
- Automated detection of under-constrained circuits in zero-knowledge proofs,
- Practical Security Analysis of Zero-Knowledge Proof Circuits.
- Optimization and abstraction: a synergistic approach for analyzing neural network robustness, G Anderson, S Pailoor, I Dillig, S Chaudhuri
- Shankara’s academic research on Google scholar
Full audit reports
- RISC Zero, 24 Feb 2024, zkVM
- Succinct, 14 Jun 2024, SP1 Recursion security review
- Ankr protocol, 17 Feb 2023, token staking protocol
- MakerDAO, 4 Feb 2023, review security of Multi Colleteral Dai Protocol for StarkNet
- Semaphore, 5 Jan 2023, security review of Groups v3
- Succinct, 11 March 2023, Telepathy
Conference presentations
Shankara has delivered presentations at numerous conferences
Picus: Push button ZK Circuit verification
17 min | ETH CC 2023
Automatically detecting under constrained zkCircuits with Picus
60 min | ZK House Bogotá 2022
Optimizing OS Fuzzer Seed Selection with Trace Distillation
23 min | Usenix Security 2018