search

succinctlabs / sp1

The fastest, most feature-complete zkVM for developers.
https://succinctlabs.github.io/sp1
Apache License 2.0
1k stars 323 forks source link

EVM proving example fails with error #982

Closed emo-eth closed 4 months ago

emo-eth commented 4 months ago

Running the command RUST_LOG=info cargo run --bin plonk_bn254 --release in the ./excamples/fibonacci/scripts/ dir as specified in the docs results in this error on my machine, after pulling the latest 1.0.8-testnet image:

2024-06-26T01:03:03.393274Z ERROR wrap_plonk_bn254: Failed to run `docker run`: "docker" "run" "--rm" "-v" "~/.sp1/circuits/plonk_bn254/v1.0.8-testnet:/circuit" "-v" "/var/folders/0r/z9q3kxg56f16tld0wryghmd00000gn/T/.tmpKlDeg3:/witness" "-v" "/var/folders/0r/z9q3kxg56f16tld0wryghmd00000gn/T/.tmpSLe33r:/output" "ghcr.io/succinctlabs/sp1-gnark:v1.0.8-testnet" "prove-plonk" "/circuit" "/witness" "/output"    
thread 'main' panicked at ~/dev/sp1/recursion/gnark-ffi/src/ffi/docker.rs:51:10:
failed to prove with docker: docker command failed
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
jtguibas commented 4 months ago

Do you have docker installed on your system?

jtguibas commented 4 months ago

We should probably print out a better error here. Thanks for making the issue.

emo-eth commented 4 months ago

Do you have docker installed on your system?

yes, docker is up and running – there's a different error if docker isn't running, which i encountered first 🤠

mattstam commented 4 months ago

This is due to the container running out of memory. To prove plonk locally, you need 64GB+ available.

We'll update the docs to reflect these hardware requirements.