docs: Add comprehensive documentation website and benchmark results

.github/workflows/deploy-docs.yml

@@ -0,0 +1,55 @@
+name: Deploy Docs
+
+on:
+  push:
+    branches: [master, master-se-docs-03, nm/03-docs]
+  workflow_dispatch:
+
+permissions:
+  contents: read
+  pages: write
+  id-token: write
+
+concurrency:
+  group: pages
+  cancel-in-progress: false
+
+jobs:
+  build-and-deploy:
+    runs-on: ubuntu-latest
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
+    steps:
+      - uses: actions/checkout@v4
+
+      - uses: pnpm/action-setup@v4
+        with:
+          version: 9
+
+      - uses: actions/setup-node@v4
+        with:
+          node-version: 20
+          cache: pnpm
+          cache-dependency-path: www/pnpm-lock.yaml
+
+      - name: Install dependencies
+        run: pnpm install --frozen-lockfile
+        working-directory: www
+
+      - name: Build site
+        run: pnpm build
+        working-directory: www
+
+      - name: Configure Pages
+        uses: actions/configure-pages@v5
+
+      - name: Upload artifact
+        uses: actions/upload-pages-artifact@v3
+        with:
+          path: www/docs/dist
+
+      - name: Deploy to GitHub Pages
+        id: deployment
+        uses: actions/deploy-pages@v4
+

.github/workflows/integration-tests.yml

@@ -27,8 +27,9 @@ jobs:
         uses: actions/checkout@v4
 
       - name: Install Rust toolchain
-        uses: dtolnay/rust-toolchain@stable
+        uses: dtolnay/rust-toolchain@f7ccc83f9ed1e5b9c81d8a67d7ad1a747e22a561 # stable
         with:
+          toolchain: stable
           components: clippy, rustfmt
 
       - name: Generate benchmark fixtures
@@ -86,6 +87,10 @@ jobs:
             el: ethrex
             tests: "execute_empty_block execute_mainnet_blocks prove_empty_block"
             threads: 12
+          - zkvm: zisk
+            el: ethrex 
+            tests: "execute_empty_block execute_mainnet_blocks"
+            threads: 1
 
           # Custom Guest Programs
           - zkvm: sp1

.github/workflows/release-compiled-guest.yml

@@ -0,0 +1,120 @@
+name: Release Compiled Guests
+
+on:
+  push:
+    branches:
+      - master
+    tags:
+      - 'v*'
+
+permissions:
+  contents: write
+
+env:
+  ERE_TAG: 0.0.15-d15d36a
+
+jobs:
+  compile-stateless-validator:
+    name: Compile ${{ matrix.el }}/${{ matrix.zkvm }}
+    runs-on: ubuntu-latest
+    strategy:
+      fail-fast: false
+      matrix:
+        include:
+          # Reth
+          - el: reth
+            zkvm: airbender
+          - el: reth
+            zkvm: openvm
+          - el: reth
+            zkvm: pico
+          - el: reth
+            zkvm: risc0
+          - el: reth
+            zkvm: sp1
+          - el: reth
+            zkvm: zisk
+          # Ethrex
+          - el: ethrex
+            zkvm: risc0
+          - el: ethrex
+            zkvm: sp1
+          - el: ethrex
+            zkvm: zisk
+    steps:
+      - name: Checkout code
+        uses: actions/checkout@v4
+
+      - name: Install Rust toolchain
+        uses: dtolnay/rust-toolchain@f7ccc83f9ed1e5b9c81d8a67d7ad1a747e22a561 # stable
+        with:
+          toolchain: stable
+
+      - name: Pull compiler image
+        run: |
+          docker pull ghcr.io/eth-act/ere/ere-compiler-${{ matrix.zkvm }}:${ERE_TAG}
+
+      - name: Apply zkVM patch
+        run: |
+          cargo run -p xtask -- ${{ matrix.zkvm }}
+
+      - name: Compile guest
+        run: |
+          docker run \
+            -v ./ere-guests:/guest \
+            -v ./output:/output \
+            ghcr.io/eth-act/ere/ere-compiler-${{ matrix.zkvm }}:${ERE_TAG} \
+            --compiler-kind rust-customized \
+            --guest-path /guest/stateless-validator/${{ matrix.el }}/${{ matrix.zkvm }} \
+            --output-path output/${{ matrix.el }}-${{ matrix.zkvm }}
+
+      - name: Upload artifact
+        uses: actions/upload-artifact@v4
+        with:
+          name: ${{ matrix.el }}-${{ matrix.zkvm }}
+          path: output/${{ matrix.el }}-${{ matrix.zkvm }}
+          if-no-files-found: error
+
+  create-release:
+    name: Create release
+    needs: compile-stateless-validator
+    runs-on: ubuntu-latest
+    if: github.ref_type == 'tag'
+    steps:
+      - name: Download all artifacts
+        uses: actions/download-artifact@v4
+        with:
+          path: artifacts
+          merge-multiple: true
+
+      - name: Display structure of downloaded files
+        run: ls -R artifacts
+
+      - name: Release
+        uses: softprops/action-gh-release@v2
+        with:
+          name: Compiled Guests (${{ github.ref_name }})
+          files: artifacts/*
+          body: |
+            This release contains compiled guest programs for various zkVMs.
+
+            Built with Ere compiler version: `${{ env.ERE_TAG }}`.
+
+            ## Compiled guest programs
+
+            ### Reth stateless validator
+
+            - [`reth-airbender`](https://github.com/${{ github.repository }}/releases/download/${{ github.ref_name }}/reth-airbender)
+            - [`reth-openvm`](https://github.com/${{ github.repository }}/releases/download/${{ github.ref_name }}/reth-openvm)
+            - [`reth-pico`](https://github.com/${{ github.repository }}/releases/download/${{ github.ref_name }}/reth-pico)
+            - [`reth-risc0`](https://github.com/${{ github.repository }}/releases/download/${{ github.ref_name }}/reth-risc0)
+            - [`reth-sp1`](https://github.com/${{ github.repository }}/releases/download/${{ github.ref_name }}/reth-sp1)
+            - [`reth-zisk`](https://github.com/${{ github.repository }}/releases/download/${{ github.ref_name }}/reth-zisk)
+
+            ### Ethrex stateless validator
+
+            - [`ethrex-risc0`](https://github.com/${{ github.repository }}/releases/download/${{ github.ref_name }}/ethrex-risc0)
+            - [`ethrex-sp1`](https://github.com/${{ github.repository }}/releases/download/${{ github.ref_name }}/ethrex-sp1)
+            - [`ethrex-zisk`](https://github.com/${{ github.repository }}/releases/download/${{ github.ref_name }}/ethrex-zisk)
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

.github/workflows/run-benchmark.yml

@@ -25,7 +25,7 @@ jobs:
     name: ${{ inputs.zkvm }} / ${{ inputs.el }}
     runs-on: [self-hosted-ghr, size-chungus-x64]
     env:
-      ERE_TAG: 0.0.15-d15c6b4
+      ERE_TAG: 0.0.16-73a760a
       OPENVM_RUST_TOOLCHAIN: nightly-2025-08-07
       RUSTC_WRAPPER: sccache
       SCCACHE_DIR: ${{ github.workspace }}/.sccache/
@@ -41,9 +41,12 @@ jobs:
           sudo apt-get install -y protobuf-compiler pkg-config libssl-dev sccache build-essential clang libclang-dev lz4
 
       - name: Install Rust toolchain
-        uses: dtolnay/rust-toolchain@stable
+        uses: dtolnay/rust-toolchain@f7ccc83f9ed1e5b9c81d8a67d7ad1a747e22a561 # stable
+        with:
+          toolchain: stable
 
       - name: Restore Rust cache
+        continue-on-error: true
         uses: jsign/action-cache@0aa95a6bc53b4dc5c7a53d773e183d8169ce2c01
         with:
           action: restore
@@ -60,11 +63,9 @@ jobs:
 
       - name: Pull ere images
         run: |
-          for variant in "base" "base-${{ inputs.zkvm }}" "compiler-${{ inputs.zkvm }}" "server-${{ inputs.zkvm }}"; do
+          for variant in "compiler-${{ inputs.zkvm }}" "server-${{ inputs.zkvm }}"; do
             src="docker.ethquokkaops.io/gh/eth-act/ere/ere-${variant}:${ERE_TAG}"
-            dst="ere-${variant}:${ERE_TAG}"
             docker pull "$src"
-            docker tag "$src" "$dst"
           done
 
       - name: Run benchmark
@@ -73,12 +74,14 @@ jobs:
             RUST_LOG=warn,benchmark_runner=info \
             ZKVM=${{ inputs.zkvm }} \
             EL=${{ inputs.el }} \
+            ERE_IMAGE_REGISTRY=docker.ethquokkaops.io/gh/eth-act/ere \
             cargo test --release -p integration-tests -- --test-threads=1 ${{ inputs.tests }}
 
       - name: sccache stats
         run: sccache --show-stats || true
 
       - name: Save Rust cache
+        continue-on-error: true
         uses: jsign/action-cache@0aa95a6bc53b4dc5c7a53d773e183d8169ce2c01
         with:
           action: save

.github/workflows/rust-checks.yml

@@ -44,7 +44,9 @@ jobs:
         uses: actions/checkout@v4
 
       - name: Install Rust toolchain
-        uses: dtolnay/rust-toolchain@stable
+        uses: dtolnay/rust-toolchain@f7ccc83f9ed1e5b9c81d8a67d7ad1a747e22a561 # stable
+        with:
+          toolchain: stable
 
       - name: Cache dependencies
         uses: Swatinem/rust-cache@v2
@@ -74,8 +76,9 @@ jobs:
           sudo apt-get install -y protobuf-compiler
 
       - name: Install Rust toolchain
-        uses: dtolnay/rust-toolchain@nightly
+        uses: dtolnay/rust-toolchain@881ba7bf39a41cda34ac9e123fb41b44ed08232f # nightly
         with:
+          toolchain: nightly
           components: clippy, rustfmt
 
       - name: Cache dependencies