Majid Salehi @pwnforce

Senior Research Scientist @Nokia @BellLabs | Ph.D. CS @DistriNet @KU_Leuven | ZKP, Blockchain Security Researcher Joined February 2011

Tweets

177
Followers

196
Following

1K
Likes

3K

Joseph Thacker @rez0__

6 months ago

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).

72 749 4K 331K 7K

Download Image

Bell Labs @BellLabs

7 months ago

🎂 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

3 18 64 5K 4

Download Video

wordgrammer @wordgrammer

7 months ago

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:

364 3K 23K 4.2M 18K

Srinath Setty @srinathtv

9 months ago

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!

ZK Hack @zkhack

9 months ago

1 9 33 10K 7

3 13 46 6K 7

Justin Thaler @SuccinctJT

10 months ago

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.

7 34 220 32K 83

Sam Altman @sama

10 months ago

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.

1K 4K 30K 1.7M 8K

Srinath Setty @srinathtv

11 months ago

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.

2 17 77 5K 25

Download Image

Giacomo Fenzi @GiacomoFenzi

11 months ago

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/…

5 40 174 28K 58

Download Image

zkSecurity @zksecurityXYZ

11 months ago

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…

0 22 113 8K 63

Download Image

Martin @ShieldifyMartin

a year ago

zkEVM Course with 4 lectures by @Scroll_ZKP and @0xPolygon 👏 notion.so/scrollzkp/zkEV…

2 37 220 18K 279

vitalik.eth @VitalikButerin

a year ago

BInius: highly efficient proofs over binary fields vitalik.eth.limo/general/2024/0…

596 841 4K 909K 1K

Download Image

arnaucube @arnaucube

a year ago

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!

2 38 134 14K 23

Ye Zhang 📜 @yezhang1998

2 years ago

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…

Scroll @Scroll_ZKP

2 years ago

80 235 2K 212K 194

Download Image

22 76 429 80K 96

Modulus Labs @CountableMagic

2 years ago

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… 🚀

5 70 324 57K 107

Download Image

Stefanos Chaliasos @schaliasosvons

2 years ago

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…

5 44 183 51K 66

Download Image

samczsun @samczsun

2 years ago

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

95 344 2K 503K 259

Download Image

Succinct @SuccinctLabs

2 years ago

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.

53 164 748 293K 234

Download Image

Polygon @0xPolygon

2 years ago

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.…

115 483 2K 445K 147

Download Image

Sebastian Angel @sebsgangel

2 years ago

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

2 19 89 16K 28

Zellic @zellic_io

2 years ago

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.