1212
ceno/examples at master · scroll-tech/ceno · GitHub
Skip to content

Latest commit

 

History

History

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 
 
 
 
 
 
 

Ceno VM examples guest programs

You can directly build the RiscV examples by running the following commands:

rustup target add riscv32im-unknown-none-elf
cargo build --release --examples

But that won't be very useful by itself. You probably want to execute and prove these examples. Have a look at test_elf.rs and the examples-builder for one way to run the examples from tests. Or see the end-to-end integration tests for how to run the examples as stand-alone ELF files.