Nexus Quickstart Go to each benchmark folder. Run. Prove: cargo nexus prove Verify: cargo nexus verify