Building high-performance ZK systems to power the next era of computing.

Joined January 2022
305 Photos and videos
Pinned Tweet
10 Apr 2025
Introducing R0VM 2.0. The zkVM built for the real-time era.
300
147
1,225
560,530
17 Oct 2025
RISC Zero & Ligero are teaming up to build the future of private, verifiable compute. This enables applications of all sorts to prove compliance while maintaining privacy.
17 Oct 2025
1/ Ligero is partnering with @RiscZero to integrate our client-side ZK proving system with RISC Zero’s verifiable compute stack. Together, we’re combining privacy, scalability, and verifiability in one unified framework.
152
10
187
18,811
17 Oct 2025
RISC Zero & Ligero are teaming up to do just that. By enabling flexible verification of Ligero proofs inside R0VM, we’ll enable users to generate proofs about private data, without revealing any details beyond what they want to prove.
4
1
75
3,947
17 Oct 2025

1
41
3,459
1 Oct 2025
RISC Zero Security Disclosure A critical security vulnerability was recently discovered in the risc0-zkvm-platform crate that would allow a malicious host to write to an arbitrary memory location in the guest. Now that the vulnerability is patched and partners have had time to update, we have published a security disclosure to the risc0/risc0 GitHub repo. RISC Zero remains committed to providing the highest level of transparency, proactive security, and integrity. github.com/risc0/risc0/secur…
28
18
222
25,688
RISC Zero retweeted
11 Aug 2025
Wormhole is bringing production-grade ZK proofs to multichain applications. The @boundless_xyz ZK verifier pairs open source Ethereum consensus proofs with Wormhole’s NTT token standard, powered by the @risczero zkVM.
98
57
436
61,016
4 Aug 2025
As we continue to extend the formal verification coverage on our circuits, we have identified and fixed another bug. This bug was identified by Picus from @VeridiseInc. The issue has been patched and all partners have been migrated over to 2.2.0 or later of risc0-zkVM. RISC Zero remains committed to providing the highest level of transparency, proactive security, and integrity.
32
13
131
16,404
RISC Zero retweeted
Boundless is building a new standard of trust, transparency & security for rollups with @build_on_bob, powered by OP Kailua and @risczero. Thanks @blockworks for covering this!
171
51
402
22,695
RISC Zero retweeted
At Nethermind Security, we’re building infrastructure for formal verification of real-world zkVMs. We’ve applied our approach to R0VM by @RiscZero and SP1 by @SuccinctLabs, two of the most advanced zkVMs in use today. 1/
4
10
37
6,771
23 Jul 2025
Exciting to see @megaeth leverage OP Kailua to replace the standard interactive fraud games with ZK Fraud proofs.
19
11
128
10,891
20 Jul 2025
We're a proud supporter of The Signal, an open-source ZK consensus client powered by @boundless_xyz. Starting with Ethereum, we are bringing ZK interoperability to every chain.
.@risczero is joining Boundless to help power The Signal - an open-source ZK consensus client. We are unlocking trustless ZK interoperability for all of Ethereum.
64
29
205
19,896
RISC Zero retweeted
.@risczero is joining Boundless to help power The Signal - an open-source ZK consensus client. We are unlocking trustless ZK interoperability for all of Ethereum.
98
25
181
31,013
16 Jul 2025
Trusted Setup Ceremonies (TSCs) are an integral part of ZK protocols. Kudos to @l2beat for publishing a new framework to assess them. @RiscZero’s ceremony united over 238 community contributors - open, audited, forever verifiable. See how we compare to others ↓
15 Jul 2025
ZK Catalog v2 is coming & we want your feedback! 🫵 As part of the expanded framework, we’ve drafted a proposal for trusted setup evaluation. Whether you’re building a project that uses a trusted setup or just a zk enthusiast, check the forum and let us know what you think! 👇
21
9
93
10,862
16 Jul 2025
And throw back to this gem: x.com/RiscZero/status/178786…

7 May 2024
"TSC load letter, the f*** does that mean?"
2
1
14
3,866
RISC Zero retweeted
25 Jun 2025
zkEMV-- Your Credit Card Just Became a Hardware Wallet. Imagine transforming your everyday credit card into a secure hardware wallet capable of storing cryptocurrencies like Bitcoin & Ethereum. That's precisely what @mrnerdhair has achieved with zkEMV, a revolutionary creation that leverages zero-knowledge proofs (ZKPs) to simplify the user experience (UX) onchain. This innovative concept means you could potentially send crypto to a credit card number, & only the card's rightful owner can spend it by proving ownership with a ZKP from a chip reader. As @boundless_xyz puts it, think of zkEMV as where ZK tech meets @Visa. This eliminates the traditional onboarding hurdles associated with crypto right? effectively bringing everyone onchain without them even realizing it. Whats The Power Behind zkEMV?------ Hyle & RiscZero zkEMV is powered by a robust underlying technologies. The entire system is built on @hyli_org's L1 blockchain, which provides the foundational infrastructure for this decentralized innovation. Furthermore, it leverages @RiscZero's open-source zkVM (Zero-Knowledge Virtual Machine), a critical component that allows developers and teams to build the next generation of decentralized applications with enhanced privacy & scalability. Both Hyle's blockchain & RiscZero's zkVM mark important victories in the realms of decentralization & ZK technology. By shifting control to users & offering scalable alternatives, these developments directly challenge the dominance of centralized financial systems. Boundless Playing a Vital Role------ Verifying the Future This is where Boundless plays a crucial role. While @mrnerdhair built zkEMV & @hyli_org provides the underlying L1 blockchain, Boundless is responsible for verifying these groundbreaking transactions & proofs. In the context of zkEMV, where users prove ownership of crypto assets on their credit cards using ZKPs, Boundless acts as the verification layer. It ensures the integrity & validity of these proofs, confirming that----- - The ZKP generated by the credit card chip reader is legitimate. - The transaction initiated by the card owner is indeed authorized. - The secure transfer of assets occurs as intended. Essentially, Boundless provides the cryptographic assurance that makes zkEMV a trustworthy & secure solution mind you. It's the silent enabler that solidifies the trustless nature of ZK technology in this application, ensuring that everyone is already onchain is not just a dream, but a verifiable reality. By the way, @mrnerdhair's incredible work didn't go unnoticed but won the Hackathon in Berlin hosted by @zkhack. For developers eager to explore this technology, the GitHub repository is available at: - github.com/mrnerdhair/zkemv While currently available on Hylé's testnet (requiring an access code, which you might be lucky to find from @sylvechv', the implications of zkEMV are vast as well. It demonstrates the immense potential of ZK technology to simplify crypto interactions, enhance privacy, and truly empower users. Design by @0xDrea_onX gBerry.
24
16
85
15,131
24 Jun 2025
zkTLS powered by R0VM 👀
1/ AMMs dominate 95% of volume on top DEXs but hit limits due to liquidity lock-up, restricting DeFi growth. Bootstrapping LPs is tough. Solutions like bribes/rewards exist, but institutional MM liquidity still favours CEXs. Enter Fiet Protocol by @usher_web3.
36
15
116
14,774
20 Jun 2025
That's a lot of proofs 👀
20 Jun 2025
WEEK 1 : A recap. Hylians go hard. Metrics, BTS moments, and what you can expect next ⬇️
9
2
59
8,802