thisvishalsingh's profile picture. Security Researcher  || Leading @Zippel_Labs , tg: http://t.me/thisvishalsingh . DM for security review.

thisvishalsingh 🪐

@thisvishalsingh

Security Researcher || Leading @Zippel_Labs , tg: http://t.me/thisvishalsingh . DM for security review.

Pinned

Announcing @Zippel_Labs I'm excited to finally share that from last few months building ZippelVM. End goal of ZippelVM is to prove the world software at low cost, fast, and Legitimately excited to start my own protocol. A new chapter, new challenge, let's see how it goes 🌊

zkVM tracker update: → new rows: Cairo, Starstream, Triton, Zippel → dual licensing wins: Jolt, Miden, Nock, o1 → new OpenVM group: Euclid, powdr → new EVM-unfriendly section → new non-permissive section soon™ — 6 new Ethproofs integrations: → RISC-V: Airbender, OpenVM,…

eth_proofs's tweet image. zkVM tracker update:

→ new rows: Cairo, Starstream, Triton, Zippel
→ dual licensing wins: Jolt, Miden, Nock, o1
→ new OpenVM group: Euclid, powdr
→ new EVM-unfriendly section
→ new non-permissive section

soon™ — 6 new Ethproofs integrations:

→ RISC-V: Airbender, OpenVM,…


thisvishalsingh 🪐 reposted

Honored to collaborate with @FormalLand. Bringing together formal verification + security research to raise the bar for ZK system security. 🔥

We’re joining forces with @Zippel_Labs (founded by @thisvishalsingh) to redefine ZK security auditing. Traditional security research + formal verification = complete end-to-end ZK security coverage 🤝.

FormalLand's tweet image. We’re joining forces with @Zippel_Labs (founded by @thisvishalsingh) to redefine ZK security auditing. Traditional security research + formal verification = complete end-to-end ZK security coverage 🤝.
FormalLand's tweet image. We’re joining forces with @Zippel_Labs (founded by @thisvishalsingh) to redefine ZK security auditing. Traditional security research + formal verification = complete end-to-end ZK security coverage 🤝.


imo zellic/c4a is playing a big game in the security space that others are missing. So called doing the same thing in a different way bcz of the difference in thinking.


I think @aztecnetwork will change the internet payment applications.


Excited for this collaboration - more coming soon 🤝

We’re joining forces with @Zippel_Labs (founded by @thisvishalsingh) to redefine ZK security auditing. Traditional security research + formal verification = complete end-to-end ZK security coverage 🤝.

FormalLand's tweet image. We’re joining forces with @Zippel_Labs (founded by @thisvishalsingh) to redefine ZK security auditing. Traditional security research + formal verification = complete end-to-end ZK security coverage 🤝.
FormalLand's tweet image. We’re joining forces with @Zippel_Labs (founded by @thisvishalsingh) to redefine ZK security auditing. Traditional security research + formal verification = complete end-to-end ZK security coverage 🤝.


thisvishalsingh 🪐 reposted

We’re joining forces with @Zippel_Labs (founded by @thisvishalsingh) to redefine ZK security auditing. Traditional security research + formal verification = complete end-to-end ZK security coverage 🤝.

FormalLand's tweet image. We’re joining forces with @Zippel_Labs (founded by @thisvishalsingh) to redefine ZK security auditing. Traditional security research + formal verification = complete end-to-end ZK security coverage 🤝.
FormalLand's tweet image. We’re joining forces with @Zippel_Labs (founded by @thisvishalsingh) to redefine ZK security auditing. Traditional security research + formal verification = complete end-to-end ZK security coverage 🤝.

write your prompts that has lead to earn in 6-figures- my recent prompt as SR 'hey you are an S-LSR of this rust project & have to find all bugs by examining all files, before my coffee is ready' `hey u r Lead-Dev, remove recursion system from sp1 core proving, before dinner `


80/20 rule is best. I use it mostly in my work. How you use it ?


why to take personal ? this is what I reminded myself everyday


The Mastering Ethereum v2 book is better in terms of detailed explanation about Cryptography and detailed explanation of zero knowledge. Done with chapter 4, 11, 19. - In reference: @RareSkills_io zk book featured.


2026 will be big year for privacy-stack security researchers and for ethereum -zk for ethereum: we will be seeing zk erc20, zk erc721 and then mainstream defi -mpc & fhe for ethereum privacy I have been busy in doing research on them


thisvishalsingh 🪐 reposted

Plinko PIR tutorial: vitalik.eth.limo/general/2025/1…


You do understand what I do for a living? I literally stare at code, to protect privacy from comprises

You do understand what I do for a living? I literally make compliant onchain privacy possible and rebuilt anonymity on a public blockchain



Olá, @monad & @cantinaxyz thanks! this was in the airdrop boxes 🎁 continue - The goal of always to provide the worlds-best security service. Nothing less.

thisvishalsingh's tweet image. Olá, @monad & @cantinaxyz thanks!
this was in the airdrop boxes 🎁

continue - The goal of always to provide the worlds-best security service. Nothing less.

Great time with @guillaumeclaret (@FormalLand ), we shared our ideas on security audits, ZKPs, MPC, FHE, TEEs, DeFi privacy, Formal verification, zk provers. Cooking @Zippel_Labs !


Unbelievable 😍

Devcon 8 Mumbai, India 🇮🇳 Q4 2026

EFDevcon's tweet image. Devcon 8

Mumbai, India 🇮🇳

Q4 2026


Loading...

Something went wrong.


Something went wrong.