Bonsai enables boundless computation on any blockchain. With Bonsai, instead of generating proofs on your own hardware, you can upload the program you need proven and request that Bonsai generates proofs for you as needed.
Bonsai is highly parallelized, highly performant and can horizontally scale. To get a taste of what you can do with Bonsai, check out Zeth, our Governance Showcase, Bonsai Pay, and our twitter thread about using Bonsai as a zk coprocessor.
Whether you're looking to take heavy computations off-chain or need to generate proofs for your trustless, verifiable software, Bonsai can help. Check out our Bonsai Quick Start page, and start building!
Please note that Bonsai is still in early development.
Request access here, and do not use Bonsai in production.
The diagram above shows a simplified overview of Bonsai. As a developer using Bonsai you'll write your guest program that can be used as part of:
- A trustless, verifiable software
- Some business logic of a smart contract
Note that there are various ways to interact with Bonsai, outlined on the Bonsai Quick Start page.
How do I interact with Bonsai directly?
If you build a project with the
cargo risczero tool, you can set environment variables to enable remote proving using Bonsai. Namely, when running your project, set
How do I interact with Bonsai from Ethereum?
The picture above shows a simplified overview of how users can integrate Bonsai into their Ethereum smart contracts:
- You can send proof requests to Bonsai via an off-chain REST API interface or on-chain via a smart contract.
Bonsai Relayerwill forward your proof request to the Bonsai proving service.
- Bonsai will use the RISC Zero zkVM to generate a proof, and send the proof back to your contract via the
Bonsai Relay Contract.
How do I interact with Bonsai from other chains?
Bonsai Building Blocks
1. The RISC Zero zkVM: the proof engine behind Bonsai
Status: Available and open source
Under the hood, Bonsai uses the RISC Zero zkVM to prove your programs. With the zkVM, you have access to recursive proofs, proofs composition, a general-purpose circuit (with a bespoke circuit compiler), state continuations, and continuous improvements to the proving algorithm.
2. The Bonsai proving service, powered by the zkVM
3. Bonsai Relayer and Relay Contract: Connecting off-chain proofs and on-chain applications
Bonsai Relayer and the
Bonsay Relay Contract let your Ethereum dApps connect to Bonsai. Smart contract developers can call our proving service off-chain via a REST API or through an on-chain relay contract connected to the Bonsai proving service.
Where we're headed
We're building technology that allows anyone to generate highly performant zero-knowledge proofs for a variety of applications. We want to make zero-knowledge proof integration into Ethereum, L1 blockchains, Cosmos app chains, L2 rollups, and dApps possible with minimal development effort. To learn more, read our litepaper.