RISC Zero 🟡 Profile picture
Oct 7 5 tweets 2 min read Read on X
Introducing Steel 1.0: A production-ready smart contract prover bringing boundless runtime to EVM apps.

Steel moves smart contract execution offchain, bypassing gas limits while preserving onchain security.

Enhance your existing Solidity contracts ↓
2/ Steel uses execution proofs to eliminate blockchain re-execution.

Any computation—no matter how complex—becomes a compact proof which is quickly verified onchain.

Result? Boundless runtime, massive cost reductions. Image
3/ Our partners are already leveraging Steel's power.

One app:
- Processed 400,000 SLOADs in a single contract call
- Saved 1.2 billion gas (equivalent to 30 blocks of execution)
- All proven with just one execution proof

This is not small improvement. It's a paradigm shift.Image
4/ EVM developers can:
→ Use existing EVM smart contract logic
→ Prove execution over historic onchain state
→ Optimize expensive onchain operations
→ Or build apps that were previously impossible due to gas constraints

All while preserving EVM compatibility and security.
5/ At RISC Zero, we envision a future where @boundless_xyz replaces the need for onchain execution.

Steel is helping make this vision a reality.

Learn more → risczero.com/blog/introduci…

Steel docs → github.com/risc0/risc0-et…

• • •

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

Keep Current with RISC Zero 🟡

RISC Zero 🟡 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!

PDF

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 @RiscZero

Sep 16
Introducing Boundless: The Verifiable Compute Layer

Unlimited execution. Global composability. On-demand scaling.

For every developer. On any chain.
2/ Boundless leverages ZK to enable verifiable off-chain execution for any chain.

This means any application can be built off-chain while inheriting blockchain security.

No block/txn/execution limits. Only boundless possibilities.Image
3/ Boundless will bring forth a new era of advanced & expressive apps:
→ DEXs with CEX-like UX, accessing the liquidity of all chains
→ Verifiable AI interactions with onchain results
→ ZK-wrappers for centralized IDs

Imagine it. Build it. Scale it with Boundless.
Read 7 tweets
Jul 2
We're thrilled to announce a collaboration with @celestiaorg to build Blobstream Zero, a new-generation zkVM-based Blobstream bridge. 🟡

Blobstream Zero will bridge Celestia's permissionless DA layer to Ethereum, Optimism, Bitcoin, Solana, and more...
2/ Blobstream Zero opens up a new class of modular apps: ZK Coprocessors.

Dapps on Ethereum, Optimism, and Solana can run highly functional and data-rich ZK programs, powered by RISC Zero and Celestia, while maintaining composability.
3/ As a fully open-sourced and permissionless public good, any developer and project can run Blobstream Zero and generate ZK proofs locally.

The Rust-based repo will be easily upgradable and extensible, allowing projects to modify the bridge to fit their needs. ⏫
Read 5 tweets
Jun 17
Introducing zkVM 1.0: The Future of Verifiable Computation🌐

Today, we're excited to launch the world's first and most performant, production-ready zkVM.

zkVM 1.0 makes zero-knowledge proofs scalable, accessible, and cost-effective for any chain.
2/ Unrivaled Performance 🔥

zkVM 1.0 offers cost-effective proving with performance that significantly outperforms competitors.

Our tests show zkVM 1.0 is significantly less expensive and consistently faster across various workloads.

Full details ↓
risczero.com/blog/beating-m…Image
3/ Benchmark Highlights ⏫

Across the board, a properly configured RISC Zero zkVM outperforms a similarly configured SP1 deployment in both cost and speed. This holds true:

→ In the cloud
→On consumer Macs (M2 Max and M3 Max)
→On consumer PCs with NVIDIA GPUImage
Image
Image
Read 8 tweets
Apr 26
Introducing Steel: our Alloy-based view call proof library designed to revolutionize dapp scalability directly on Ethereum L1 and beyond. 🟡

Why Steel is a game-changer for EVM developers and onchain protocols ↓
With Steel, RISC Zero’s ZK Coprocessor gains access to Ethereum's full state.

Tests surpassing 100K SLOADs (>210M gas) show Steel can cut $1000s in fees with one proof.

Steel enables Layer 0.5 scaling, sidestepping Ethereum's block & txn size limits, unlocking new use cases.
Steel enhances RISC Zero’s ZK Coprocessor, offering:

✅ Solidity smart contract execution
✅ Unbounded compute via Continuations
✅ Trustless off-chain execution
✅ Security of the first production-ready zkVM
✅ No vendor lock-in

All without writing a single circuit.
Read 6 tweets
Aug 22, 2023
Introducing Zeth: A Fully Open Source Type 0 zkEVM 🚀

Built on the RISC Zero zkVM and Bonsai, Zeth is a performant, upgradable, and scalable way for developers to ZK prove any Ethereum block ushering in the next generation of ZK and EVM

🧵 1/8 Learn More Below!
Democratizing zkEVM 🧑‍💻

Zeth makes it easier to build ZK rollups, zkEVMs, light clients, and bridges by providing an open source solution to generate ZK Proofs of EVM and Ethereum blocks

Projects can use Zeth to bring ZK to their protocols in weeks instead of years

🧵 2/8
Why is Zeth a Type 0 zkEVM?

Zeth can prove all aspects of Ethereum, from every EVM opcode and EIPs to the block construction itself

We're able to accomplish this because Zeth was built by reusing major parts of reth and revm on top of the RISC Zero zkVM

🧵 3/8 Image
Read 8 tweets
May 22, 2023
Next generation Optimistic Rollups are here! 🚀

@RiscZero and @LayerN_ have joined forces to develop the first ZK Fraud Proof system, combining Optimistic Rollups with ZK Proofs, opening the door for more performant, reliable, and secure Blockchains.

🧵 [1/6]
Optimistic Rollups and Zero Knowledge Proofs don’t need to fight! ❤️

While @LayerN_ is a modular Optimistic Rollup, its Fraud Proof system has been completely overhauled and replaced with Succinct ZK Proofs, which attest to invalid state transitions.

[2/6]
This was accomplished by porting the @LayerN_ execution environment onto the @RiscZero zkVM.

🎉 This is just the start! 🎉

The versatility of the @RiscZero zkVM will enable compatibility with other execution layers in the future such as EVM, SVM, and WASM etc.

[3/6]
Read 6 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!

Ethereum

0xfe58350B80634f60Fa6Dc149a72b4DFbc17D341E copy

Bitcoin

3ATGMxNzCUFzxpMCHL5sWSt4DVtS8UqXpi copy

Thank you for your support!

Follow Us!

:(