The RISC Zero zero-knowledge virtual machine (zkVM) lets you prove correct execution of arbitrary Rust code. from-rust-to-receipt-23117368c4f46d78c8cac3b753245a5a In the case of Zeth (a type-1 zkEVM), Ethereum and Bedrock blocks can be proven to be correctly executed by running a Reth (a rust Ethereum client implementation) ELF binary along with state inputs, to produce a receipt, which can be verifed using a smart contract on L1 (or any EVM execution layer). resized_image Bonsai provides an easy to use REST API to which you provide a program to be proved alongside inputs. This negates the need to setup the complex GPU environment required.