Introducing Boundless: The Verifiable Compute Layer
Unlimited execution. Global composability. On-demand scaling.
For every developer. On any chain.
2/ Boundless leverages ZK to enable verifiable off-chain execution for any chain.
This means any application can be built off-chain while inheriting blockchain security.
No block/txn/execution limits. Only boundless possibilities.
3/ Boundless will bring forth a new era of advanced & expressive apps:
→ DEXs with CEX-like UX, accessing the liquidity of all chains
→ Verifiable AI interactions with onchain results
→ ZK-wrappers for centralized IDs
Imagine it. Build it. Scale it with Boundless.
4/ Developers, focus on what matters: your vision.
You code. Boundless delivers:
→ On-demand scaling
→ High performance
→ Seamless deployment
This is verifiable compute, simplified.
5/ Boundless is a neutral protocol that works for every developer on all chains.
One layer to amplify them all. Boundless is for everyone.
6/ We're partnering with industry leaders to bring Boundless to life 🤝
Our partners are helping test and refine Boundless as we move towards our public testnet.
Together, we're bringing the world onchain.
7/ Ready to build without limits?
Join us in creating a future where blockchain's security meet the experience of today's internet.
We're thrilled to announce a collaboration with @celestiaorg to build Blobstream Zero, a new-generation zkVM-based Blobstream bridge. 🟡
Blobstream Zero will bridge Celestia's permissionless DA layer to Ethereum, Optimism, Bitcoin, Solana, and more...
2/ Blobstream Zero opens up a new class of modular apps: ZK Coprocessors.
Dapps on Ethereum, Optimism, and Solana can run highly functional and data-rich ZK programs, powered by RISC Zero and Celestia, while maintaining composability.
3/ As a fully open-sourced and permissionless public good, any developer and project can run Blobstream Zero and generate ZK proofs locally.
The Rust-based repo will be easily upgradable and extensible, allowing projects to modify the bridge to fit their needs. ⏫
✅ Solidity smart contract execution
✅ Unbounded compute via Continuations
✅ Trustless off-chain execution
✅ Security of the first production-ready zkVM
✅ No vendor lock-in
Introducing Zeth: A Fully Open Source Type 0 zkEVM 🚀
Built on the RISC Zero zkVM and Bonsai, Zeth is a performant, upgradable, and scalable way for developers to ZK prove any Ethereum block ushering in the next generation of ZK and EVM
🧵 1/8 Learn More Below!
Democratizing zkEVM 🧑💻
Zeth makes it easier to build ZK rollups, zkEVMs, light clients, and bridges by providing an open source solution to generate ZK Proofs of EVM and Ethereum blocks
Projects can use Zeth to bring ZK to their protocols in weeks instead of years
🧵 2/8
Why is Zeth a Type 0 zkEVM?
Zeth can prove all aspects of Ethereum, from every EVM opcode and EIPs to the block construction itself
We're able to accomplish this because Zeth was built by reusing major parts of reth and revm on top of the RISC Zero zkVM
@RiscZero and @LayerN_ have joined forces to develop the first ZK Fraud Proof system, combining Optimistic Rollups with ZK Proofs, opening the door for more performant, reliable, and secure Blockchains.
🧵 [1/6]
Optimistic Rollups and Zero Knowledge Proofs don’t need to fight! ❤️
While @LayerN_ is a modular Optimistic Rollup, its Fraud Proof system has been completely overhauled and replaced with Succinct ZK Proofs, which attest to invalid state transitions.
[2/6]
This was accomplished by porting the @LayerN_ execution environment onto the @RiscZero zkVM.
🎉 This is just the start! 🎉
The versatility of the @RiscZero zkVM will enable compatibility with other execution layers in the future such as EVM, SVM, and WASM etc.
A huge thank you to participants in @__zkhack__ 's first IRL hackathon! Take a look here at the winning projects (and learn more about what we're looking for at hackathons): risczero.com/blog/zkhack
Thank you to everyone who participated and submitted to the RISC Zero prize category! Here are some of the projects that we loved:
The ZeroSkill team added a Rust-based Brainf*ck interpreter to the guest zkVM and used it to capture the execution of an interpreted program. This project was a great demonstration of ZK proofs for interpretable code. github.com/hananbeer/mind… devfolio.co/projects/mindf…