In the mind of thisvishalsingh
Join me as I explore the complex and fascinating world of Ethereum and other Blockchains. I look under the hood of protocols, Layer 2 solutions, and developer tools. From technical tutorials to in-depth cryptography research and DeFi analyses, there’s much to explore.
A logic flaw in GOAT Network's slash fraction calculations allowing negative slashing, validator inflation, and token siphoning.
Three bugs in LeanMultisig's Fiat-Shamir layer — transcript malleability, 32-bit shift panic, and a PoW bypass at max difficulty. All share the same root cause.
A comprehensive checklist of common security pitfalls and vulnerability patterns in Cairo smart contracts on StarkNet.
An analysis of the most critical vulnerability classes in ZK-SNARK systems, their root causes, and how to reason about them during an audit.
A deep dive into Nova's recursive proof system and CycleFold's cycle-of-curves folding scheme — how they work, their security assumptions, and trade-offs.
A structured checklist for auditing Fully Homomorphic Encryption protocols — covering parameter selection, noise budgets, circuit correctness, and implementation pitfalls.
A transparent look at how I work with clients — from scope definition and kick-off calls through multi-pass code review, reporting, and fix verification.