Fix: zero-bin is now able again to accesses evm_arithmetization for circuit versions
#145
Workflow file for this run
This file contains 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
| name: Jerigon Integration | |
| on: | |
| push: | |
| branches: [develop, main] | |
| pull_request: | |
| branches: | |
| - "**" | |
| workflow_dispatch: | |
| branches: | |
| - "**" | |
| env: | |
| CARGO_TERM_COLOR: always | |
| REGISTRY: ghcr.io | |
| jobs: | |
| test_jerigon_input_proving: | |
| name: Test proof generation with jerigon input | |
| runs-on: zero-ci | |
| timeout-minutes: 40 | |
| if: "! contains(toJSON(github.event.commits.*.message), '[skip-ci]')" | |
| steps: | |
| - name: Checkout sources | |
| uses: actions/checkout@v4 | |
| - name: Checkout test-jerigon-network sources | |
| uses: actions/checkout@v4 | |
| with: | |
| repository: 0xPolygonZero/jerigon-test-network | |
| path: test-jerigon-network | |
| - name: Install nightly toolchain | |
| uses: dtolnay/rust-toolchain@nightly | |
| - name: Set up QEMU | |
| uses: docker/setup-qemu-action@v3 | |
| - name: Login to GitHub Container Registry | |
| uses: docker/login-action@v2 | |
| with: | |
| registry: ${{ env.REGISTRY }} | |
| username: ${{ github.actor }} | |
| password: ${{ secrets.GITHUB_TOKEN }} | |
| - name: Set up rust cache | |
| uses: Swatinem/rust-cache@v2 | |
| with: | |
| cache-on-failure: true | |
| - name: Run jerigon test network with docker compose | |
| run: | | |
| cd test-jerigon-network | |
| docker-compose -f docker-compose.yml up -d | |
| docker logs -f smart-contracts | |
| echo "Jerigon network is up and running, ready for testing" | |
| - name: Rpc test with curl | |
| run: | | |
| curl -X POST -H "Content-Type: application/json" --data '{"jsonrpc": "2.0", "method": "eth_blockNumber", "params": [], "id":83}' localhost:8545 | |
| env: | |
| RUST_LOG: info | |
| - name: Run prove blocks in test_only mode | |
| run: | | |
| cd zero_bin/tools | |
| OUTPUT_TO_TERMINAL=true ./prove_rpc.sh 0x2 0x3 http://localhost:8546 jerigon true 0 0 test_only | |
| echo "Proving blocks in test_only mode finished" | |
| - name: Run prove blocks in real mode | |
| run: | | |
| cd zero_bin/tools | |
| rm -rf proofs/* circuits/* ./proofs.json test.out verify.out leader.out | |
| OUTPUT_TO_TERMINAL=true RUN_VERIFICATION=true ./prove_rpc.sh 0x4 0x5 http://localhost:8546 jerigon true | |
| echo "Proving blocks in real mode finished" | |
| - name: Shut down network | |
| run: | | |
| cd test-jerigon-network | |
| docker-compose -f docker-compose.yml down -v | |