RISC Zero

Introducing R0VM 2.0. The zkVM built for the real-time era.

Read more here: ligero-inc.com/ligero-risc-ze…

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.

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.

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/se…

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.

@VeridiseInc github.com/risc0/risc0/se…

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.

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!

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/

Exciting to see @megaeth leverage OP Kailua to replace the standard interactive fraud games with ZK Fraud proofs.

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.

@boundless_xyz We're proud to be supporting The Signal 🫡

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

And throw back to this gem: x.com/RiscZero/statu…

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 ↓

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/zke… 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.

zkTLS powered by R0VM 👀