In #99 we bring in tooling for testing of recursion under docker, without making it default. This issue is about what it would take to make it default:
The default behavior is the activation of the native feature in gnark-ffi/Cargo.toml, which forces those recursion tests to run on the local machine (rather than in Docker).
The Docker behavior not only is non-default, but doesn't work.
We would like to have the following outcomes (only required once #99 is merged, of course):
In #99 we bring in tooling for testing of recursion under docker, without making it default. This issue is about what it would take to make it default:
The default behavior is the activation of the
nativefeature ingnark-ffi/Cargo.toml, which forces those recursion tests to run on the local machine (rather than in Docker).The Docker behavior not only is non-default, but doesn't work.
SPHINX_GNARK_IMAGE) to retrieve the Docker image, and default to an upstream-controlled registry if that variable is unset:https://github.com/lurk-lab/sphinx/blob/bb00d3e1441d769edc8f7a8f717885502e177233/recursion/gnark-ffi/src/ffi/docker.rs
We would like to have the following outcomes (only required once #99 is merged, of course):