scroll-tech / ceno

Accelerate Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
Apache License 2.0
56 stars 7 forks source link

feat/bin-e2e: Generalize fibonacci example to e2e bin #610

Closed naure closed 4 days ago

naure commented 5 days ago

Example commands:

cargo run --package ceno_zkvm --bin e2e -- --max-steps=100 --platform=sp1 ceno_zkvm/examples/fibonacci.elf

cargo run --package ceno_zkvm --bin e2e -- examples/target/riscv32im-unknown-none-elf/release/examples/ceno_rt_mini

Not included:

heap, IO, or generally memory not allocated in ELF headers.