{"id":22303550,"url":"https://github.com/lovesh/cp-snark-bbs","last_synced_at":"2025-03-26T00:33:42.166Z","repository":{"id":150949762,"uuid":"435553419","full_name":"lovesh/cp-snark-bbs","owner":"lovesh","description":"Proof of concept of using Groth16 (LegoGroth16) with BBS+ using CP-SNARK construction","archived":false,"fork":false,"pushed_at":"2022-04-28T08:33:24.000Z","size":16,"stargazers_count":1,"open_issues_count":0,"forks_count":1,"subscribers_count":2,"default_branch":"master","last_synced_at":"2025-01-30T21:20:00.795Z","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/lovesh.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":"2021-12-06T15:43:39.000Z","updated_at":"2022-10-29T01:54:39.000Z","dependencies_parsed_at":"2023-04-22T17:26:04.019Z","dependency_job_id":null,"html_url":"https://github.com/lovesh/cp-snark-bbs","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lovesh%2Fcp-snark-bbs","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lovesh%2Fcp-snark-bbs/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lovesh%2Fcp-snark-bbs/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lovesh%2Fcp-snark-bbs/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/lovesh","download_url":"https://codeload.github.com/lovesh/cp-snark-bbs/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":245566105,"owners_count":20636391,"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","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":"2024-12-03T18:44:11.996Z","updated_at":"2025-03-26T00:33:42.146Z","avatar_url":"https://github.com/lovesh.png","language":"Rust","funding_links":[],"categories":[],"sub_categories":[],"readme":"# PoC of using LegoSNARK with BBS+\n\nUsing LegoGroth16, the cc-SNARK specified in the [LegoSNARK paper](https://eprint.iacr.org/2019/142), appendix H.5, to prove properties of messages signed in a BBS+ signature.\n\nThe cc-SNARK is [here](https://github.com/lovesh/legogro16/tree/comm-wit)\n\n## Examples\nFollowing tests demonstrate some potential use cases. Run the tests in release mode with `--nocapture` to see the time taken by proof generation and verification.\n\n1. See test `bound_check_message` where a specific signed message is proven in some range, i.e. for public `min` and `max`, `min \u003c message \u003c max`. This will be useful in doing proof of age in a range. \n2. See test `bound_check_messages_sum` where sum of specific signed messages is proven in some range, i.e. for public `min` and `max`, `min \u003c sum \u003c max`. This can be useful in proving that the sum of income sources is in a range.\n3. See test `compare_messages_sum` where  sum of certain signed messages from the 1st signature is proven less than the sum of certain signed messages from 2nd signature. This can be useful in proving sum of liabilities \u003c sum of assets where liabilities and assets are signed under different signatures.","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Flovesh%2Fcp-snark-bbs","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Flovesh%2Fcp-snark-bbs","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Flovesh%2Fcp-snark-bbs/lists"}