Commit b49e3a8

authored

feat: cargo ceno (#902)

to try, in ceno/ceno_cli/example dir, run: ``` $ cargo install --path .. --locked $ cargo ceno run --release --hints 10 --public-io 4 --out-proof proof.bin --out-vk vk.bin ``` - [x] cargo ceno build - [x] cargo ceno run - [x] cargo ceno keygen - [x] cargo ceno prove - [x] cargo ceno verify resolve #876 close #813 close #814 close #818 close #819 --------- Co-authored-by: Mihai <[email protected]> Co-authored-by: Matthias Goergens <[email protected]>

1 parent e2c8c12 commit b49e3a8Copy full SHA for b49e3a8

28 files changed

+2203

-85

lines changed

.gitignore
Cargo.lock
Cargo.toml
ceno_cli
- Cargo.toml
- build.rs
- example
  - .gitignore
  - Cargo.toml
  - src
    - main.rs
- src
  - commands
    - build.rs
    - common_args
    - mod.rs
    - raw_run.rs
    - run.rs
    - verify.rs
  - main.rs
  - utils.rs
ceno_host/src
- lib.rs
ceno_zkvm
- Cargo.toml
- benches
- src
  - bin
    - e2e.rs
  - e2e.rs
  - scheme
    - verifier.rs
examples/examples
- is_prime.rs
- quadratic_sorting.rs

28 files changed

+2203

-85

lines changed

`‎.gitignore‎`

-Original file line number
+Diff line change
 .DS_Store
 .env
 proptest-regressions/
++
 +# ceno serialized files
 +*.bin

Comments

(0)