🐻‍❄️ Propter polar bear: canonical prover protocol

.dockerignore

@@ -1,33 +1,6 @@
-# Include any files or directories that you don't want to be copied to your
-# container here (e.g., local build artifacts, temporary files, etc.).
-#
-# For more help, visit the .dockerignore file reference guide at
-# https://docs.docker.com/go/build-context-dockerignore/
-
-**/.DS_Store
-**/.classpath
-**/.dockerignore
-**/.env
-**/.git
-**/.github
-**/.gitignore
-**/.project
-**/.settings
-**/.toolstarget
-**/.vs
-**/.vscode
-**/*.*proj.user
-**/*.dbmdl
-**/*.jfm
-**/charts
-**/docker-compose*
-**/compose.y*ml
-**/Dockerfile*
+.git
+target
+elf
 **/node_modules
-**/npm-debug.log
-**/secrets.dev.yaml
-**/values.dev.yaml
-/bin
-/target
-LICENSE
-README.md
+**/.env
+prover-output*

.env.example

@@ -1,13 +1,29 @@
-
-PROVER_NODE_PORT=
-STREAMR_CLIENT_PORT=
-
-NETWORK_RPC_URL=https://rpc.mainnet.succinct.xyz
-RPC_URL=https://eth-sepolia.g.alchemy.com/v2/URjQnzNCUHumxPFL8VDoFBmpX4uqL6X8
+# Read-only plan. Hash-pinned eth_call (EIP-1898) is required.
+RPC_URL=https://your-ethereum-rpc
+ROLLUP_ADDRESS=0xYOUR_ROLLUP_DEPLOYMENT
+# Choose ONE input source. Same PostgreSQL schema as existing node.
+DATABASE_URL=postgres://user:password@localhost/m3tering
+# ACTIONS_FILE=actions.json
+OUTPUT_DIR=prover-output-batch-0
+MAX_ACTIONS=10000
+MAX_SLOTS=4096
+# Explicit modeled schedule; does not activate a fork in the connected node.
+GAS_SCHEDULE=current
+EXECUTION_GAS_BUDGET=15000000
+TOTAL_GAS_BUDGET=15000000
+FIXED_EXECUTION_ALLOWANCE=1500000
+PER_WORD_OVERHEAD_ALLOWANCE=12000
+# Only required for the explicit run command. Never commit real credentials.
 PRIVATE_KEY=
-BLOCK_INTERVAL=
-
-DATA_STRATEGY=delete
-
-STREAM_ID=0x567853282663b601bfdb9203819b1fbb3fe18926/m3tering/test
-STREAMR_ENV=live
+MAX_FEE_PER_GAS_WEI=30000000000
+MAX_PRIORITY_FEE_PER_GAS_WEI=1000000000
+ETH_RESERVE_WEI=1000000000000000
+SP1_PRIVATE_KEY=
+SP1_ELF=elf/m3tering-program
+MAX_PROVER_CYCLES=100000000
+MAX_PROVER_PGU=100000000
+# Required operator price cap, PROVE wei per PGU; must match auction tick size.
+MAX_PRICE_PER_PGU=
+SP1_CREDIT_RESERVE_WEI=0
+PROOF_TIMEOUT_SECONDS=3600
+CONFIRMATIONS=2

.github/workflows/test.yml

@@ -0,0 +1,28 @@
+name: Protocol
+on: [push, pull_request, workflow_dispatch]
+permissions:
+  contents: read
+jobs:
+  protocol:
+    runs-on: ubuntu-latest
+    timeout-minutes: 60
+    steps:
+      - uses: actions/checkout@v6
+      - uses: dtolnay/rust-toolchain@stable
+      - run: sudo apt-get update && sudo apt-get install -y protobuf-compiler pkg-config libssl-dev
+      - uses: Swatinem/rust-cache@v2
+      - run: cargo fmt --all -- --check
+      - run: cargo test --locked -p m3tering-protocol -p m3tering-prover
+      - run: cargo build --locked -p m3tering-prover --features proving
+      - name: Install pinned SP1
+        run: |
+          curl -L https://sp1up.succinct.xyz | bash
+          "$HOME/.sp1/bin/sp1up" --version v6.3.1
+          echo "$HOME/.sp1/bin" >> "$GITHUB_PATH"
+      - name: Build guest
+        run: cargo prove build --locked -p m3tering-program --output-directory elf
+      - name: Execute authenticated fixture without buying a proof
+        env:
+          SP1_ELF: elf/m3tering-program
+          WITNESS_FILE: fixtures/input.json
+        run: cargo run --locked -p m3tering-prover --features proving -- execute-fixture

.gitignore

@@ -1,33 +1,7 @@
-# Cargo build
-**/target
-
-# Cargo config
-.cargo
-
-# Profile-guided optimization
-/tmp
-pgo-data.profdata
-
-# MacOS nuisances
-.DS_Store
-
-# Proofs
-**/proof-with-pis.json
-**/proof-with-io.json
-
-# Env
+/target/
+/elf/
+/prover-output*/
+.env
+**/node_modules/
 **/.env
-.env.prebuilt
-
-# DIESEL files
-schema.rs
-
-db/password.txt
-
-# DAppNodeSDK release directories
-  build_*
-  releases.json
-  docker-compose-tmp.yml
-
-  **/node_modules
-
+*.log