
thisvishalsingh 🪐
@thisvishalsingh
Security Researcher || Chief of @Zippel_Labs . tg: http://t.me/thisvishalsingh !
Może Ci się spodobać
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,…

This is important to accept, otherwise you will be feeling unmotivated, as you will be putting efforts that will be not equal to required to learn ZK concepts. 1st time in 2024 Jan when I started learning with the mindset that I'm good at Engineering Mathematics (Algebra &…
Must read as SR, I can see some of the concepts are new to me
A GKR tutorial: vitalik.eth.limo/general/2025/1…
Hey I want to build an AI formal verification tool trained for zk circuits initially. Is there any product already here? Recently I learnt formal verification, now I want to build it for specific rust code/zkp.
Completed Half century with 🌈 all findings included only on Cantina

Hey, how to make a resume as a Security Researcher, other than GitHub/or other portfolio ? Any suggestions/template is appreciated
If you are studying Applied Cryptography in detail here is the book by @danboneh sir Is there an updated version available of this book? toc.cryptobook.us/book.pdf
Thanks, for almost correct recommendations that is private audit. And I did a bug bounty which was reported as High but downgraded to informational bcz protocol doesn't have any other way to solve that problem & it was DLT/L2 pure zkrollup.
What will you choose? Given that it's a DLT/Blockchain project in Rust®: a)® Audit Competition - H/Ms 50k-100k b)® Bug bounty - C/H 10-20k --- c) Random private audits
In the last 4 days it was mostly touching grass with friends and this gave me space to rethink, I'm back stronger to continue & secure the space, add value!

Why will a dev design it's infra protocol to allow DoS ? The protocol is on testnet
I know solana & have done solana audit but now I want to learn formal verification for solana
Research is the key thing before going into implementation bcz it gives you clarity on what how & why to solve the problem. And Security Research is most important after implantation, that should be in iteration.
Full booked is the wrong word imo - 2 audits for almost 3 weeks!
Now I'm back to work, I am fully booked with private audits in October 🤞
From novice to finalist in 10months, we won @ETHGlobal New Delhi. @uniperpFdn is perpetual futures DEX on Uniswap v4 with vAMM, oracle pricing & stable OI. Thanks to @aanyaajain @rudransh190204 @atkosX @ETHGlobal @Uniswap @ocandocrypto @mohak_sol
Now I'm back to work, I am fully booked with private audits in October 🤞
Hey @TheRealKartik, on a serious note I would recommend changing the mentors dress code. lastly thanks for those I was able to add value to EthGlobal NewDelhi!
United States Trendy
- 1. Chauncey 20.7K posts
- 2. Terry Rozier 17.8K posts
- 3. 5sos 21.2K posts
- 4. Feds 18.8K posts
- 5. Gilbert Arenas 1,205 posts
- 6. Mafia 71.8K posts
- 7. Damon Jones 1,317 posts
- 8. Good Thursday 29.6K posts
- 9. Malik Beasley 2,585 posts
- 10. Leanne 1,909 posts
- 11. Kash Patel 21.6K posts
- 12. Wemby 132K posts
- 13. Adam Silver 2,737 posts
- 14. #thursdayvibes 2,999 posts
- 15. Mr. Big Shot N/A
- 16. The NBA 144K posts
- 17. NBA RICO N/A
- 18. Blazers 16.5K posts
- 19. Poker 16K posts
- 20. Friday Eve 1,339 posts
Może Ci się spodobać
-
Apoorav Vyas
@apoorav_vyas -
Arindam Majumder 𝕏
@Arindam_1729 -
Parth
@ParthMandale -
apacx
@0xapacx -
Varun Doshi
@Varunx10 -
Rishhh
@callMeRishhh -
Yash Jagtap | The Graph
@0x_yasshhh_ -
Hrittik Roy
@hrittikhere -
krupali || chai ✨
@chai_really -
Zartaj | PUSH
@Zartaj20031 -
Anshita
@anshitaksoni -
Aditi🌱
@aditipolkam -
Sumith
@sumithprabhu_ -
Shikhar
@shikkhar_ -
Hrushi (Dadu)
@HrushiBytes
Something went wrong.
Something went wrong.