merge with master

Author: hero78119

.github/workflows/integration.yml

@@ -43,18 +43,13 @@ jobs:
         with:
           path: |
             target/
-            example/target/
+            examples/target/
             ceno_rt/target/
           key: integration-${{ runner.os }}-cargo-${{ hashFiles('**/Cargo.lock') }}
       - uses: dtolnay/rust-toolchain@nightly
 
-      - name: Run example
-        env:
-          RUSTFLAGS: "-C opt-level=3"
-        run: cargo run --package ceno_zkvm --example riscv_opcodes -- --start 10 --end 11
-
       - name: Run fibonacci
         env:
           RUST_LOG: debug
           RUSTFLAGS: "-C opt-level=3"
-        run: cargo run --package ceno_zkvm --bin e2e -- --platform=sp1 ceno_zkvm/examples/fibonacci.elf
+        run: cargo run --package ceno_zkvm --bin e2e -- --platform=ceno --hints=10 --public-io=4191 examples/target/riscv32im-ceno-zkvm-elf/release/examples/fibonacci

.github/workflows/lints.yml

@@ -36,7 +36,7 @@ jobs:
             ~/.cargo/git/db/
             target/
             ceno_rt/target/
-            example/target/
+            examples/target/
           key: lint-${{ runner.os }}-cargo-${{ hashFiles('**/Cargo.lock') }}
           restore-keys: lint-${{ runner.os }}-cargo-
 

.github/workflows/tests.yml

@@ -35,7 +35,7 @@ jobs:
             ~/.cargo/git/db/
             target/
             ceno_rt/target/
-            example/target/
+            examples/target/
           key: tests-${{ runner.os }}-cargo-${{ hashFiles('**/Cargo.lock') }}
           restore-keys: tests-${{ runner.os }}-cargo-
 

.gitignore

@@ -9,3 +9,6 @@ table_cache_dev_*
 .DS_Store
 .env
 proptest-regressions/
+
+# ceno serialized files
+*.bin