sp1-verifier-legacy cargo

This project isn't being tracked yet.