About
Specialist security research grounded in proof systems, cryptographic infrastructure, and hands-on engineering.
thisvishalsingh
Independent security researcher focused on zkVMs, proof systems, and cryptographic infrastructure.
Independent security research at the boundary between proof-system design, cryptographic implementation, and adversarial software review.
Specialization
zkVMs and proof systems
Verifier behavior, transcript construction, soundness assumptions, execution constraints, and the interfaces between proving components.
Cryptographic infrastructure
Security-critical protocols where implementation details, trust boundaries, and state transitions can invalidate otherwise sound designs.
Implementation review
Rust and Solidity are supporting implementation languages for reviewing the proof, verifier, bridge, and protocol logic around that specialist focus.
Direct-review approach
Model the system first
Establish assets, invariants, trust assumptions, deployment context, and proof boundaries before treating isolated code paths as findings.
Trace adversarial behavior
Follow state transitions, malformed inputs, challenge construction, verifier decisions, and cross-component assumptions through the implementation.
Stay through remediation
Discuss findings directly, verify fixes against the original failure mode, and deliver an engineering-focused final report.
Engineering background
An experimental, unaudited RISC-V zkVM proving toolstack for exploring execution models, proof-system assumptions, and verifier boundaries.
Prior Solidity development experience on cross-chain infrastructure, informing review of messaging, trust boundaries, and integration behavior.