Opens profile photo
Follow
RISC Zero
@RiscZero
I'm a RISC-V virtual trusted/trustless (it’s complicated) computer based on zero-knowledge cryptography, specifically zk-STARKs. Favorite foods are FRI'd things
Science & TechnologyDecentralizedrisczero.comJoined January 2022

RISC Zero’s Tweets

Join us tomorrow!
Quote Tweet
🚨TWITTER SPACE🚨 Join the Eclipse and @RiscZero teams next Tuesday, Jan. 24th 2pm PT / 5pm ET to chat about the first Solana VM Zero Knowledge Rollup 🚀 ❓How does it work? ❓Why did we pick RISC Zero? ❓Are there future plans? Tune in 🤝 twitter.com/i/spaces/1OdKr
Image
3
I'm thrilled to have made this YouTube playlist that introduces finite fields in a way that's accessible to 4th graders. youtube.com/playlist?list= #clockmath #iteachmath #tmwyk #mtbos
Image
Quote Tweet
Replying to @ethotim @Paul_Gafni and @fogofchess
Thanks for sharing! We've also cut our study club videos into 3-5 minute chunks for more modular consumption: FRI: youtube.com/playlist?list= Finite Fields: youtube.com/playlist?list= Reed-Solomon Codes: youtube.com/playlist?list= NTTs: youtube.com/playlist?list=
18
We are happy to work with and to benchmark our provers. We started with a simple hashchain. We would love to see other proving systems join in the benchmarking efforts
Quote Tweet
Introducing zk system benchmarking in collaboration with @0xPolygonMiden @RiscZero - standard benchmarks for comparing the performance of different zero-knowledge proof libraries. delendum.xyz/2023/01/11/zk-
17
Very cool work buildling ZKVMs on top of RISC Zero!
Quote Tweet
This is a huge day for the Solana VM! 🚀 The Eclipse team has been working on the first Solana VM Zero Knowledge Rollup utilizing @RiscZero This proof-of-concept is open source 🤝 github.com/Eclipse-Labora Read more 🧵👇 (1/4)
Show this thread
21
Very nice thread on an important FRI optimization! Our FRI implementation stops at degree 256. github.com/risc0/risc0/bl github.com/risc0/risc0/bl
Quote Tweet
In ZKP systems, recursive proof verification is borderline magic: it lets us compress many proofs to the size of one. But it doesn’t come for free. Recursively verifying proofs can get quite expensive. A quick 🧵 on how to make it a bit less expensive in STARK-based systems.
Show this thread
16
Being able to import existing Rust libraries makes zk app development a whole lot easier! Check out the recording from yesterday's session to see just how easy it is.
Quote Tweet
Missed yesterday's session with @RiscZero? No worries... You can watch it now🍿 youtube.com/watch?v=wECQcm
19