[BUG] Compact proof docker fails to build image

[SantiagoPittella]

Bug Report

While trying to follow the README.md steps in the compact_proof directory I am encountering the following circom error:

UnrecognizedToken { token: (0, Token(2, "version"), 7), expected: ["\"component\"", "\"function\"", "\"include\"", "\"pragma\"", "\"template\""] }

The issue is happening both in MacOS and Debian.

Steps to Reproduce

1. Clone the repo.
2. cd compact_proof
3. docker build -f docker/prover.Dockerfile . -t risc0-groth16-prover
   OR in MacOS with ARM:
4. docker build --platform linux/amd64 -f docker/prover.Dockerfile . -t risc0-groth16-prover

Expected behavior

The prover should start working.

Your Environment

• risc0-zkvm version:
• Rust version: 1.74.0
• Platform/OS: MacOS M3 Pro Max with Sonoma 14.4.1 / Debian 12 in x86_65

Additional context

[linear]

ZKVM-408 [BUG] Compact proof docker fails to build image

[flaub]

It looks like git lfs pull needs to be run to pull down the stark_verify.circom file, which is larger than the size allowed on github.