{"id":24306779,"url":"https://github.com/pluto/noir-web-prover-circuits","last_synced_at":"2025-03-06T18:26:28.927Z","repository":{"id":272673640,"uuid":"917228559","full_name":"pluto/noir-web-prover-circuits","owner":"pluto","description":"Noir-based version of `web-prover-circuits`","archived":false,"fork":false,"pushed_at":"2025-02-20T14:26:30.000Z","size":23,"stargazers_count":2,"open_issues_count":3,"forks_count":0,"subscribers_count":2,"default_branch":"main","last_synced_at":"2025-02-20T15:32:54.832Z","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":"apache-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/pluto.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}},"created_at":"2025-01-15T15:44:38.000Z","updated_at":"2025-02-04T20:47:17.000Z","dependencies_parsed_at":null,"dependency_job_id":"a0f47c49-3e43-473d-be82-c4db5847bc84","html_url":"https://github.com/pluto/noir-web-prover-circuits","commit_stats":null,"previous_names":["pluto/noir-web-prover-circuits"],"tags_count":0,"template":false,"template_full_name":"pluto/template","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/pluto%2Fnoir-web-prover-circuits","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/pluto%2Fnoir-web-prover-circuits/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/pluto%2Fnoir-web-prover-circuits/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/pluto%2Fnoir-web-prover-circuits/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/pluto","download_url":"https://codeload.github.com/pluto/noir-web-prover-circuits/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":242261839,"owners_count":20098838,"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":"2025-01-17T03:48:36.254Z","updated_at":"2025-03-06T18:26:28.920Z","avatar_url":"https://github.com/pluto.png","language":"Rust","funding_links":[],"categories":[],"sub_categories":[],"readme":"\u003cp align=\"center\"\u003e\n  \u003cimg src=\"https://raw.githubusercontent.com/pluto/.github/main/profile/assets/assets_ios_Pluto-1024%401x.png\" alt=\"Pluto Logo\" width=\"50\" height=\"50\"\u003e\n  \u003cspan style=\"font-size: 28px; vertical-align: 10px; margin: 0 10px;\"\u003e❤️\u003c/span\u003e\n  \u003cimg src=\"https://raw.githubusercontent.com/noir-lang/noir/a1cf830b3cdf17a9265b8bdbf366d65c253f0ca4/noir-logo.png\" alt=\"The Noir Programming Language\" width=\"50\"\u003e\n\u003c/p\u003e\n\n---\n\n# Noir Web Prover Circuits\n\nA collection of zero-knowledge circuits written in Noir for creating Web Proofs. These circuits enable secure authentication, HTTP request verification, and JSON data extraction in zero-knowledge applications.\n\n## Features\n\n- **Encryption/Plaintext Authentication Circuit**: Verify encrypted data and authenticate plaintext without revealing sensitive information\n- **HTTP Parser and Header Locker**: Parse and lock HTTP headers in zero-knowledge proofs, ensuring request integrity\n- **JSON Parser/Extractor**: Extract and verify specific fields from JSON data within zero-knowledge proofs\n- **Constraint Counter**: Utility to analyze R1CS constraint counts for circuit optimization\n\n## Getting Started\n\nThese instructions will help you get the circuits up and running on your local machine.\n\n### Prerequisites\n\nYou'll need to have Rust and Cargo installed on your system. Then, install the `just` command runner:\n\n```bash\ncargo install just\n```\n\n### Installation\n\n1. Clone the repository\n   ```bash\n   git clone https://github.com/pluto/noir-web-prover-circuits.git\n   cd noir-web-prover-circuits\n   ```\n\n2. Set up the development environment\n   ```bash\n   # This will install Noirup, Nargo, and required tools\n   just setup\n   ```\n\n3. Build the workspace\n   ```bash\n   just build\n   ```\n\n### Available Commands\n\n- `just`: List all available commands\n- `just setup`: Set up complete development environment\n- `just build`: Build the entire Nargo workspace\n- `just test`: Run all tests\n- `just fmt`: Format code (Noir and TOML)\n- `just ci`: Run all CI checks\n\n## Usage\n\n### Using the Constraint Counter\n\nAfter running `just setup` you will also get access to the `constraint_counter` utility helps analyze the R1CS constraints in your circuits:\n\n```bash\nconstraint_counter --circuit \u003ccircuit_name\u003e --public-io-length \u003c#_of_pub_inputs\u003e --private-input-length \u003c#_of_priv_inputs\u003e\n```\n\n## Contributing\n\nWe welcome contributions to our open-source projects. If you want to contribute or follow along with contributor discussions, join our main [Telegram channel](https://t.me/pluto_xyz/1) to chat about Pluto's development.\n\nOur contributor guidelines can be found in our [CONTRIBUTING.md](https://github.com/pluto/.github/blob/main/profile/CONTRIBUTING.md).\n\nUnless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be licensed as above, without any additional terms or conditions.\n\n## License\n\nThis project is licensed under the Apache V2 License - see the [LICENSE](LICENSE) file for details.\n\n## Acknowledgments\n\n- The [Noir Programming Language](https://noir-lang.org/) team for their ZK circuit development framework","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fpluto%2Fnoir-web-prover-circuits","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fpluto%2Fnoir-web-prover-circuits","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fpluto%2Fnoir-web-prover-circuits/lists"}