ceno/.github/workflows/integration.yml at 425384a66c04d7fd9b58d05d49a745fd6144f786 · scroll-tech/ceno · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
name: Integrations

on:
  merge_group:
  pull_request:
    types: [ synchronize, opened, reopened, ready_for_review ]
  push:
    branches:
      - master

concurrency:
  group: ${{ github.workflow }}-${{ github.ref || github.run_id }}
  cancel-in-progress: ${{ github.ref != 'refs/heads/master' }}

jobs:
  skip_check:
    runs-on: [ self-hosted, Linux, X64 ]
    outputs:
      should_skip: ${{ steps.skip_check.outputs.should_skip }}
    steps:
      - id: skip_check
        uses: fkirc/skip-duplicate-actions@v5
        with:
          cancel_others: 'true'
          concurrent_skipping: 'same_content_newer'
          paths_ignore: '["**/README.md"]'
          do_not_skip: '["pull_request", "workflow_dispatch", "schedule", "merge_group"]'

  integration:
    needs: [ skip_check ]
    if: |
      github.event.pull_request.draft == false &&
      (github.event.action == 'ready_for_review' || needs.skip_check.outputs.should_skip != 'true')

    name: Integration testing
    timeout-minutes: 30
    runs-on: [ self-hosted, Linux, X64 ]

    steps:
      - uses: actions/checkout@v4
      - name: Cargo cache
        uses: actions/cache@v4
        with:
          path: |
            target/
            examples/target/
            ceno_rt/target/
          key: integration-${{ runner.os }}-cargo-${{ hashFiles('**/Cargo.lock') }}
      - uses: dtolnay/rust-toolchain@nightly

      - name: Install m4
        run: sudo apt-get install -y m4

      - name: Run fibonacci (debug)
        env:
          RUST_LOG: debug
          RUSTFLAGS: "-C opt-level=3"
          MOCK_PROVING: 1
        run: cargo run --package ceno_zkvm --features sanity-check --bin e2e -- --platform=ceno --hints=10 --public-io=4191 examples/target/riscv32im-ceno-zkvm-elf/debug/examples/fibonacci

      - name: Run fibonacci (release)
        env:
          RUSTFLAGS: "-C opt-level=3"
        run: cargo run --release --package ceno_zkvm --bin e2e -- --platform=ceno --hints=10 --public-io=4191 examples/target/riscv32im-ceno-zkvm-elf/release/examples/fibonacci

      - name: Run multi-shards fibonacci (debug)
        env:
          RUST_LOG: debug
          RUSTFLAGS: "-C opt-level=3"
          MOCK_PROVING: 1
        run: cargo run --package ceno_zkvm --features sanity-check --bin e2e -- --platform=ceno --max-cycle-per-shard=20000 --hints=10 --public-io=4191 examples/target/riscv32im-ceno-zkvm-elf/debug/examples/fibonacci

      - name: Run multi-shards fibonacci (release)
        env:
          RUSTFLAGS: "-C opt-level=3"
        run: cargo run --release --package ceno_zkvm --features sanity-check --bin e2e -- --platform=ceno --max-cycle-per-shard=20000 --hints=10 --public-io=4191 examples/target/riscv32im-ceno-zkvm-elf/release/examples/fibonacci

      # note: the shard ram circuit does not support goldilocks field yet
      # - name: Run fibonacci (release + goldilocks)
      # env:
      #   RUSTFLAGS: "-C opt-level=3"
      #   run: cargo run --release --package ceno_zkvm --no-default-features --features goldilocks --bin e2e -- --field=goldilocks --platform=ceno --hints=10 --public-io=4191 examples/target/riscv32im-ceno-zkvm-elf/release/examples/fibonacci

      - name: Run Guest Heap Alloc (debug)
        env:
          RUST_LOG: debug
          RUSTFLAGS: "-C opt-level=3"
          MOCK_PROVING: 1
        run: cargo run --package ceno_zkvm --features sanity-check --bin e2e -- --platform=ceno examples/target/riscv32im-ceno-zkvm-elf/debug/examples/ceno_rt_alloc

      - name: Run Guest Heap Alloc (release)
        env:
          RUSTFLAGS: "-C opt-level=3"
        run: cargo run --release --package ceno_zkvm --bin e2e -- --platform=ceno examples/target/riscv32im-ceno-zkvm-elf/release/examples/ceno_rt_alloc

      - name: Run multi-shards Guest Heap Alloc (debug)
        env:
          RUST_LOG: debug
          RUSTFLAGS: "-C opt-level=3"
          MOCK_PROVING: 1
        # set --max-cycle-per-shard=420 to test heap read from previous shard, probing from guest program
        run: cargo run --package ceno_zkvm --features sanity-check --bin e2e -- --platform=ceno --max-cycle-per-shard=420 examples/target/riscv32im-ceno-zkvm-elf/debug/examples/ceno_rt_alloc

      - name: Run multi-shards Guest Heap Alloc (release)
        env:
          RUSTFLAGS: "-C opt-level=3"
        run: cargo run --release --package ceno_zkvm --bin e2e -- --platform=ceno --max-cycle-per-shard=1600 examples/target/riscv32im-ceno-zkvm-elf/release/examples/keccak_syscall

      # note: the shard ram circuit does not support goldilocks field yet
      # - name: Run Guest Heap Alloc (release + goldilocks)
      # env:
      #   RUSTFLAGS: "-C opt-level=3"
      #   run: cargo run --release --package ceno_zkvm --no-default-features --features goldilocks --bin e2e -- --field=goldilocks --platform=ceno examples/target/riscv32im-ceno-zkvm-elf/release/examples/ceno_rt_alloc

      - name: Run keccak_syscall (release)
        env:
          RUSTFLAGS: "-C opt-level=3"
        run: cargo run --release --package ceno_zkvm --bin e2e -- --platform=ceno examples/target/riscv32im-ceno-zkvm-elf/release/examples/keccak_syscall

      - name: Run multi-shards keccak_syscall (release)
        env:
          RUSTFLAGS: "-C opt-level=3"
        run: cargo run --release --package ceno_zkvm --bin e2e -- --platform=ceno --max-cycle-per-shard=1600 examples/target/riscv32im-ceno-zkvm-elf/release/examples/keccak_syscall

      - name: Run secp256k1_add_syscall (release)
        env:
          RUSTFLAGS: "-C opt-level=3"
        run: cargo run --release --package ceno_zkvm --bin e2e -- --platform=ceno examples/target/riscv32im-ceno-zkvm-elf/release/examples/secp256k1_add_syscall

      - name: Run secp256k1_double_syscall (release)
        env:
          RUSTFLAGS: "-C opt-level=3"
        run: cargo run --release --package ceno_zkvm --bin e2e -- --platform=ceno examples/target/riscv32im-ceno-zkvm-elf/release/examples/secp256k1_double_syscall

      - name: Run secp256k1_decompress_syscall (release)
        env:
          RUSTFLAGS: "-C opt-level=3"
        run: cargo run --release --package ceno_zkvm --bin e2e -- --platform=ceno examples/target/riscv32im-ceno-zkvm-elf/release/examples/secp256k1_decompress_syscall

      - name: Run bn254_curve_syscall (release)
        env:
          RUSTFLAGS: "-C opt-level=3"
        run: cargo run --release --package ceno_zkvm --bin e2e -- --platform=ceno examples/target/riscv32im-ceno-zkvm-elf/release/examples/bn254_curve_syscalls

      - name: Run bn254_fptower_syscalls (release)
        env:
          RUSTFLAGS: "-C opt-level=3"
        run: cargo run --release --package ceno_zkvm --bin e2e -- --platform=ceno examples/target/riscv32im-ceno-zkvm-elf/release/examples/bn254_fptower_syscalls

      - name: Run k256 ecrecover (release)
        env:
          RUSTFLAGS: "-C opt-level=3"
        run: cargo run --release --package ceno_zkvm --bin e2e -- --platform=ceno examples/target/riscv32im-ceno-zkvm-elf/release/examples/secp256k1_ecrecover

      - name: Run k256 scalar algebra (release)
        env:
          RUSTFLAGS: "-C opt-level=3"
        run: cargo run --release --package ceno_zkvm --bin e2e -- --platform=ceno examples/target/riscv32im-ceno-zkvm-elf/release/examples/secp256k1_scalar_algebra

      - name: Run p256 verify hash (release)
        env:
          RUSTFLAGS: "-C opt-level=3"
        run: cargo run --release --package ceno_zkvm --bin e2e -- --platform=ceno examples/target/riscv32im-ceno-zkvm-elf/release/examples/secp256r1_verify_prehash

      - name: Run p256 scalar algebra (release)
        env:
          RUSTFLAGS: "-C opt-level=3"
        run: cargo run --release --package ceno_zkvm --bin e2e -- --platform=ceno examples/target/riscv32im-ceno-zkvm-elf/release/examples/secp256r1_scalar_algebra

      - name: Run uint256_mul_syscall (release)
        env:
          RUSTFLAGS: "-C opt-level=3"
        run: cargo run --release --package ceno_zkvm --bin e2e -- --platform=ceno examples/target/riscv32im-ceno-zkvm-elf/release/examples/uint256_mul_syscall

      - name: Run sha_extend_syscall (release)
        env:
          RUSTFLAGS: "-C opt-level=3"
        run: cargo run --release --package ceno_zkvm --bin e2e -- --platform=ceno examples/target/riscv32im-ceno-zkvm-elf/release/examples/sha_extend_syscall

      - name: Run fibonacci (release) in multi-shards with CENO_CROSS_SHARD_LIMIT
        env:
          RUST_LOG: debug
          RUSTFLAGS: "-C opt-level=3"
          CENO_CROSS_SHARD_LIMIT: 32
        run: cargo run --release --package ceno_zkvm --features sanity-check --bin e2e -- --platform=ceno --max-cycle-per-shard=20000 --hints=10 --public-io=4191 examples/target/riscv32im-ceno-zkvm-elf/release/examples/fibonacci

      - name: Run aggregation e2e
        env:
          RUSTFLAGS: "-C opt-level=3"
        run: |
          cargo run --release --package ceno_recursion --bin e2e_aggregate -- --platform=ceno --max-cycle-per-shard=1600 examples/target/riscv32im-ceno-zkvm-elf/release/examples/keccak_syscall

      - name: Install cargo make
        run: |
          cargo make --version || cargo install cargo-make

      - name: Test install Ceno cli
        run: |
          cargo make cli

      - name: Run Ceno cli example proof
        working-directory: ceno_cli/example
        env:
          CARGO_TARGET_DIR: ${{ github.workspace }}/target
        run: |
          cargo ceno prove --platform=ceno --hints 10 --public-io 4