
thisvishalsingh 🪐
@thisvishalsingh
Security Researcher/ZK || Chief of @Zippel_Labs . tg: http://t.me/thisvishalsingh !
Vous pourriez aimer
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,…

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!
Hey I will be attending my 1st ETH Global - Pragma New Delhi I want to ask as a Security Researcher "how you utilise this event" besides having swags and chill ? Do you make clients ? How ?
A good news as bounty hunter is that AI is being used by devs at next level that was out of my imagination. A bad news that we have to work harder to save all those projects and find all Crits and high impacts bugs! This is after ETHGlobal & Hacker houses observation
Must read as SR, I can see some of the concepts are new to me
Not only Researchers, I would love to see builders 🤞
Calling all Delhightful security researchers! 🪐 We want to hear from you. Apply to speak and share your experience with others building the future of Web3 security. See you soon, RSVP here: luma.com/HackerHangoutD…
United States Tendances
- 1. Carson Beck 5,577 posts
- 2. #SmackDown 42.8K posts
- 3. Ohtani 42.7K posts
- 4. Louisville 13.8K posts
- 5. Miami 81.4K posts
- 6. Malachi Toney 2,112 posts
- 7. George Santos 58K posts
- 8. #BostonBlue 3,168 posts
- 9. Geno 8,564 posts
- 10. Chris Bell 1,539 posts
- 11. Ilja 17.3K posts
- 12. #SeizeTheMoment 8,581 posts
- 13. #OPLive 1,681 posts
- 14. Cal Raleigh 5,272 posts
- 15. Springer 9,197 posts
- 16. Grand Slam 8,144 posts
- 17. Sami 24.3K posts
- 18. Raiola 1,800 posts
- 19. #LGRW 2,179 posts
- 20. Jeff Brohm N/A
Vous pourriez aimer
-
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.