abdel (@AbdelStark) / X

abdel

21.3K posts

abdel

@AbdelStark

Head of Applied AI & Verifiable Intelligence @StarkWareLtd. STARK proofs, AI Safety, World Models & Physical AI / Robotics. Math scale, Goodwill doesn't.

🤗 huggingface.co/abdelstark

github.com/AbdelStark

Joined March 2012

Pinned
abdel
@AbdelStark
Jun 3
Why LLMs are a dead end for human-level intelligence, and especially for Physical AI / Robotics. The next leap isn’t bigger language models. It’s World Models. I just dropped a full 1-hour presentation from Shanghai: “World Models: the ChatGPT moment for robotics?” → Why
00:00
33K
abdel
@AbdelStark
Jan 16, 2024
This is my message to Starknet community. Let me state it very explicitly: I want to present my deepest apologies to users who were insulted by words I have badly chosen, in a specific context. I will give you some background about the story, once, and then I will not comment on
467K
abdel
@AbdelStark
Apr 18, 2024
Dear non Starknet users (8,104,225,549 - 8 Starknet users = 8104225541), I have few words for you, and I am begging you to listen (yeah I am the e-beggar now). I want to give briefly my PERSONAL opinion / sentiment with respect to some FUD around Starknet, mainly on 2 topics: -
976K
abdel
@AbdelStark
Sep 18, 2025
Verifying bitcoin, with a STARK proof, on a Rasbperry Pi, in 25 milliseconds, the whole mainnet header chain, 16 years of history.
halfin
@halfin
Jan 11, 2009
Running bitcoin
193K
abdel
@AbdelStark
Feb 13, 2024
GIF
242K
abdel
@AbdelStark
Feb 8, 2024
Yosh! Happy to announce that I will be taking a new role as Head of Ecosystem at @StarkWareLtd. I will be still leading the great Exploration team and we are increasing it's size to build moarrrr crazy projects. It's a big new responsibility and taking it after @GuthL is both
170K
abdel
@AbdelStark
Jan 15, 2024
Is Starknet putting a strong emphasis on devs? Yes. Does it mean we don't care about users? Hell no, quite the opposite actually. Let's unpack this. Starknet's approach as a dev-first network has been met with criticism, often seen as ignoring users and the wider community.
289K
abdel
@AbdelStark
Sep 8, 2025
NEW WORLD RECORD. WE CAN PROVE THE WHOLE BITCOIN BLOCK HEADER CHAIN IN 6.5 HOURS. FOR $13.5. YES, WE HAVE PROVEN 16 YEARS OF BLOCKCHAIN HISTORY OF A $2 TRILLION ASSET FOR LESS THAN A BIG MAC COMBO MENU. STWO, FASTEST PROVER IN THE WORLD, BACKBONE OF STARKNET.
139K
abdel
@AbdelStark
Mar 31, 2022
Pauvre Union Européenne. Quelle tristesse. Pas pour #Bitcoin ni les cryptos mais pour elle. Des députés totalement ignorant qui condamne la souveraineté de l'UE. Et dans 10 ans ça sera étonné du retard sur les US. Bravo @AuroreLalucq et ses potes.
6529
@punk6529
Mar 31, 2022
The EU Lost web 2 🤝Losing web 3
abdel
@AbdelStark
Jul 8, 2024
Brussels vibes. Ethereum, Starknet, Circle STARK, STWO.
27K
abdel
@AbdelStark
Feb 20, 2024
Today marks an exhilarating milestone for Starknet as we continue to decentralize the network and protocol. Starknet is the network of trailblazers, the network of pioneers, the network of builders, the network of dreamers. It’s about building for users, the best product, the
250K
abdel
@AbdelStark
Jan 25, 2024
.oO This is our first Starknet state diff blob sent on Goerli. EIP-4844 we are ready 🫡
202K
abdel
@AbdelStark
Dec 23, 2022
And we dit it! 100% EVM opcodes compatibility on @KakarotZkEvm ! github.com/sayajin-labs/k… In 2 months and 20 days... No funding, no company, only a community of passionate builders ❤️ I am so thrilled. Still a long way to go before running into production but this is amazing 🔥
251K
abdel
@AbdelStark
Dec 1, 2023
I am sometimes sad to work in an industry that rewards unethical players and stimulates dishonest behaviors. I am glad to work on a protocol where we don't fall into the trap of short-term thinking, and are not willing to compromise our values, even at the cost of moving slower,
118K