https://github.com/scroll-tech/ceno-recursion-verifier
OpenVM DSL-based Recursion Verifier
https://github.com/scroll-tech/ceno-recursion-verifier
Last synced: 5 months ago
JSON representation
OpenVM DSL-based Recursion Verifier
- Host: GitHub
- URL: https://github.com/scroll-tech/ceno-recursion-verifier
- Owner: scroll-tech
- Created: 2025-02-19T01:28:46.000Z (11 months ago)
- Default Branch: main
- Last Pushed: 2025-08-04T04:27:04.000Z (5 months ago)
- Last Synced: 2025-08-04T04:54:46.555Z (5 months ago)
- Language: Rust
- Size: 13 MB
- Stars: 3
- Watchers: 11
- Forks: 1
- Open Issues: 13
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
## Ceno Recursion Verifier
---
### e2e Ceno Proving
Step 1: Generate `zkvm_proof.bin` and `vk.bin` from within Ceno repo by running its e2e command. Example:
```
cargo run --release --package ceno_zkvm --bin e2e -- --profiling=1 --platform=ceno --hints=10 --public-io=4191 examples/target/riscv32im-ceno-zkvm-elf/release/examples/fibonacci
```
Step 2: Place the exported binary files in the `src/e2e/encoded/` folder.
Step 3: Run proving command:
```
RUST_BACKTRACE=1 cargo test --package ceno-recursion-verifier --lib -- e2e::test_zkvm_proof_verifier_from_bincode_exports --exact --show-output 2>&1 | tee vm_run_output.log
```