Starknet

The ZK Execution Layer scaling Ethereum, protecting privacy, and bringing quantum-secure Bitcoin to Starknet.

X run by @StarknetFndn

[Starknet @Starknet]

Privacy in crypto has usually meant leaving. You move funds into a separate pool or chain and give up the apps you use.

On Starknet it comes with you. Any asset, any protocol, same liquidity.

Privacy that works for crypto → https://t.co/oWPMcFWXhz

[Starknet @Starknet]

Private transactions through STRK20 nearly doubled in October. 4.6K, up from 2.4K in September.

That growth comes from one design choice.

Privacy on Starknet is programmable.

[StarkWare @StarkWareLtd]

1/ Zcash has fixed the need for private money, and so does Starknet for programmable privacy.

In just a couple of months, Starknet built the most complete privacy ecosystem in crypto.

Swaps, yield, staking, borrowing, options, payroll, and more, all with a private mode 🧵

[Starknet @Starknet]

Here’s what’s happened since STRK20 went live in April:

38K+ confidential transactions
63 tokens shielded
1.9K confidential swaps on @avnu_fi + @EkuboProtocol
15+ builds live

[Starknet @Starknet]

What happens to financial freedom when every transaction is permanently visible?

Listen to @EliBenSasson and @KevinWSHPod discuss why tracking every Bitcoin payment puts users at risk, and why privacy is key for BTC to become everyday money.

[Kevin Follonier - MR SHIFT 🦁 @KevinWSHPod]

DROPS 47: @Starknet: Agents Will Adopt Blockchain Before Banks Do

@EliBenSasson, co-founder of @Zcash and Starknet, explains why he believes crypto will become the way people and AI agents handle money, and why most people haven't realized the world's financial infrastructure is being rebuilt.

He also covers what Bitcoin is missing, from privacy to its resistance to change, how quantum computers and superintelligent AI could threaten it, and the technology he's building to fix it.

This is a sponsored Episode.

Timestamps:

00:00 Intro
1:16 The Future Most People Can't See
2:32 Why Money Takes Centuries To Change
5:55 The Day Bitcoin Found Eli
9:40 What Happens When Every Purchase Is Public
10:53 Building Private Bitcoin
13:44 Why Privacy Took 10 Years To Matter
18:34 Is Your Bitcoin Safe For 20 Years?
20:29 The Darth Vader Test For Trust
26:11 Do We Really Need Another Chain?
27:15 Why Big Investors Are Hesitating
28:45 How Starknet Plugs Into Other Blockchains
32:44 Why Starknet Has A Token
33:48 An Application That Was Built On Starknet
35:41 Private Payroll and the Agent Economy
38:21 What Starknet Changes For The Average Person
41:04 The Biggest Risk He's Wrong
42:42 One Takeaway

[Starknet @Starknet]

The records are there to break.

Bring your agents → https://t.co/0EBXFqoK5v

[Starknet @Starknet]

Two challenges worth solving.

1. Make STARK proofs smaller
2. Make quantum-safe signatures cheap

https://t.co/0EBXFqoK5v is an open RL environment where every find is checked and credited to whoever made it, human or agent.

Challenges are live ↓

[Starknet @Starknet]

2. Make quantum-safe signatures cheaper.

Optimize the verifier, speed up Keccak, or break the scheme.

https://t.co/c3LwhZ4xlw

[Starknet @Starknet]

An open problem. Now open to you and your agents.

Make quantum-safe signatures cheaper.

A quantum-safe Falcon-512 signature costs 48.4M gas. The record is ~26M, and it keeps falling. Who’s next to break it?

The Falcon challenge is now live.

[Kevin Follonier - MR SHIFT 🦁 @KevinWSHPod]

This Tuesday, I’m releasing a 45-minute DROPS with @EliBenSasson - Co-founder of @Starknet.

After co-inventing Zcash, Eli is now building towards a broader vision with Starknet: programmable, private money with a good user experience and the ability to adapt to new cryptographic threats.

His thesis: the rails for the global economy are being rebuilt and Starknet is being built for that future.

We talk about:
- Why money rails take decades, from paper cash to ATMs, to get adopted
- How ZK Starks let you trust a computation even if Darth Vader ran it
- How Starknet brings programmability to the privacy vision behind Zcash
- Why sovereign wealth funds and asset allocators are calling his team about quantum risk
- How AI agents will drag humans onto blockchains
- How Starknet’s account abstraction helps accounts adopt quantum-resistant signatures

And much more...

DROPS out this Tuesday!

[Starknet @Starknet]

“It’s not private store of value. It’s private compute.”

@thedamooo joins @marccolcer and @sunnymaanz to break down Starknet’s programmable privacy.

Full conversation dropping soon.

[Chance @Chance_]

Your favourite apps. Now in Private mode. Powered by AI.

Shadow Accounts coming soon on Chance 🔒

[Starknet @Starknet]

A room full of builders, great pitches and conversations, and Starknet energy all day.

Thank you for showing up 🧡

[Starknet @Starknet]

Starkzap is the easiest way to go from zero to building with privacy on Starknet.

One SDK now lets developers add shielded balances, private transfers and private DeFi without building the privacy layer themselves.

Powered by STRK20.

[StarkWare @StarkWareLtd]

1/ 10,000+ downloads. One SDK. Now with programmable privacy.

Starkzap has integrated STRK20, bringing shielded balances, private transfers, and private DeFi to its complete money toolkit.

A new way for developers to bring privacy into their apps 🧵

[Starknet @Starknet]

Earlier this year, @Google’s quantum paper highlighted Starknet’s hash-based STARK proofs as believed to hold up against quantum attacks.

Two frontier labs. Two different problems. STARKs keep showing up.

https://t.co/iFEJMvt1N0

[Starknet @Starknet]

STARKs: Quantum-durable, battle-tested on Starknet, and now helping verify AI inference in @AnthropicAI’s new research.

Starknet was built for demanding computation you can verify.

Anthropic’s research applies that same principle to AI.

[Anthropic @AnthropicAI]

New Anthropic research: progress on provable inference for large language models.

Here, we introduce FlashProve. Building on established cryptographic techniques, FlashProve allows developers to verify whether a given response came from a given AI model. It’s substantially more efficient than prior open-source methods for doing so.

These proofs have a range of applications. They can, for instance, make it harder for attackers to hijack a chat, or enable safety evaluators to verify that the model they’re testing is the same one being served to customers.

For our full write-up, see here: https://t.co/OIZWPb6QZa

Further progress in provable inference will likely be an important part of improving trust in AI deployment. To that end, we're open-sourcing FlashProve’s code, here: https://t.co/7ky3Ir8V06

We’re grateful to our collaborators: Alessandro Chiesa, @GiacomoFenzi, @gwberg95, @miranda__christ, Rahul Dalal (https://t.co/pjWKLHWXyz) and Ben Mayer (@transmissions11).

[Starknet @Starknet]

Anthropic’s FlashProve proves which AI model produced a response without revealing its weights.

How they built it matters:

→ Post-quantum security
→ Hash-based STARK proofs
→ Battle-tested cryptography already used by Starknet
→ Formal verification in Lean, building on earlier work inc Cairo + Stwo

@StarkWareLtd co-founder Alessandro Chiesa is among the researchers.

https://t.co/P4hTewdMvO

[Starknet @Starknet]

Day 1 of Stark Space Mumbai was epic.

Join us today for more talks, more panels, more building with the teams and founders shipping on Starknet.

Pull up → https://t.co/ORh1UNB10s

[StarkWare @StarkWareLtd]

Anthropic is using cryptography StarkWare’s founders co-invented to prove which AI model answered you.

With FlashProve, you can verify that a specific model produced an output while keeping its weights private.

The report cites the original STARK paper, highlights the use of STARKs on @Starknet, and references formal verification work on Cairo and the S-two AIR. StarkWare co-founder Alessandro Chiesa is one of the report’s co-authors.

Another big validation for our Proving System.

The same cryptographic ideas that help scale blockchains are now helping make AI inference verifiable.

[Starknet @Starknet]

starknet mentioned ↓

https://t.co/Z9ng1bGvvm

[Krinza @krinza]

anthropic’s flashprove uses zkSNARKs, the proofs that scale Starknet, to prove a 400B-parameter model wrote a response without revealing its weights

~110 tokens/sec on one H100, 19 MB proofs that check in seconds on a cpu

verifiable AI is closer than we think.