RISC Zero 🟡 Profile picture
Apr 26 6 tweets 2 min read Read on X
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.
Leverage our universal verifier for the first production-ready zkVM.

No running trusted setups.
No circuit-specific verifiers.

Update ZK logic easily, overcoming complexities that have hindered ZK adoption.
Imagine proving ERC-20 balances, batching thousands of signature verifications, proving blob inclusion on @Celestia, or doing all three in a few lines of code. 🤝

For an overview, check out this video from RISC Zero's Angelo Caposeele ↓
Unlock the power of ZK for your Ethereum dapp with Steel ↓
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

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
May 16, 2023
A huge thank you to participants in @__zkhack__ 's first IRL hackathon! Take a look here at the winning projects (and learn more about what we're looking for at hackathons): risczero.com/blog/zkhack
Thank you to everyone who participated and submitted to the RISC Zero prize category! Here are some of the projects that we loved:
The ZeroSkill team added a Rust-based Brainf*ck interpreter to the guest zkVM and used it to capture the execution of an interpreted program. This project was a great demonstration of ZK proofs for interpretable code.
github.com/hananbeer/mind…
devfolio.co/projects/mindf…
Read 6 tweets
Mar 28, 2023
This week’s RISC Zero Study Club is focused on FRI!

For real-time FRI learning, join us Wednesday 10am PST/5PM UTC at zoom.us/j/99200763534

If you'll be at #ZKSummit, you can also catch @Paul_Gafni's workshop on this topic.

For async learning, read on!
[1/] Image
The FRI protocol, first published in 2018, is the backbone 🦴of all implementations of STARKs – and some newer SNARKs.
risczero.com/docs/reference…
[2/]
First, some background:
The crux of RISC Zero’s technology is an argument of computational integrity that lives on a RISC Zero receipt. 📜
risczero.com/docs/explainer…
[3/]
Read 20 tweets
Feb 21, 2023
Over the past week, we've released two important pieces to support our zkVM:

- a whitepaper with a formal description of our proof system
- a Lean4 repo for our formal methods work

Deets & links in 🧵👇

[1/]
Release #1: a formal description for our proof system

The proof system is STARK-based, using DEEP-ALI & FRI. For all the details, you can check out the draft here:

risczero.com/proof-system-i…

[2/]
Looking for a gentler introduction to the proof system? We've got a number of reference docs and explainers on the website.

risczero.com/docs/explainers

[3/]
Read 12 tweets
Jan 30, 2023
We’re excited to announce another round of RISC Zero's Study Club!

Feb 1 & 15
Mar 15 & 29
9am PST / 12pm EST / 5pm UTC

Zoom Link: zoom.us/j/99200763534

[1/]
Feb 1: What RISC-V has to do with RISC Zero’s zkVM with Erik Kaneda

Ever wondered how a general purpose assembly language found its place in the zk landscape?
We’ll discuss compilers and interpreters and how we incorporate them into our zk world.

[2/]
Feb 15: Finite Field Implementations: Algorithms for Fast Multiplication and Modular Reduction with Victor Graf (@_subgraf)

We will discuss high performance implementations for finite field arithmetic based on Montgomery, Barrett, and Karatsuba techniques.

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

:(