From 2922ce89290cade4ac8e1e18702441c329f1dc3e Mon Sep 17 00:00:00 2001
From: Alexander Hicks <25369263+alexanderlhicks@users.noreply.github.com>
Date: Fri, 24 Jan 2025 02:38:58 +0000
Subject: [PATCH 1/2] Add link precompile docs for jolt, sp1, risc0, openvm
---
README.md | 42 +++++++++++++++++++++---------------------
1 file changed, 21 insertions(+), 21 deletions(-)
diff --git a/README.md b/README.md
index 4e87fd0..55c9d7c 100644
--- a/README.md
+++ b/README.md
@@ -48,27 +48,27 @@ A curated list of zkVM, zero-knowledge virtual machine.
- Proving Frontend: A user-friendly language for writing provable programs, which then get compiled down into the VM’s supported ISA for zero-knowledge execution.
- GPU: Indicates if proving on GPU is supported (based on publicly exposed Metal/CUDA code)
-| zkVM | ISA | Continuations &
Parallel Proving | Precompiles | GPU | Proving Frontend |
-| :---------------------------------------------------------------: | :------------------: | :-----------------------------------: | :----------------: | :----------------: | :---------------------------------: |
-| [cairo](https://github.com/lambdaclass/cairo-vm) | Cairo | :x: | :white_check_mark: | | Cairo |
-| [ceno](https://github.com/scroll-tech/ceno) | RISC-V | :x: | :x: | | Rust |
-| [eigen zkvm](https://github.com/0xEigenLabs/eigen-zkvm) | RISC-V | :white_check_mark: | :white_check_mark: | | Rust |
-| [jolt](https://github.com/a16z/jolt) | RISC-V | :x: | :x: | | Rust |
-| [miden](https://github.com/0xPolygonMiden/miden-vm) | MASM(Miden Assembly) | :x: | :white_check_mark: | :white_check_mark: | Rust, Wasm |
-| [mozak vm](https://github.com/0xmozak/mozak-vm) | RISC-V | :x: | :x: | | Rust |
-| [nexus](https://github.com/nexus-xyz/nexus-zkvm) | RISC-V | :white_check_mark: | :white_check_mark: | | Rust |
-| [o1vm](https://github.com/o1-labs/proof-systems/tree/master/o1vm) | MIPS & RISC-V | :x: | :x: | | Rust |
-| [olavm](https://github.com/Sin7Y/olavm) | Ola Assembly | :x: | :white_check_mark: | | Ola Assembly |
-| [openvm](https://github.com/openvm-org/openvm) | RISC-V | :white_check_mark: | :white_check_mark: | | Rust |
-| [powdrVM](https://github.com/powdr-labs/powdr) | RISC-V | :white_check_mark: | :white_check_mark: | | Rust, Powdr, PIL |
-| [risc0](https://github.com/risc0/risc0) | RISC-V | :white_check_mark: | :white_check_mark: | :white_check_mark: | Rust |
-| [sp1](https://github.com/succinctlabs/sp1) | RISC-V | :white_check_mark: | :white_check_mark: | :white_check_mark: | Rust |
-| [sphinx](https://github.com/argumentcomputer/sphinx) | RISC-V | :white_check_mark: | :white_check_mark: | | Rust |
-| [triton vm](https://github.com/TritonVM/triton-vm) | Triton Assembly | :x: | :x: | | Triton Assembly |
-| [valida](https://github.com/valida-xyz/valida) | Valida | :x: | :x: | | Rust, C |
-| [zisk](https://github.com/0xPolygonHermez/zisk) | RISC-V | :white_check_mark: | :x: | | PIL |
-| [zkm](https://github.com/zkMIPS/zkm) | MIPS | :white_check_mark: | :white_check_mark: | | Rust, Go |
-| [zkWasm](https://github.com/DelphinusLab/zkWasm) | Wasm | :white_check_mark: | :white_check_mark: | | C, C++, rust, etc (wasm compilable) |
+| zkVM | ISA | Continuations &
Parallel Proving | Precompiles | GPU | Proving Frontend |
+| :---------------------------------------------------------------: | :------------------: | :-----------------------------------: | :-------------------------------------------------------------------------------: | :----------------: | :---------------------------------: |
+| [cairo](https://github.com/lambdaclass/cairo-vm) | Cairo | :x: | :white_check_mark: | | Cairo |
+| [ceno](https://github.com/scroll-tech/ceno) | RISC-V | :x: | :x: | | Rust |
+| [eigen zkvm](https://github.com/0xEigenLabs/eigen-zkvm) | RISC-V | :white_check_mark: | :white_check_mark: | | Rust |
+| [jolt](https://github.com/a16z/jolt) | RISC-V | :x: | [:x:](https://jolt.a16zcrypto.com/future/precompiles.html) | | Rust |
+| [miden](https://github.com/0xPolygonMiden/miden-vm) | MASM(Miden Assembly) | :x: | :white_check_mark: | :white_check_mark: | Rust, Wasm |
+| [mozak vm](https://github.com/0xmozak/mozak-vm) | RISC-V | :x: | :x: | | Rust |
+| [nexus](https://github.com/nexus-xyz/nexus-zkvm) | RISC-V | :white_check_mark: | :white_check_mark: | | Rust |
+| [o1vm](https://github.com/o1-labs/proof-systems/tree/master/o1vm) | MIPS & RISC-V | :x: | :x: | | Rust |
+| [olavm](https://github.com/Sin7Y/olavm) | Ola Assembly | :x: | :white_check_mark: | | Ola Assembly |
+| [openvm](https://github.com/openvm-org/openvm) | RISC-V | :white_check_mark: | [:white_check_mark:](https://book.openvm.dev/custom-extensions/overview.html) | | Rust |
+| [powdrVM](https://github.com/powdr-labs/powdr) | RISC-V | :white_check_mark: | :white_check_mark: | | Rust, Powdr, PIL |
+| [risc0](https://github.com/risc0/risc0) | RISC-V | :white_check_mark: | [:white_check_mark:](https://dev.risczero.com/api/zkvm/precompiles) | :white_check_mark: | Rust |
+| [sp1](https://github.com/succinctlabs/sp1) | RISC-V | :white_check_mark: | [:white_check_mark:](https://docs.succinct.xyz/docs/writing-programs/precompiles) | :white_check_mark: | Rust |
+| [sphinx](https://github.com/argumentcomputer/sphinx) | RISC-V | :white_check_mark: | :white_check_mark: | | Rust |
+| [triton vm](https://github.com/TritonVM/triton-vm) | Triton Assembly | :x: | :x: | | Triton Assembly |
+| [valida](https://github.com/valida-xyz/valida) | Valida | :x: | :x: | | Rust, C |
+| [zisk](https://github.com/0xPolygonHermez/zisk) | RISC-V | :white_check_mark: | :x: | | PIL |
+| [zkm](https://github.com/zkMIPS/zkm) | MIPS | :white_check_mark: | :white_check_mark: | | Rust, Go |
+| [zkWasm](https://github.com/DelphinusLab/zkWasm) | Wasm | :white_check_mark: | :white_check_mark: | | C, C++, rust, etc (wasm compilable) |
## bench
From ed5ae885be38ec0c0aaa8573647eb854ca6a4112 Mon Sep 17 00:00:00 2001
From: Alexander Hicks <25369263+alexanderlhicks@users.noreply.github.com>
Date: Sun, 26 Jan 2025 01:08:19 +0000
Subject: [PATCH 2/2] Link to Cairo and Miden precompile docs
---
README.md | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/README.md b/README.md
index 55c9d7c..be55204 100644
--- a/README.md
+++ b/README.md
@@ -50,11 +50,11 @@ A curated list of zkVM, zero-knowledge virtual machine.
| zkVM | ISA | Continuations &
Parallel Proving | Precompiles | GPU | Proving Frontend |
| :---------------------------------------------------------------: | :------------------: | :-----------------------------------: | :-------------------------------------------------------------------------------: | :----------------: | :---------------------------------: |
-| [cairo](https://github.com/lambdaclass/cairo-vm) | Cairo | :x: | :white_check_mark: | | Cairo |
+| [cairo](https://github.com/lambdaclass/cairo-vm) | Cairo | :x: | [:white_check_mark:](https://book.cairo-lang.org/ch204-02-builtins-list.html) | | Cairo |
| [ceno](https://github.com/scroll-tech/ceno) | RISC-V | :x: | :x: | | Rust |
| [eigen zkvm](https://github.com/0xEigenLabs/eigen-zkvm) | RISC-V | :white_check_mark: | :white_check_mark: | | Rust |
-| [jolt](https://github.com/a16z/jolt) | RISC-V | :x: | [:x:](https://jolt.a16zcrypto.com/future/precompiles.html) | | Rust |
-| [miden](https://github.com/0xPolygonMiden/miden-vm) | MASM(Miden Assembly) | :x: | :white_check_mark: | :white_check_mark: | Rust, Wasm |
+| [jolt](https://github.com/a16z/jolt) | RISC-V | :x: | [:x:](https://jolt.a16zcrypto.com/future/precompiles.html) | | Rust |
+| [miden](https://github.com/0xPolygonMiden/miden-vm) | MASM(Miden Assembly) | :x: | [:white_check_mark:](https://0xpolygonmiden.github.io/miden-vm/design/chiplets/main.html) | :white_check_mark: | Rust, Wasm |
| [mozak vm](https://github.com/0xmozak/mozak-vm) | RISC-V | :x: | :x: | | Rust |
| [nexus](https://github.com/nexus-xyz/nexus-zkvm) | RISC-V | :white_check_mark: | :white_check_mark: | | Rust |
| [o1vm](https://github.com/o1-labs/proof-systems/tree/master/o1vm) | MIPS & RISC-V | :x: | :x: | | Rust |