risc0-zkvm-platform cargo

This project isn't being tracked yet.