{"id":31329872,"url":"https://github.com/distributed-lab/bitcoin-prover","last_synced_at":"2025-10-10T12:24:05.509Z","repository":{"id":315092783,"uuid":"973639550","full_name":"distributed-lab/bitcoin-prover","owner":"distributed-lab","description":null,"archived":false,"fork":false,"pushed_at":"2025-09-25T10:35:05.000Z","size":532,"stargazers_count":6,"open_issues_count":1,"forks_count":0,"subscribers_count":2,"default_branch":"main","last_synced_at":"2025-09-26T00:09:11.013Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Noir","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/distributed-lab.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","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,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2025-04-27T12:29:30.000Z","updated_at":"2025-09-21T14:45:02.000Z","dependencies_parsed_at":"2025-09-16T18:24:18.700Z","dependency_job_id":null,"html_url":"https://github.com/distributed-lab/bitcoin-prover","commit_stats":null,"previous_names":["distributed-lab/bitcoin-prover"],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/distributed-lab/bitcoin-prover","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/distributed-lab%2Fbitcoin-prover","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/distributed-lab%2Fbitcoin-prover/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/distributed-lab%2Fbitcoin-prover/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/distributed-lab%2Fbitcoin-prover/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/distributed-lab","download_url":"https://codeload.github.com/distributed-lab/bitcoin-prover/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/distributed-lab%2Fbitcoin-prover/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":279003896,"owners_count":26083641,"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-10T02:00:06.843Z","response_time":62,"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-09-26T00:01:58.722Z","updated_at":"2025-10-10T12:24:05.504Z","avatar_url":"https://github.com/distributed-lab.png","language":"Noir","funding_links":[],"categories":["Libraries"],"sub_categories":["Blockchain Specifics"],"readme":"# Bitcoin prover\n\nThis project contains implementations in Noir and corresponding Python generators that allow proving the validity of the Bitcoin block header chain and the possibility of using the corresponding output as the input of a transaction.\n\n## Overview\n\nThe typical workflow is as follows:\n1. Python generators create configuration files.\n2. Noir code in the `app/` directory is compiled and executed.\n3. Proofs are generated and verified using the `bb` tool.\n4. All outputs are stored in the `target/` directory.\n\n## Requirements\n\n- [Noir](https://noir-lang.org/) `1.0.0-beta.6`\n- Python `3.12.3`\n- [bb](https://github.com/AztecProtocol/barretenberg) `0.84.0`\n\n## Usage\n\n\u003e [!IMPORTANT]\n\u003e All commands must be run from the root directory of the repository.\n\nAfter running any script, you need to install the Python dependencies.\nTo do that, create a virtual environment and install the dependencies from `requirements.txt` using the following commands:\n\n```bash\npython3 -m venv ./generators/venv\nsource ./generators/venv/bin/activate\npip install -r requirements.txt\n```\n\nTo create the blocks proof, edit [config](generators/blocks/config.json) and run this command:\n```bash\n./scripts/blocks.sh\n```\n\nTo create any spending proof, edit [config](generators/general/config.json) and run:\n```bash\npython3 -m generators.general.main\n```\n\n## License\n\nThis project is licensed under the [MIT License](LICENSE).\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fdistributed-lab%2Fbitcoin-prover","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fdistributed-lab%2Fbitcoin-prover","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fdistributed-lab%2Fbitcoin-prover/lists"}