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.

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: - 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 👀

That's a lot of proofs 👀

RISC Zero Security Disclosure A missing constraint was recently discovered in the rv32im circuit. This issue affects any 3-register RISC-V instruction (including remu and divu) in risc0-zkvm 2.0.0, 2.0.1, and 2.0.2. This vulnerability was reported by Christoph Hochrainer via our @HackenProof bug bounty program. We have evaluated the severity of the vulnerability as “Critical,” and paid a $50K bounty. The issue has been patched and all partners have been migrated over to 2.1.0. RISC Zero remains committed to providing the highest level of transparency, proactive security, and integrity.

Cryptography Day @ZuBerlinCity

.@hyli_org testnet is live, powered by R0VM. Hyli is a new proof-powered L1 to build the next generation of apps, with testnet proofs generated by RISC Zero. The proof playground is here.

Rollups will win the CLOB wars. @derive_xyz & @aevoxyz already crushing it and @etherealdex coming soon As proving costs drop, the new meta will be: Offchain orderbook + ZKPs from @SuccinctLabs and @RiscZero + Rollup for onchain settlement Max performance. Ethereum security.