For the Lambda ZK Week this year we are excited to award bounties for projects that demonstrate innovative and compelling uses of our zkVM and/or Bonsai, our ZK proving network.
Additionally, for projects looking to bring ZK to Ethereum and/or Gas-efficient verifiable off chain computation, we are providing an early release of our ZK Coprocessor which enables on chain applications to access off chain verifiable compute through our zkVM and Bonsai.
****All bounty applications will be open source with the full source code available on GitHub.
The RISC Zero Discord will be the best place to receive support for your hacks.
To obtain a Bonsai API Key please fill out: Bonsai.xyz/apply
Any projects that use both Lambda and RISC Zero to do something meaningful, novel, or inspiring where both technologies are relevant for the hack.
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture. Our suite of products enable developers to use existing tools and languages, such as Rust, to build performant, upgradable, and secure ZK programs. Additionally Bonsai, our ZK proving network, enables hyper performant parallel proving and on chain proofs for any program built on our zkVM.
The RISC Zero zkVM is an open-source, zero-knowledge virtual machine that lets you build trustless, verifiable software in your favorite languages. Currently developers can use our Rust zkVM starter template to build/port any ZK programs without the need to develop custom ZK circuits. Combined with our industry leading performance and functionality, the zkVM enables fast ZK development and enables developers to take advantage of many existing libraries/crates within their program. Additionally our general purpose zkVM has wide spread support for hashing, signature verification, and more through easily programmable Rust.
Some demos built on our zkVM can be found in this repository here.
The starter template can be found here
To obtain a Bonsai API Key please fill out this FORM
Bonsai is our massively parallel, chain-agnostic, ZK proving network that enables developers to generate zkVM proofs magnitudes more complex and performant than what is possible locally.
This is possible by utilizing our recursive continuations feature, which is unique to Bonsai. It enables us to parallelize proof generation across hundreds of GPUs, prove upwards of 4 billion cycles, and roll the continuations proofs up into a single root proof. Additionally our innovative Stark to Snark feature compresses zkVM proofs down to ~1kb groth16 proofs and enables us to post Bonsai proofs on chain. Verification of these proofs currently requires ~200k gas.
All these additional improvements are possible with minimal changes to the existing Rust zkVM starter template. To turn Bonsai on for your zkVM projects please do the following steps: