{"id":41197012,"url":"https://github.com/functionally/noir-env","last_synced_at":"2026-01-22T20:37:40.113Z","repository":{"id":326713351,"uuid":"1106610397","full_name":"functionally/noir-env","owner":"functionally","description":"A Nix development environment with Noir and related ZK tools.","archived":false,"fork":false,"pushed_at":"2025-11-29T18:59:56.000Z","size":7,"stargazers_count":0,"open_issues_count":1,"forks_count":0,"subscribers_count":0,"default_branch":"main","last_synced_at":"2025-12-01T18:38:35.978Z","etag":null,"topics":["circom-language","nix-flake","noir-lang","snarks","zk"],"latest_commit_sha":null,"homepage":"","language":"Nix","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/functionally.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-11-29T15:37:49.000Z","updated_at":"2025-11-29T15:47:11.000Z","dependencies_parsed_at":null,"dependency_job_id":null,"html_url":"https://github.com/functionally/noir-env","commit_stats":null,"previous_names":["functionally/noir-env"],"tags_count":null,"template":false,"template_full_name":null,"purl":"pkg:github/functionally/noir-env","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/functionally%2Fnoir-env","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/functionally%2Fnoir-env/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/functionally%2Fnoir-env/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/functionally%2Fnoir-env/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/functionally","download_url":"https://codeload.github.com/functionally/noir-env/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/functionally%2Fnoir-env/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":28670420,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-01-22T19:36:09.361Z","status":"ssl_error","status_checked_at":"2026-01-22T19:36:05.567Z","response_time":144,"last_error":"SSL_read: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"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":["circom-language","nix-flake","noir-lang","snarks","zk"],"created_at":"2026-01-22T20:37:40.022Z","updated_at":"2026-01-22T20:37:40.099Z","avatar_url":"https://github.com/functionally.png","language":"Nix","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Development environment for Noir\n\nA Nix development environment with Noir and related ZK tools.\n\n\n## Entering the environment\n\nOne can either clone this repository and enter the development environment from within it:\n\n```bash\ngit clone https://github.com/functionally/noir-env\ncd noir-env\nnix develop\n```\n\nOr enter the environment without cloning the repository:\n\n```bash\nnix develop github:functionally/noir-env\n```\n\n\n## Available tools\n\nThe following command-line tools are available in this enviornment.\n\n- [Noir](https://noir-lang.org/)\n    - `nargo`\n    - `noir-execute`\n    - `noir-inspector`\n    - `noir-profiler`\n    - `noir-ssa`\n- [Barretenberg](https://barretenberg.aztec.network/docs/)\n    - `bb`\n- [Co-Snarks](https://docs.taceo.io/docs/co-noir/)\n    - `co-noir`\n    - `noir_repr3`\n    - `co-circom`\n- [Circom](https://docs.circom.io/)\n    - `circom`\n\n\n## Example\n\n\n### 1. Create a new project\n\n```console\n$ nargo new example\n\n$ cd example\n\nProject successfully created! It is located at noir-env/example\n\n$ tree\n\n.\n├── Nargo.toml\n└── src\n    └── main.nr\n\n$ cat src/main.nr\n\nfn main(x: Field, y: pub Field) {\n    assert(x != y);\n}\n\n#[test]\nfn test_main() {\n    main(1, 2);\n\n    // Uncomment to make test fail\n    // main(1, 1);\n}\n\n```\n\n\n### 2. Create a `Prover.toml` file for the inputs\n\n```console\n$ nargo check\n\n$ cat Prover.toml\n\nx = \"\"\ny = \"\"\n```\n\n\n### 3. Set the inputs `x = 1` and `y = 2`\n\n```console\n$ sed -e 's/x = \"\"/x = \"1\"/' -e 's/y = \"\"/y = \"2\"/' -i Prover.toml\n\n$ cat Prover.toml\n\nx = \"1\"\ny = \"2\"\n```\n\n\n### 4. Compile and execute the circuit\n\n```console\n$ nargo execute\n\n[example] Circuit witness successfully solved\n[example] Witness saved to target/example.gz\n```\n\n\n### 5. Create the proof\n\n```console\n$ bb prove -b ./target/example.json -w ./target/example.gz --write_vk -o target                                                                                                                        \n\nScheme is: ultra_honk, num threads: 16 (mem: 12.69 MiB)\nCircuitProve: Proving key computed in 11 ms (mem: 32.10 MiB)\nWARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 32.10 MiB)\nPublic inputs saved to \"target/public_inputs\" (mem: 35.10 MiB)\nProof saved to \"target/proof\" (mem: 35.10 MiB)\nVK saved to \"target/vk\" (mem: 35.10 MiB)\nVK Hash saved to \"target/vk_hash\" (mem: 35.10 MiB)\n\n$ tree\n\n.\n├── Nargo.toml\n├── Prover.toml\n├── src\n│   └── main.nr\n└── target\n    ├── example.gz\n    ├── example.json\n    ├── proof\n    ├── public_inputs\n    ├── vk\n    └── vk_hash\n\n3 directories, 9 files\n```\n\n### 6. View the public inputs\n\n```bash\nod -t x1 -w32 target/public_inputs\n```\n\n\n### 7. Verify the proof\n\n```console\n$ bb verify -p ./target/proof -k ./target/vk -i ./target/public_inputs\n\nScheme is: ultra_honk, num threads: 16 (mem: 12.69 MiB)\nProof verified successfully (mem: 15.73 MiB)\n```\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ffunctionally%2Fnoir-env","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Ffunctionally%2Fnoir-env","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ffunctionally%2Fnoir-env/lists"}