Starting now!
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
RISC Zero’s Tweets
Happening today with and the team!
See you at 2 pm PT / 5 pm ET
1
2
Show this thread
Happening today with and the team!
See you at 2 pm PT / 5 pm ET
1
2
Show this thread
I’m looking for partners and investors to start a project with ChatGPT and a few members of that are really good in data engineering, distributed systems and ML. We just finished working in a project as contractors and we’re looking to be partners.
RTs are 🙏🙏🙏.
15
27
Join us tomorrow!
Quote Tweet
1
3
📢Join us TOMORROW for a Twitter Space with to chat about the first Solana VM Zero Knowledge Rollup utilizing
🎙️Tune In!
twitter.com/i/spaces/1OdKr
2
2
37
Show this thread
Quick breakdown of how the ZKP development flow/RiscZero work:
Quote Tweet
A brief explanation of the 4 methods for a ZKP development flow (notes on @BruestleJeremy from @RiscZero's presentation today)
Show this thread
3
4
6/ What are you doing now to onboard devs to build upon the ecosystem?
- We have an “early access program” for devs. It’s new but it has been growing, currently, it's by word of mouth, and will be launched at , folks can dm us
1
1
4
Show this thread
5/ What do you hope to achieve this year?
- This year we will make it possible for anyone, even people with no ZK experience, to be able to write new kinds of on-chain applications apps in Rust, Go, C++, and more
2
3
6
Show this thread
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
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=
5
18
We are excited to announce that will be a sponsor for our hacker house.
A thread on their plans this year 🧵👇
1
3
26
Show this thread
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-
5
17
Introducing zk system benchmarking in collaboration with - standard benchmarks for comparing the performance of different zero-knowledge proof libraries.
6
57
194
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
2
21
This is a huge day for the Solana VM! 🚀
The Eclipse team has been working on the first Solana VM Zero Knowledge Rollup utilizing
This proof-of-concept is open source 🤝
github.com/Eclipse-Labora
Read more 🧵👇
(1/4)
11
83
298
Show this thread
Prefer reading over videos?
Check out the docs on the website:
2
4
Show this thread
RISC Zero has built a zero-knowledge virtual machine based on RISC-V.
Not sure exactly what that means? Check out Tim's talk at
1
4
37
Show this thread
ZK app development is getting easier and easier!
What are you building?
github.com/risc0/risc0-ru
4
31
19. RiscZero changes the game for ZK rollups; enables smart contracts in convential programming languages.
6
11
135
Show this thread
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
1
16
Not sure what you're doing for New Years?
Perhaps it's time to start building zero-knowledge apps!
1
5
31
CEO of brings a short introduction to MLIR and its MLIR-based ZK compiler Zirgen.
1
5
9
Show this thread
some cool things I've been looking into
zkEVMs , , , &
zkVM (so sick)
EVM-native optimistic rollup
's natively private zk L1
decentralized sequencers, hyperplonks & CAPE
12
80
307
Show this thread
We're committed to making zero-knowledge software development as straight-forward as possible.
Don't worry about writing custom circuits or learning a new language. Rust ftw.
6
32
CEO of will discuss multi-level IR and its utility in ZK at #OpenZL Conference.
🗓 December 21 at 11:00AM EST
✍🏻 Register here: crowdcast.io/c/manta-openzl
1
3
10
Show this thread
2. ZK adoption + expanding use cases.
Projects like , & have developed incredible use cases for zk, and I expect more growth in the sector in the coming year. The tech has exciting applications for identity, bridges, tradfi, and more.
3
12
58
Show this thread
5
20
44
Made a Mirror version of my thread from yesterday
2
12
Show this thread
To be concrete, I'm referring to as the top project I know of that is making this a reality.
RISC Zero is designing a virtual computer, aka a VM, that runs the popular ISA called RISC V, with the catch that the whole thing is a zero-knowledge proof system.
1
7
48
Show this thread
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
2
19
1
8
A clip from our episode with and . In it, they share the moment that they realized how impactful zk could be.
Catch the upcoming RISC Zero workshop at happening on Dec 6th
hopin.com/events/zkhacki
5
15
If you listened to the ep with but feel you still need a deeper look, be sure to join our session with them - happening Tuesday Dec 6th.
Expect a hands-on walkthrough and a look at what is going to be possible.
6
22
Recording from yesterday's study club on Number Theoretic Transforms is up!
2
5
Show this thread



















