A programming language that makes it easy to build provable programs
zkSTARKs
- Tweets 601
- Following 9
- Followers 6,196
- Likes 1,280
Pinned Tweet
Cairo is the computation (program + execution trace).
S-two proves that execution ran correctly.
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 👇
2
2
33
4,254
CairoLang retweeted
1/ Privacy, quantum security, and Bitcoin: three of crypto’s hardest problems, representing trillions in potential economic value.
Starknet is going after all three with $STRK sitting at the center of it.
I put the entire thesis into one place:
starknetthesis.io/
23
28
113
16,066
CairoLang retweeted
Wave two is live.
Invites just landed. Check the inbox you signed up with.
Missed this wave? Wave three signups are open now.
Link in bio.
5
4
28
11,194
CairoLang retweeted
1/ Shield Rush is now live.
Complete private quests and earn rewards privately along the way.
Week 1 starts with shielding 🧵
strk20.starknet.io/shield-ru…
40
40
189
38,295
CairoLang retweeted
1/ The last week in the pack.
Infra, apps, metrics… here’s your Starknet weekly recap 🧵
10
12
68
4,072
CairoLang retweeted
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 🧵
strk20.starknet.io/
67
114
269
61,965
CairoLang retweeted
1,400,000,000 ethereum:0xca14007eff0db1f8135f4c25b34de49ab0d42766 is now staked on Starknet.
Over 22% of the circulating supply.
Higher for longer.
35
18
148
8,628
CairoLang retweeted
1/ The last (exceptionally two) weeks in the pack.
Infra, apps, metrics… here’s your Starknet weekly recap 🧵
13
15
66
4,402
CairoLang retweeted
Yearly reminder.
Cairo is a ZK-native language for provable programs and smart contracts.
Ngl I really don’t understand the zk-EVM arms race. So many interesting and more zk native vm designs are possible, all this work to get perfect native solidity compile is weird. Blockchain devs learned solidity as a DSL for evm smart contracts but they won’t learn another dsl???
3
6
31
2,679
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.
122
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.
16
705
CairoLang retweeted
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).
10
15
93
4,600
CairoLang retweeted
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.
9
10
68
9,797
One browser playground. One weekend.
Prove your first program here: cairo-lang.org/cairovm
139