prover

Imported from gencau/test-practices-agent-configurations (dataset/repos/Consensys§linea-monorepo/prover/AGENTS.md). Install upstream with npx skills add gencau/test-practices-agent-configurations --skill prover. Copyright stays with the author.

AGENTS.md — prover

Inherits all rules from root AGENTS.md. Only overrides and additions below.

Package Overview

Go-based ZK proof generation service for Linea. Uses gnark for circuit compilation, gnark-crypto for cryptographic primitives, and go-kzg-4844 for KZG polynomial commitments.

How to Run

# Build
cd prover && make build

# Run tests (excludes corset, includes fuzz-light)
cd prover && go test ./... -tags nocorset,fuzzlight -timeout 30m

# Static checks
cd prover && gofmt -l .
cd prover && golangci-lint run

# Build Docker image
docker build -f prover/Dockerfile -t consensys/linea-prover:local .

Go-Specific Conventions

• Go version: 1.25.7 (see go.mod)
• Formatting: gofmt (standard Go formatting, tabs)
• Linting: golangci-lint
• Indentation: tabs (per .editorconfig Go section)
• Build tags: nocorset and fuzzlight for standard test runs
• Cross-compilation: Targets Linux AMD64 (musl) and Darwin ARM64

Key Dependencies

Directory Structure

backend/     Backend logic
circuits/    Arithmetic circuits
zkevm/       ZK-EVM implementation
symbolic/    Symbolic execution
crypto/      Cryptographic utilities
protocol/    Protocol definitions
public-input/ Public input handling
config/      Configuration

Go-Specific Safety Rules

• Never commit proving keys or large binary assets (checked via .gitignore)
• Cryptographic code changes require careful review — affects proof validity
• Test timeouts are 30 minutes due to proof generation complexity
• Memory-intensive operations: ensure adequate heap allocation

Testing

• CI workflow: .github/workflows/prover-testing.yml
• Static checks run first (gofmt, golangci-lint)
• Compressor tests run separately from main test suite
• 30-minute timeout for test suite

Agent Rules (Overrides)

• Always run gofmt and golangci-lint before proposing Go changes
• Do not modify circuit definitions without understanding the ZK proof implications
• Binary assets in prover-assets/ are version-controlled selectively — check .gitignore exceptions