CairoLang

A programming language that makes it easy to build provable programs

[CairoLang @CairoLang]

Cairo is the computation (program + execution trace).

S-two proves that execution ran correctly.

[StarkWare 🥷 @StarkWareLtd]

1/ The S-two whitepaper is out.

A 2nd-generation proof system for Starknet, built as a circle STARK over M31 for exceptionally efficient arithmetic.

It provides a formal description of S-two together with a soundness and security analysis of the proof system 👇

[StarkWare 🥷 @StarkWareLtd]

1/ Shield Rush is now live.

Complete private quests and earn rewards privately along the way.

Week 1 starts with shielding 🧵
https://t.co/egG26531tm

[StarkWare 🥷 @StarkWareLtd]

1/ The last week in the pack.

Infra, apps, metrics… here’s your Starknet weekly recap 🧵

[CairoLang @CairoLang]

@StarkWareLtd gCairo

[StarkWare 🥷 @StarkWareLtd]

1/ JUST IN: practical privacy at real scale is now live.

1-click privacy, low-cost privacy, private DeFi…

For all assets, now live on Starknet 🧵
https://t.co/1nmJn76tHP

[StarkWare 🥷 @StarkWareLtd]

1,400,000,000 ethereum:0xca14007eff0db1f8135f4c25b34de49ab0d42766 is now staked on Starknet.

Over 22% of the circulating supply.

Higher for longer.

[StarkWare 🥷 @StarkWareLtd]

Only ~40% of 2026 is done btw.

[StarkWare 🥷 @StarkWareLtd]

1/ The last (exceptionally two) weeks in the pack.

Infra, apps, metrics… here’s your Starknet weekly recap 🧵

[CairoLang @CairoLang]

@alpeh_v gCairo @alpeh_v

[StarkWare 🥷 @StarkWareLtd]

Yearly reminder.

Cairo is a ZK-native language for provable programs and smart contracts.

[CairoLang @CairoLang]

Daily reminder to scarb fmt

[CairoLang @CairoLang]

If you look reallyyy closely you'll catch @LootSurvivor shipping a Cairo app that does what other chains still call out-of-scope. 🦅

It's fully onchain. Provable. Live.

[CairoLang @CairoLang]

Only possible on Starknet:

Bitcoin that programs like a smart contract and proves like a STARK. strkBTC plugs BTC into Cairo. Optional privacy. Settles to L1 with proofs.

Not a bridge. A proving layer.

[CairoLang @CairoLang]

Cairo developers this week:

[Starknet (Privacy Arc) @Starknet]

Bitcoin is the most sovereign money ever created.

It is also the least private money people have ever used.

strkBTC fixes that. Live on Starknet today.

🧵

[CairoLang @CairoLang]

gCairo

What are you proving today?

[Eli Ben-Sasson | Starknet.io @EliBenSasson]

Very few people understand the challenge of creating privacy that also allows composability.

STRK20 is basically a privacy layer. This design is what allows users to do full DeFi operations instead of just single actions (e.g. transfers).

[Brother Lyskey 🥷 @Lyskey]

Few people know this, but post-quantum-secure wallets are already live on Starknet.

S2morrow is a post-quantum-secure wallet using Falcon-512, a lattice-based, NIST-selected post-quantum signature scheme, instead of elliptic-curve signatures, and it can already sign real transactions on Starknet Mainnet.

Ready, Braavos, and Xverse have not migrated to this architecture yet, because they do not need to yet. But when the time comes, they will be able to.

And the beauty?
> No need for the chain to fork: this is already live on Mainnet!
> In time, Ready, Braavos, and Xverse users will be able to migrate their wallet architecture to a post-quantum-secure one in a single tx!!

All of this comes on top of the fact that Starknet’s proving system is already post-quantum secure, as recently highlighted by… Google.

Just pivot to Starknet.

[StarkWare 🥷 @StarkWareLtd]

We are launching STRK20s before GTA VI.

[CairoLang @CairoLang]

One browser playground. One weekend.

Prove your first program here: https://t.co/As8afeu1DW