KO | EN

GitLite

Minimalist Open Source Repository Search Engine

gitlite — search

#developer-tools #typescript #dsh #dsh-plugin #ai-agent #codex #ai-agents #deepseek-harness #claude-code #cli #react #mcp

any-zkvm

★ 57 Open GitHub ↗

A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

# Any zkVM template
A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use. also makes it possible to benchmark over every available zkVM

For now, proving and verification is in the same script, but it would great to have two different flow for both

## Getting started
You can write your code in `./lib/src/lib.rs`.

You can install all the available zkvm using the `./build.sh` file
```shell
./build.sh
```

You'll find a trait `Processor` with some function already implemented; let's go through every function and types to understand them better

### Processor::Input
This type represent the public inputs you'll pass to your verifier
### Processor::Output
This type represent the public outputs your program will pass to the verifier
### get_guest_inputs()
This function is an helper to pass your inputs to the zkvm, you should not have to modify this function (or at least not often)
### get_host_inputs()
This function passes the public inputs to the prover, you could for example take these inputs from your user directyl
### prove(input: Self::Input)
This is where you'll write the code you want to prove, this code will be the one passed to the prover
### process_outputs(_output: Self::Output)
This function is the callback you'll get at the end of the program (after verification), you can then uses the output values to do any verification you need!

## Run a specific zkVM
`cargo run -p [zkVM] --release`

Available zkVMs: `[sp1, risczero, powdrVM]`

in progress: `[jolt]`

## Run a specific zkVM with AVX

Some zkVMs (e.g. powdrVM, Valida) might have a lot better performance with AVX enabled,
if your hardware supports it.

You can enable it via:
`RUSTFLAGS='-C target-cpu=native' cargo run -p [zkVM] --release`

## TODO
- Fix Jolt
- Add Valida with their custom ISA
- Add more zkVMs
- Add benchmarks

any-zkvm

Explore Similar Repositories

Was this content helpful?

Recent Feedback

Download README