docker-gnark.yml

# This workflow generates and tests the docker image for groth16 and plonk proving. 

name: Docker Gnark

on:
  push:
    branches: [main, dev]
  pull_request:
    branches:
      - "**"
    paths:
      - "crates/**"
      - "Cargo.toml"
      - ".github/workflows/**"
  merge_group:

jobs:
  test-docker:
    name: Test
    runs-on:
      [
        runs-on,
        runner=64cpu-linux-arm64,
        spot=false,
        "run-id=${{ github.run_id }}",
      ]
    env:
      CARGO_NET_GIT_FETCH_WITH_CLI: "true"
    steps:
      - name: Checkout sources
        uses: actions/checkout@v4

      - name: Setup CI
        uses: ./.github/actions/setup

      - name: Build docker image
        run: |
          docker build -t sp1-gnark -f ./Dockerfile.gnark-ffi .

      - name: Run cargo test
        uses: actions-rs/cargo@v1
        env:
          SP1_GNARK_IMAGE: sp1-gnark
          RUST_LOG: info
          RUSTFLAGS: -Copt-level=3 -Cdebug-assertions -Coverflow-checks=y -Cdebuginfo=0 -C target-cpu=native
          RUST_BACKTRACE: 1   
        with:
          command: test
          toolchain: 1.81.0
          args: --release -p sp1-prover -- --exact tests::test_e2e --nocapture

      - name: Make sure the contracts were modified
        run: |
          if grep -q "pragma solidity ^0.8.0" ~/.sp1/circuits/dev/Groth16Verifier.sol; then
            echo "Error: Groth16Verifier.sol still contains the old pragma version"
            exit 1
          fi
          if grep -q "pragma solidity ^0.8.0" ~/.sp1/circuits/dev/PlonkVerifier.sol; then
            echo "Error: PlonkVerifier.sol still contains the old pragma version"
            exit 1
          fi