{"id":31923365,"url":"https://github.com/fuellabs/fuel-sp1","last_synced_at":"2025-10-13T23:50:04.019Z","repository":{"id":286850786,"uuid":"962619947","full_name":"FuelLabs/fuel-sp1","owner":"FuelLabs","description":"Implementation of fuel's proving games with the sp1 zkvm","archived":false,"fork":false,"pushed_at":"2025-04-08T16:52:43.000Z","size":93,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"main","last_synced_at":"2025-05-21T18:34:19.988Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Rust","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/FuelLabs.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2025-04-08T12:30:19.000Z","updated_at":"2025-04-08T16:52:46.000Z","dependencies_parsed_at":"2025-04-08T17:48:19.868Z","dependency_job_id":null,"html_url":"https://github.com/FuelLabs/fuel-sp1","commit_stats":null,"previous_names":["fuellabs/fuel-sp1"],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/FuelLabs/fuel-sp1","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/FuelLabs%2Ffuel-sp1","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/FuelLabs%2Ffuel-sp1/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/FuelLabs%2Ffuel-sp1/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/FuelLabs%2Ffuel-sp1/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/FuelLabs","download_url":"https://codeload.github.com/FuelLabs/fuel-sp1/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/FuelLabs%2Ffuel-sp1/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":279017229,"owners_count":26086016,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","status":"online","status_checked_at":"2025-10-13T02:00:06.723Z","response_time":61,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2025-10-13T23:49:59.183Z","updated_at":"2025-10-13T23:50:04.014Z","avatar_url":"https://github.com/FuelLabs.png","language":"Rust","funding_links":[],"categories":[],"sub_categories":[],"readme":"# fuel-sp1\n\n## Install Dependencies\n\n- Rust MSRV 1.85.0\n   ```\n    rustup toolchain install 1.85.0\n    ```\n\n- sp1 toolchain\n    ```\n    curl -L https://sp1up.succinct.xyz | bash\n    sp1up --version 4.1.3\n    ```\n\n## Repository structure\n\nSince each proving game should have its own entrypoint, it lives as its own crate.\nWe have `fuel-proving-games-sp1` which aims to aggregate these and provides the following features -\n\n1. If imported as a library, you may access helpers to generate and verify proofs for the associated proving game.\n2. If executed as a binary, you may run proof generation \u0026 verification via CLI (upcoming).\n\n## Run proving tests\n\n```\ncargo test -p fuel-proving-games-sp1 prove_all_fixtures_and_collect_report\n```\n\nMake sure you use the correct env vars for the specific prover.\n\nFor CUDA proving, use the following feature flag:\n```\nSP1_PROVER=cuda cargo test -p fuel-proving-games-sp1 prove_all_fixtures_and_collect_report --features cuda\n```\n\nsee [here](https://docs.succinct.xyz/docs/sp1/generating-proofs/hardware-acceleration/cuda#usage) for cuda instructions specific to sp1.\n\n## Run execution tests\n\n```\ncargo test -p fuel-proving-games-sp1 run_all_fixtures_and_collect_report\n```\n\n## Integration example\n\nUsing the default prover configured via SP1_PROVER env var,\n\n```rs\nuse fuel_proving_games_sp1::block_execution_game::defaults;\nuse fuel_proving_games_sp1::block_execution_game::common::ProvingMode;\n\nfn main() {\n    let prover = defaults::game_prover();\n    let input = /* some input */;\n    let (proof, vk) = prover.prove(\u0026input, ProvingMode::Groth16).unwrap(); // or Plonk / Core\n    prover.verify(\u0026proof, \u0026vk).unwrap();\n}\n```\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ffuellabs%2Ffuel-sp1","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Ffuellabs%2Ffuel-sp1","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ffuellabs%2Ffuel-sp1/lists"}