Summary

Teams have been finalised. It will be me and senpai benchmarking zkVMs in Ream. Unnawut will be our mentor. Senpai has already worked on Jolt and gave a detailed presentation suggesting, among other things, the costruction of a modular benchmark environment that can test various zkVMs.

Current issue, compilation error

I am currently working on openVM. There is an associated book with a Quickstart guide. The issue occurs in the following example

  1. Initialise a Rust project cargo init my_project
  2. Modify Cargo.toml to include openvm dependency
  3. Include some code in src\main.rs
  4. Use cargo openvm build to build the openvm project
error: target is not supported. You may need to define a custom backend see: https://docs.rs/getrandom/0.3.3/#custom-backend

Things I tried

  1. Clicking on the error link and trying to figure out how to create a custom backend
  2. Following the solution proposed by senpai for jolt by adding a custom getrandom in guest, see here. It is very probable that I didn’t implement it properly
  3. Asking an LLM

The issue with proposed solutions on the internet is a breaking update that happened on version 0.3.0 of getrandom. Many features got depreciated such as the feature custom. It was this feature that enabled the backend. I am still trying to think of a solution. If useful, I will create a minimal working example (MWE). In fact, a MWE already exists just follow the instructions of Quickstart.

An interesting proposal for next weeks

There is an open issue Current zkVM Implementation Analysis that proposes a candidate method that can be used to benchmark various zkVMs in a common framework.