upload examples (#1)

* upload examples

* fix ci

Author: XuyangSong

.github/workflows/ci.yml

@@ -0,0 +1,142 @@
+name: arm-risc0 CI
+
+on:
+  push:
+    branches: [ main, develop ]
+  pull_request:
+    branches: [ main, develop ]
+
+env:
+  CARGO_TERM_COLOR: always
+  RUST_BACKTRACE: 1
+  RISC0_TOOLCHAIN_VERSION: 3.0.3
+
+jobs:
+  fmt:
+    name: Format
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout sources
+        uses: actions/checkout@v4
+
+      - name: Install Rust toolchain
+        uses: dtolnay/rust-toolchain@master
+        with:
+          toolchain: "1.89"
+          components: rustfmt
+
+      - name: Check formatting (main workspace)
+        run: cargo fmt --all -- --check
+
+      - name: Check formatting (example_circuits workspace)
+        run: cargo fmt --all -- --check
+        working-directory: example_circuits
+
+  clippy:
+    name: Clippy
+    runs-on: macos-latest
+    steps:
+      - name: Checkout sources
+        uses: actions/checkout@v4
+
+      - name: Install Rust toolchain
+        uses: dtolnay/rust-toolchain@master
+        with:
+          toolchain: "1.89"
+          components: clippy
+
+      - name: Setup Rust cache
+        uses: Swatinem/rust-cache@v2
+        with:
+          workspaces: |
+            .
+
+      - name: Run clippy (main workspace)
+        run: cargo clippy --workspace --all-targets -- -D warnings
+
+  build:
+    name: Build
+    strategy:
+      matrix:
+        os: [macos-latest]
+        rust: ["1.89"]
+    runs-on: ${{ matrix.os }}
+    steps:
+      - name: Checkout sources
+        uses: actions/checkout@v4
+
+      - name: Install Rust toolchain
+        uses: dtolnay/rust-toolchain@master
+        with:
+          toolchain: ${{ matrix.rust }}
+          targets: wasm32-unknown-unknown
+
+      - name: Setup Rust cache
+        uses: Swatinem/rust-cache@v2
+        with:
+          workspaces: |
+            .
+            example_circuits
+
+      # - name: Install RISC0 toolchain
+      #   run: |
+      #     curl -L https://risczero.com/install | bash
+      #     $HOME/.risc0/bin/rzup install cargo-risczero $RISC0_TOOLCHAIN_VERSION
+      #     $HOME/.risc0/bin/rzup install r0vm $RISC0_TOOLCHAIN_VERSION
+
+      - name: Build main workspace
+        run: cargo build --workspace --all-targets
+
+      ## Skip building example_circuits workspace for now due to limited risc0-toolchain download requests
+      # - name: Build example_circuits workspace
+      #   run: cargo build --workspace --all-targets
+      #   working-directory: example_circuits
+
+  test:
+    name: Test
+    strategy:
+      matrix:
+        # os: [ubuntu-latest, macos-latest]
+        os: [macos-latest]
+        rust: ["1.89"]
+    runs-on: ${{ matrix.os }}
+    env:
+      RISC0_DEV_MODE: 1  # Use dev mode for faster testing
+    steps:
+      - name: Checkout sources
+        uses: actions/checkout@v4
+
+      - name: Install Rust toolchain
+        uses: dtolnay/rust-toolchain@master
+        with:
+          toolchain: ${{ matrix.rust }}
+          targets: wasm32-unknown-unknown
+
+      - name: Setup Rust cache
+        uses: Swatinem/rust-cache@v2
+        with:
+          workspaces: |
+            .
+
+      - name: Run tests (main workspace)
+        run: cargo test --workspace
+
+  test-release:
+    name: Test Release
+    runs-on: macos-latest
+    env:
+      RISC0_DEV_MODE: 1  # Use dev mode for faster testing
+    if: github.event_name == 'push' && github.ref == 'refs/heads/main'
+    steps:
+      - name: Checkout sources
+        uses: actions/checkout@v4
+
+      - name: Setup Rust cache
+        uses: Swatinem/rust-cache@v2
+        with:
+          workspaces: |
+            .
+
+      - name: Run release tests (main workspace)
+        run: cargo test --workspace --release
+        timeout-minutes: 60