zero-knowledge engineer · smart contract developer
Arush Singh
I build Zero-Knowledge circuits in Noir and the Solidity contracts that verify them — undercollateralized lending, proof-of-solvency, provably fair randomness. Currently deep in STARKs and FRI.
about
Profile
I'm a self-taught blockchain developer specializing in Solidity smart contracts and Zero-Knowledge cryptography, with a focus on DeFi protocols, on-chain automation, and rigorous testing. I've built and deployed contracts integrating Chainlink VRF and Automation, and written ZK circuits in Noir — spanning Merkle Sum Tree proof-of-solvency and undercollateralized credit verification — with on-chain proof verification via Barretenberg's UltraHonk.
My foundation is in smart contract security: reentrancy, access control, and invariant & fuzz testing. I'm now working toward a Zero-Knowledge Engineer role as my primary goal, while staying open to smart-contract development roles at ZK-adjacent teams along the way.
- Based in
- New Delhi,
- India
- Studying
- Bachelor's - CS
- 2023 - Present
- Right now
- STARKs & FRI
skills
What I work with
Smart contracts
ZK & Cryptography
Security & Testing
Tooling & Languages
Certifications
All certificates earned through the Cyfrin Updraft platform.
work
Projects
Hackathons
roadmap
The path to ZK engineer
The study plan I'm actually following, stage by stage. Hover or click a stage for a more detail on what it covers and where it shows up in my work.
contact
Let's talk
Open to Zero-Knowledge Engineer roles and smart-contract work at ZK-adjacent teams for full-time / contract / freelance opportunities.