Majid Salehi @pwnforce
Senior Research Scientist @Nokia @BellLabs | Ph.D. CS @DistriNet @KU_Leuven | ZKP, Blockchain Security Researcher Joined February 2011-
Tweets177
-
Followers196
-
Following1K
-
Likes3K
I'm a hacker and AI researcher who has reported vulnerabilities to OpenAI, Google, and others. I wrote this guide as a reference of all of the ways that you can hack AI. It has saved me hours. Bookmark this if you need a reference for what all to try (AND includes mitigations).
🎂 It's official: Bell Labs is one hundred! It's hard to imagine what the world would be like without Bell Labs. Join us this year as we celebrate a hundred years of Bell Labs and look forward to the next century of innovation... Discover more ➡️ nokia.ly/4hHk4lY
Okay. Thanks for the nerd snipe guys. I spent the day learning exactly how DeepSeek trained at 1/30 the price, instead of working on my pitch deck. The tl;dr to everything, according to their papers:
An excellent update on folding schemes, including the full walkthrough of HyperNova by @0xAlbertG and @nico_mnbl! HyperNova is an "early stopping" Spartan containing a single sum-check. The more recent NeutronNova stops even earlier requiring only a single round of sum-check!
An excellent update on folding schemes, including the full walkthrough of HyperNova by @0xAlbertG and @nico_mnbl! HyperNova is an "early stopping" Spartan containing a single sum-check. The more recent NeutronNova stops even earlier requiring only a single round of sum-check!
1/ Today’s zkVMs are likely riddled with bugs. We should stop pretending otherwise. My latest blog post outlines our roadmap toward a bug-free Jolt.
the best way to get good at something is usually to just practice actually doing the thing in question. a lot of very capable people outsmart themselves with complex plans that involve working a lot on fake prerequisites.
Complementary to NeutronNova, we wrote another paper, called Nebula. A core result is an efficient read-write memory primitive in folding schemes. We also provide a new way to acheive "pay-per-use" universal circuits, which "turn off" unused constraints in R1CS.
WHIR 🌪️: a IOP of proximity and multilinear polynomial commitment scheme with exceptionally fast verification time. Joint work with @GalArnon42, Alessandro Chiesa and Eylon Yogev. 📚: ia.cr/2024/1586 📄: gfenzi.io/papers/whir 🧑🏻💻: github.com/WizardOfMenlo/…
We've been writing more about Cairo and the Cairo VM! Check out zksecurity.github.io/stark-book/cai… and how the bootloader works here zksecurity.github.io/stark-book/cai…
zkEVM Course with 4 lectures by @Scroll_ZKP and @0xPolygon 👏 notion.so/scrollzkp/zkEV…
BInius: highly efficient proofs over binary fields vitalik.eth.limo/general/2024/0…
We verified a Nova+CycleFold proof onchain!, we're very happy ^^ These past months we've been implementing Sonobe in a joint effort by @0xPARC and @privacyscaling. github.com/privacy-scalin… Verifying Nova proofs onchain in Ethereum is now a reality!
Our zk research team has been working on something super cool! It has potential to become the most performant zk[E]VM targeting at real time proving. It combined the best parts of proving system, field choice and VM flow: GKR parallelization + Smaller field arithmetic + Pay…
Our zk research team has been working on something super cool! It has potential to become the most performant zk[E]VM targeting at real time proving. It combined the best parts of proving system, field choice and VM flow: GKR parallelization + Smaller field arithmetic + Pay…
We're excited to unveil 𝑅𝑒𝑚𝑎𝑖𝑛𝑑𝑒𝑟—the world's most powerful ZKML prover Our first implementation achieved a mere 180x proof generation overhead vs. the same (non-verifiable) computation on an M2 Mac. Highlights below, read all about it here: medium.com/@ModulusLabs/c… 🚀
Excited to share our latest work on ZKPs security: "SoK: What don’t we know? Understanding Security Vulnerabilities in SNARKs" (w/ @0xSerious, @infosecual, @cryptodavidw, @MMJahanara, @convoluted_code). URL: arxiv.org/pdf/2402.15293…
I'm back, did you miss me? I have some huge news! Over the last year and a half, I've been working on something big in secret with the rest of the crypto security community. Today, we're finally ready to reveal ourselves to the world. We are @_SEAL_Org
1/ We are excited to announce Succinct Processor 1 (SP1), our first generation, 100% open-source zkVM that proves arbitrary Rust programs. SP1 targets an order of magnitude performance improvement vs. existing zkVMs, and is already up to 28x faster for certain programs.
Releasing the Type-1 upgrade to the zkEVM prover, the next generation of Polygon’s proving tech. It can generate proofs for any EVM chain—sidechain, optimistic rollup, even Ethereum itself. When proving Ethereum mainnet blocks, avg per-transaction costs are $0.002 - $0.003.…
Excited that "Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex Proofs" was accepted at @USENIXSecurity. This is work with my students @elefthei, Eli Margolin, and Jess Woods; and with @srinathtv. Preprint: eprint.iacr.org/2023/1886. Code at: github.com/eniac/Reef. 1/7
Following several major ZK audits and critical vulnerabilities uncovered, we're opening our ZK audit playbook to help developers write safer circuits. In this thread, we'll share useful tips and address the key questions to answer when auditing ZK applications. Let's dive in.

Arergie @Arergie5401
19 Followers 367 Following She dances to the songs in her head, speaks with the rhythm of her heart.
EricaWhittier @MFVr1l7vLz37v7
41 Followers 2K Following
Muidol @Muidol2719
82 Followers 2K Following
Jorbo @Jorbo615
31 Followers 1K Following
Tessa Saxe @privacy_tess
116 Followers 744 Following Head of Cryptography Recruitment at @LawrenceHarvey_ #cryptography #privacytech #decentralized hiring
Gupi @Gupi214011
40 Followers 2K Following
Kauawwaun @Kauawwaun32520
58 Followers 3K Following
shaded @shaded_sol
823 Followers 2K Following Cryptocurrency enthusiast, trader, and analyst. Exploring the blockchain realm, investing in altcoins, and exchanging thoughts and experiences! $PEPE supporter
Tareckue @TareckuejwNkDD
46 Followers 4K Following
Reza Ebrahimi Atani @ebrahimiatani
157 Followers 1K Following Cryptographer and Associate Professor of Computer Engineering at the University of Guilan, Iran.
Gazelle @qatkkalhori
4 Followers 84 Following Researcher in applied cryptography ( mostly interested in zk) at DISCRYPT, interested in Bitcoin and eager to learn almost everything
Tianchi YU @yu_tianchi
20 Followers 188 Following Ph.D. Student in System Security @UniPadova @SPRITZGROUP & @Huawei_Germany
Poresmau @Poresmauq38UWn
98 Followers 2K Following
Adrià Torralba-Agell @0xAdriaTorralba
160 Followers 1K Following PhD Student at KISON Research Group | Zero-Knowledge Team at @OpenZeppelin
Ray [REDACTED] @RayRedacted
64K Followers 8K Following Hacker, Researcher, Podcast Producer (Tribe of Hackers, Darknet Diaries). Proud dad of the fastest climber in the world. Ever. “Ut scandis, alios subleva”
Mohammad Malekzadeh @malekz4deh
718 Followers 277 Following Senior Researcher & Tech Lead @BellLabs. Machine learning for personal data and devices: multimodal, private, and efficient! Prev. @imperialcollege @brave @qmul
Thirset @ThirsetaA02
86 Followers 3K Following
Tigran Piliposyan @tpiliposian
4K Followers 773 Following Hacker, Team Leader, LSR @CertoraInc, BJJ Purple Belt
Alireza (Ali) Shirzad @alrshirzad
324 Followers 702 Following Current: Cryptographer, CIS Phd student at Upenn, Past: intern at @lagrangedev, MSc and BSc at Sharif, always: (( Women, Life, Freedom 🕊️ ))
Celeste @DraukairsM7_i
168 Followers 4K Following
Shtuet @ShtuetXvRHd
80 Followers 1K Following
Kais Tlili @ktl_____
403 Followers 3K Following Security Researcher @cantinaxyz | DMs open for memes only, for private audits go hire some professionals | https://t.co/7RWQeveIDmLieven Trappeniers @trappenl
60 Followers 265 Following
ModestyEsther @6aZntxMoAS8z21
37 Followers 4K Following
Sough @SoughzGy
3 Followers 293 Following
OlgaJonathan @R3WxC3ZJBGWz5X2
46 Followers 4K Following
mahdiRostami @0xmahdirostami
888 Followers 396 Following Master's degree in machine learning. Focused on web3 Security. Rank #1 @hatsfinance . Security auditor @accretion_xyz
OctaviaAustin @mf5GXr9BI60S5pJ
21 Followers 1K Following
DoloresHaydn @F74AN1B16Vcl7N
8 Followers 466 Following
Gar__lic @gar_lic2873
52 Followers 3K Following
Phouthea @Phouthea15717
46 Followers 5K Following
So_fia8 @SFia810727
60 Followers 5K Following
Quayto @Quayto169801
86 Followers 5K Following
GiuseppeDeLaZara @windhustler
4K Followers 812 Following Ex-Petroleum Engineer | Solidity Developer | Chief of Security @BurraSec | Security Researcher @spearbit, @zenith256 | Mentor @TheSecureum
Huỳnh Lâm Hoàng �... @hlhdai
32 Followers 2K Following
Sileo @0xsileo
437 Followers 1K Following Onchain experiments, studying physics @KU_Leuven, exploring programmable cryptography
Terri @terri_savala_
325 Followers 3K Following
Deseshasm @deseshasm5728
157 Followers 2K Following
Lee @gulinson_lee9
264 Followers 3K Following
kemmio @k3mmio
1K Followers 521 Following Сo-Founder & CTO @hexensio @xyz_remedy | CTF @ MSLC | blockchain/web/pwn
Yu Jiang Tham @zkBruv
562 Followers 764 Following Eng @ Superstate. 102 patents granted. Musings are my own.
Mike Leffer @mikeleffer
1K Followers 317 Following President @spearbit / @cantinaxyz | Investor @ Riptide Ventures
basedcrypto @basedcrypto__
2K Followers 280 Following ceo @riftdex // professor of tokenomics // trillionaire
JS0N Haddix @Jhaddix
167K Followers 7K Following CEO, CISO, Trainer, Hacker, and Speaker. Cybersecurity + Hacking + AI + Sec Leadership @arcanuminfosec
Arkham @arkham
1.6M Followers 92 Following Trade with Intelligence 🔎 | Cryptocurrency Exchange & Blockchain Analytics Platform | Earn up to $100 in rewards for registering.
Shadowhunter @manisha72617183
5K Followers 691 Following *Security engineer *Jazz aficionado *Thalassophile *lunaediesophobic *Caninetrovert *Foodie *Still in awe of a Kryha-Liliput ...
Minato7namikazi @minato7namikazi
859 Followers 383 Following
امام زمان (ع... @thetwelfth_Imam
60K Followers 298 Following تنها اکانت رسمی بنده یکی از همین جمعههای ۲۵سال آینده
Weilin (William) Li @hklst4r
1K Followers 405 Following PhD student @ucl | Alumni @ustc | NFA. all posts are totally my personal opinions | do not offer security services.
Hexagate @hexagate_
5K Followers 66 Following Hexagate prevents exploits, hacks, and risks for protocols, chains, exchanges and asset managers. Acq. by Chainalysis. Get access today: https://t.co/n9UkoC25wH
Dillon Franke @dillon_franke
1K Followers 398 Following Fuzzing, MacOS, vuln research @Google. Jesus Follower
Tetsuo @tetsuoai
213K Followers 1K Following Low-level dev since '94 | CS/Math & C/Assembly Projects: @7etsuo @beeldcoin @groktprompt c/asm 🇺🇸
ارتش دفاعی �... @IDFFarsi
119K Followers 50 Following صفحه توییتر رسمی ارتش دفاعی اسرائیل به فارسی - برای گفتگوی مستقیم بین ما و شما و پخش گزارش هایی از فعالیتهای ارتش اسرائیل. تلگرام ما https://t.co/d32YT8iIT8
Tessa Saxe @privacy_tess
116 Followers 744 Following Head of Cryptography Recruitment at @LawrenceHarvey_ #cryptography #privacytech #decentralized hiring
William @Sqwilliam333
755 Followers 605 Following Product Designer @immunefi | Aesthetics in Cybersecurity.
Real World Crypto @RealWorldCrypto
10K Followers 0 Following The official Real World Cryptography Twitter feed. Follow us for news of upcoming events.
ni8mare @dkni8mare
232 Followers 568 Following Doing my bit towards smart contract security | 100+ H/M vulnerabilities found
pessimist @0xpessimist
2K Followers 691 Following 21 y/o Blockchain Security Researcher. SR @Hashlock_, Proud member of @0xDup1337, Contributing @_pioneerlabs
Ali Yahya @alive_eth
50K Followers 3K Following General Partner @a16zcrypto. Previously Google Brain, GoogleX, @Stanford Computer Science. See disclosures: https://t.co/TIaDKhgDRX
high_byte @high_byte
6K Followers 3K Following AI, Blockchain, Cyber Security and whatever else Breaking: smart contracts, @SpearbitDAO and solo audits; Ex: @ethereum foundation DMs open
kaden.eth @0xKaden
6K Followers 283 Following evm security eng/research, LSR @spearbit / @cantinaxyz
Alex Hormozi @AlexHormozi
942K Followers 182 Following Founder https://t.co/gQN7OehYd2, Co-Founder https://t.co/VLS8LzeasI. My new book $100M Money Models is out. (3.6M copies sold). Grab a copy below 👇
DadeKuma @DadeKuma
2K Followers 259 Following Independent Security Researcher | Top 100 Warden & Judge @code4rena | Zenith Researcher @zenith256 | Available for private audits, Rust & EVM 🗓️
Georg Wiese @georgwiese
309 Followers 185 Following Software engineer, interested in Machine Learning and Cryptography. @powdr_labs. Mastodon: @[email protected]
Nadim Kobeissi @kaepora
25K Followers 36 Following Applied cryptographer. More active on Bluesky: https://t.co/4bkltIl37z
Filippo Cremonese @fcremo
697 Followers 268 Following Lead Alt-L1 security engineer @Zellic_io. CTF player @towerofhanoi, @mhackeroni. Fmr @poul_polimi member. Prev @_revng, @Doyensec
Arnie @ArnieSec
3K Followers 334 Following Security Researcher | Over 50 audits completed | More than 100 High/Medium severity issues found
Drastic Watermelon @DrasticWM
411 Followers 69 Following core @electisec | ASR @spearbit | audits @immunefi
RareTalent @RareTalent_xyz
1K Followers 1 Following The recruitment brand of @rareskills_io Find a web3 engineering job or hire at https://t.co/U7gfle7DG8
AmirMohammad Safari @AmirMSafari
7K Followers 390 Following
Lukas Helminger @luhelminger
2K Followers 839 Following CEO @TACEO_IO // Building encrypted compute for the internet // Prev. cryptography researcher @tugraz
0xStalin @0xStalin
1K Followers 761 Following Securing the financial systems for the future sovereign individuals @CyfrinAudits
Yev🇺🇦 @jerh17
5K Followers 2K Following CEO & Co-Founder @hackenclub, Blockchain Security & Compliance | Forbes 30 Under 30 | Ethical Hacker
Max Gillett @maxgillett
1K Followers 2K Following
Draiakoo @Draiakoo
736 Followers 244 Following Blockchain security auditor Lead Eagle on @codehawks and ranked #1 all time