Proof Images

Overview

Proof images are Docker containers that contain all necessary components for proof generation and verification. Each proof request requires both a prover and verifier image.

Image Types

Prover Image

Required components:

Guest program (ELF format)
Host code for key generation
zkVM and dependencies
Input parameters
State file serialization

Verifier Image

Required components:

Verification key
Setup parameters
Public output handlers
Verification logic

Image Hosting

Images must be publicly accessible via:

Amazon S3
Cloudflare R2
Other HTTP-accessible CDN

Image Configuration

{
  "image": {
    "remoteDocker": [
      {
        "url": "https://cdn.example.com/prover-image.tar.gz",
        "hash": "0x1234..."
      },
      "my-prover-image:latest"
    ]
  },
  "entrypoint": ["/bin/prove"],
  "envVars": {
    "STATE_LOCATION": "/output/state.bin"
  }
}

Security Considerations

Images are verified using content hashes
Network access is disabled by default
Container privileges are restricted
Resource limits are enforced