About
What I work on, how I think about security, and the kinds of systems I review.
I’m Vishal Singh, a blockchain and cryptography security researcher focused on systems where correctness matters under adversarial conditions.
My work spans zkVMs, Layer 2 infrastructure, smart contracts, blockchain protocols, and advanced cryptographic systems. I review systems built in Solidity, Rust, Cairo, and ZK-focused stacks, with a particular focus on bugs that often survive standard testing and routine review.
What I focus on
- proof verification flaws and soundness risks
- Fiat–Shamir and transcript-related issues
- validator and slashing logic failures
- randomness and cryptographic assumption failures
- accounting edge cases in high-value protocols
- architecture and trust-boundary mistakes in infrastructure systems
Areas I work across
- zkVM and proof-system security
- Layer 2 and infrastructure security
- smart contract and DeFi protocol audits
- Rust cryptography and verifier review
- security research and threat modeling
How I work
I approach reviews from the perspective that the most expensive bugs are usually not simple syntax mistakes. They sit at the boundary between implementation details, protocol assumptions, and adversarial behavior.
That means I spend a lot of time tracing invariants, reasoning about edge cases, and checking where system assumptions stop being true.
Work with me
If you’re building a high-complexity protocol, infrastructure component, zk system, or cryptographic product, you can request an audit or book a call. You can also reach out via GitHub, X, or Telegram.