(1/8) Zero-knowledge proofs should be for everyone. So we're inviting everyone to prove. 🎉 FibRace is live! Prove to Win. 🎉 Generate numbers. Prove locally. Race globally. 📱 Available now on iOS & Android 🗓️ Play until Sept 30 🥕 Built with Cairo M by @kakarotzkevm

starknet just proved bitcoin's entire 16 year history for thirteen dollars and fifty cents, making "verification costs" completely irrelevant to scaling decisions. the market's pricing strk like it's another l2. every time proving costs drop 1000x, entirely new markets get

In collaboration with @StarkWareLtd, we've officially open-sourced NitrooZK-stwo, the new GPU acceleration engine for S-two. We're pushing the boundaries of ZK innovation together with @StarkWareLtd. https://t.co/5vjsA6nquG

Post-quantum provers for P2PKH output (signature verification + address formation correctness)

Private Transactions on Starknet (Soon cross-chain) Here's the intro video for the anonymity layer of https://t.co/Qkfycl5msO

I’m just back from holidays and team is telling me that WASM to Cairo M assembly is running Fibonacci, ie Cairo m proving rust through wasm to casm Should I stay in holidays or come back to work?

"When you think about what you can really do with a general purpose prover that can create proofs locally, the sky's the limit." - @MayaDotan_ of @StarkWareLtd

Is privacy finally catching up to convenience? In our fifth interview from @aztecnetwork's NoirCon2, @alicelingl speaks with @MayaDotan_, Product Manager at @StarkWareLtd, about the state of client-side proving, the real motivation behind StarkWare’s custom prover and zkVM

“It's outrageous.” Why are we still handing over passports and face scans just to access a website? In an upcoming interview from @aztecnetwork's NoirCon2, @StarkWareLtd Product Manager @MayaDotan_ calls out the broken state of digital identity - and explains how ZK can easily

Back from TLV meeting with @StarkWareLtd -CairoM columns squashed by 30% -recursion around the corner -AIR auto compilation in one month Summer looking hot M is for Mediterranean 🌇🌞🌊

S-two unlocking real-time proving for everyday devices. @KakarotZkEvm is building CairoM, a mobile-first ZK stack using M31 and S-two, to make client-side proving possible on laptops and smartphones. Discover how Kakarot is leveraging S-two to bring ZK to your pocket 👇

EthPrague: Intro to S-two https://t.co/kX5A63vlS1 Client-side proving panel https://t.co/gHut4tRpk1 zkVM benchmarking https://t.co/AyySvK4p4b

Curious? Want to build privacy-first apps? Care about verifiable UI or provable AI? DM me. Or dive into the talks and panels below 👇

S-two already runs complex proofs on consumer laptops. The next stop? Client-side proving on mobile. Yes, even your iPhone.

Why is it fast? Built on the M31 field Flat-AIR architecture 📈 Benchmarks? It outperforms SP1 and Risc0—even when they use precompiles. And it does it using Cairo0 code.

What is S-two? It’s a general-purpose STARK prover—built for developers who want speed and flexibility. From identity to AI to client-side proving, S-two is designed to handle serious workloads.

Over the past few weeks, I spoke at panels and conferences across Europe about S-two—StarkWare’s next-gen zk prover. It’s fast, Cairo-native, and ready for real-world apps: privacy payments, provable AI, secure UIs. It even runs on your laptop—and soon, your phone.

1/ S-two is live. The fastest prover in the world, and the first to make client-side proving actually possible on everyday devices. Now open to all, and coming soon to Starknet 🧵

When Stage 1? Now 💅 Starknet has just leveled up to a pure Stage 1 ZK Rollup, once again proving our commitment to security and decentralization. No more training wheels, Stage 2 is next.

Cairo just got easier to prove! Cairo is a provable language, designed to generate fast, cheap STARK proofs of any computation. The new and improved Cairo Playground by @walnut_dev now supports proving and verifying your Cairo code, all without leaving your tab. No setup, no