你可能会喜欢
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,…

Must read as SR, I can see some of the concepts are new to me
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
United States 趋势
- 1. White House 113K posts
- 2. Good Tuesday 32.6K posts
- 3. $VWA 2,998 posts
- 4. Rick Scott 1,292 posts
- 5. #3YearsOfMidnights N/A
- 6. NBA IS BACK 17.6K posts
- 7. Talus Labs 15.6K posts
- 8. Taco Tuesday 11.4K posts
- 9. Warner Bros 2,244 posts
- 10. #tuesdayvibe 2,166 posts
- 11. #ThunderUp N/A
- 12. #pilotstwtselfieday N/A
- 13. Cuomo 73.3K posts
- 14. Cobie 44.4K posts
- 15. Anthony Thompson N/A
- 16. Pardoned Capitol 3,362 posts
- 17. Happy NBA 5,226 posts
- 18. #TuesdayThoughts N/A
- 19. Gucci 28.1K posts
- 20. Sanae Takaichi 95.8K posts
你可能会喜欢
-
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.