perf(gkr): apply Gru24 Section 3.2 to single-source sumcheck levels #3572
Workflow file for this run
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| on: pull_request | |
| name: pull_request | |
| concurrency: | |
| group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }} | |
| cancel-in-progress: true | |
| permissions: | |
| contents: read | |
| env: | |
| ABIGEN_VERSION: v1.14.8 | |
| GO_VERSION: 1.25.x # NB! when updating also update matrix, we cannot refer to env variables in the matrix | |
| GOLANGCI_LINT_VERSION: v2.10.1 | |
| jobs: | |
| staticcheck: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: checkout code | |
| uses: actions/checkout@v6.0.2 # nonpinned - official GH action | |
| with: | |
| fetch-depth: 0 | |
| - name: install Go | |
| uses: actions/setup-go@v6.2.0 # nonpinned - official GH action | |
| with: | |
| go-version: ${{ env.GO_VERSION }} | |
| cache: true | |
| - name: gofmt | |
| run: if [[ -n $(gofmt -l .) ]]; then echo "please run gofmt"; exit 1; fi | |
| - name: goimports | |
| run: if [[ -n $(go tool goimports -l .) ]]; then echo "please run goimports"; exit 1; fi | |
| - name: generated files should not be modified | |
| run: | | |
| go generate ./... | |
| changed_files=$(git diff --name-only -- . ':(exclude)go.mod' ':(exclude)go.sum') | |
| untracked_files=$(git ls-files --others --exclude-standard -- . ':(exclude)go.mod' ':(exclude)go.sum') | |
| if [[ -n "${changed_files}" || -n "${untracked_files}" ]]; then | |
| echo "git repo is dirty after running go generate -- please don't modify generated files" | |
| git status --porcelain | |
| git diff -- . ':(exclude)go.mod' ':(exclude)go.sum' | |
| exit 1 | |
| fi | |
| - name: golangci-lint | |
| uses: golangci/golangci-lint-action@1e7e51e771db61008b38414a730f564565cf7c20 #v9.2.0 pinned | |
| with: | |
| version: ${{ env.GOLANGCI_LINT_VERSION }} | |
| args: -v --timeout=5m | |
| test: | |
| needs: staticcheck | |
| runs-on: gha-runner-scale-set-ubuntu-24-amd64-xxl | |
| steps: | |
| - name: checkout code | |
| uses: actions/checkout@v6 | |
| - name: install Go | |
| uses: actions/setup-go@v6 | |
| with: | |
| go-version: ${{ env.GO_VERSION }} | |
| cache: true | |
| - name: install deps | |
| run: | | |
| go install github.com/ethereum/go-ethereum/cmd/abigen@${{ env.ABIGEN_VERSION }} | |
| sudo add-apt-repository ppa:ethereum/ethereum | |
| sudo apt-get update | |
| sudo apt-get install -y --no-install-recommends solc | |
| # Install gotestfmt on the VM running the action. | |
| - name: Set up gotestfmt | |
| uses: gotesttools/gotestfmt-action@8b4478c7019be847373babde9300210e7de34bfb #v2.2.0 pinned | |
| with: | |
| # Optional: pass GITHUB_TOKEN to avoid rate limiting. | |
| token: ${{ secrets.GITHUB_TOKEN }} | |
| # Run tests with nice formatting. Save the original log in /tmp/gotest.log | |
| - name: Run tests | |
| run: | | |
| set -euo pipefail | |
| go test -short -json -v -p 4 -short -timeout=30m ./... 2>&1 | gotestfmt -hide=all | tee /tmp/gotest.log | |
| go test -short -json -v -p 4 -timeout=30m -tags=release_checks,solccheck . 2>&1 | gotestfmt -hide=all | tee -a /tmp/gotest.log | |
| go test -short -json -v -p 4 -timeout=30m -tags=prover_checks ./test/... 2>&1 | gotestfmt -hide=all | tee -a /tmp/gotest.log | |
| go test -short -json -v -p 4 -timeout=30m -tags=prover_checks ./examples/... 2>&1 | gotestfmt -hide=all | tee -a /tmp/gotest.log | |
| go test -short -json -v -run=NONE -fuzz=FuzzIntcomp -fuzztime=10s ./internal/backend/ioutils 2>&1 | gotestfmt -hide=all | tee -a /tmp/gotest.log | |
| notify: | |
| needs: test | |
| if: always() | |
| uses: ./.github/workflows/slack-notifications.yml | |
| with: | |
| status: ${{ needs.test.result == 'success' && 'success' || 'failure' }} | |
| actor: ${{ github.actor }} | |
| repository: ${{ github.repository }} | |
| branch: ${{ github.head_ref }} | |
| run_id: ${{ github.run_id }} | |
| secrets: | |
| SLACK_BOT_TOKEN: ${{ secrets.SLACK_BOT_TOKEN }} |