StarkWare Profile picture
Aug 8 10 tweets 3 min read
Scale 👏 rinse 👏 repeat - Recursion!

The SHARP prover switched on Recursion and hyper-scaling just became a reality!

Every proof of many txs can be rolled up with others into a single proof

What is it and how does it lead to better scaling, L3, and other improvements?
The usual STARK scaling process includes the following:
1. Validate transactions’ correctness
2. Generate a proof for this validation

3. Verify this proof

So now we add recursion to the proving part and get magic!🎩
Now, Recursive Proving goes like this:
1. Validate transactions’ correctness
2. Generate a proof for this validation
3. (Add magic here🎩) Validate the proof and generate a proof for this validation. We can repeat this several times

4. Verify the final proof
We do this Recursive Proving process off-chain, so the costs for this recurring process are low.

Using Cairo to generate Recursion also allows greater flexibility for optimizations.
The result of Recursive Proving?

1⃣ We get hyper-scaling, because we compress the transactions into one proof, and then we compress together several proofs.
2⃣ This sets the stage for L3, meaning an environment built on top of L2 that will send its batched transactions to be proved on L2.
3⃣ We get better latency, because we don’t need to wait for all transactions to arrive at the prover before we start processing them.

We can start processing smaller batches of transactions, in parallel.
4⃣ The complexity of verifying programs that include builtins remains off-chain. This leaves the on-chain verification to handle simple proofs only.
This is a new in production milestone, that hyper-scales #StarkNet Layer 2 Rollup, as well as #StarkEx-powered apps such as @Sorare, @Immutable, @rhinofi.
Recursion makes scaling more efficient in terms of costs, latency and complexity, and it is live on Ethereum Mainnet today!

• • •

Missing some Tweet in this thread? You can try to force a refresh

Keep Current with StarkWare

StarkWare Profile picture

Stay in touch and get notified when new unrolls are available from this author!

Read all threads

This Thread may be Removed Anytime!


Twitter may remove this content at anytime! Save it as PDF for later use!

Try unrolling a thread yourself!

how to unroll video
  1. Follow @ThreadReaderApp to mention us!

  2. From a Twitter thread mention us with a keyword "unroll"
@threadreaderapp unroll

Practice here first or read more on our help page!

More from @StarkWareLtd

May 9
It’s here. It’s happening.
#StarkGate Alpha is live on Mainnet.

You can move assets from Ethereum Mainnet to #StarkNet Alpha, and the other way around.

We urge you to read the following thread and to tread carefully👀…
Both #StarkNet Alpha and #StarkGate Alpha are new and complex systems.

They have not been fully audited.
They are not battle-tested yet.
In their Alpha forms, we cannot guarantee StarkNet or StarkGate will not be buggy.
Be careful.🙏
Remember that this is an alpha version, and it is likely that transfer of assets to a non-alpha version will be required in the future.
Read 8 tweets
Feb 3
Free the devs!
Many constraints restrict dApp development on L1
WAY too limited by what we can build & how much it costs
It’s like a dam holds back blockchain innovation
StarkNet has lifted dam; we see creativity flowing
General computation & massive scale➡️anything’s possible

Game-makers’ basements are labs for future of blockchain.

L2 empowers them to boundless creativity.

Limitations end as fun begins, it seems StarkNet is becoming blockchain’s amusement park 🎡🎢🎠

Games are the trailblazers of decentralization
👋 Goodbye & good riddance to ‘gas ceiling’ → hello DeFi apps that’ll make crypto mainstream
⛽ Cos when gas fees aren’t holding you back, anything’s viable
👛 Users to adopt crypto for payments, big & small
📈 And trading platforms that wouldn't work on L1 now have home
Read 10 tweets
Mar 22, 2019
This just in from our presentation at the ZK-Summit in Berlin #ZK0x03:
1/ StarkDEX, our settlement engine for non-custodial exchanges (DEXes) is now able to settle over 500 trades/second, costing less than 1,000 gas per trade.
2/ That’s 200X more trades than Ethereum can currently settle (and 10X better than we reported six weeks ago at the Stanford Blockchain Conference).
3/ We’ve now generated proofs for settling batches of 8K trades (8192, if you insist), which can be verified in a single Ethereum block (without any STARK-specific Ethereum pre-compiles)
Read 4 tweets
Jul 16, 2018
1/ We're delighted to announce StarkWare has been awarded a BIG milestone/performance-based grant from the Ethereum Foundation (more details at a later date)
2/ Ethereum continues to lead in placing big bold bets on game-changing technologies
3/ The grant will allow StarkWare to explore STARK-friendly hash functions, to develop its technology, and to offer open source code to the ecosystem
Read 7 tweets

Did Thread Reader help you today?

Support us! We are indie developers!

This site is made by just two indie developers on a laptop doing marketing, support and development! Read more about the story.

Become a Premium Member ($3/month or $30/year) and get exclusive features!

Become Premium

Don't want to be a Premium member but still want to support us?

Make a small donation by buying us coffee ($5) or help with server cost ($10)

Donate via Paypal

Or Donate anonymously using crypto!


0xfe58350B80634f60Fa6Dc149a72b4DFbc17D341E copy


3ATGMxNzCUFzxpMCHL5sWSt4DVtS8UqXpi copy

Thank you for your support!

Follow Us on Twitter!