noir-lang/noir issues and pull requests

#5018 - Fix reference doc gen for `CompiledCircuit`, `ProofData` and `compile_program` in versioned docs

Issue - State: open - Opened by Savio-Sou 6 months ago - 2 comments
Labels: bug, documentation

#5016 - chore: fix unmutable environment

Pull Request - State: open - Opened by michaeljklein 6 months ago - 1 comment

#5001 - Avoid `O(N^2)` scan through globals during name resolution

Issue - State: closed - Opened by michaeljklein 6 months ago - 2 comments
Labels: enhancement

#4980 - `nargo fmt` crashes with "not formatted because a comment would be lost"

Issue - State: closed - Opened by benesjan 6 months ago
Labels: bug

#4974 - Expose Databus objects to the backend

Issue - State: closed - Opened by guipublic 7 months ago - 1 comment
Labels: enhancement

#4970 - Migrate suite of benchmark Noir programs from zk_bench

Issue - State: closed - Opened by TomAFrench 7 months ago

#4969 - chore: add recursive example

Pull Request - State: closed - Opened by jzaki 7 months ago - 5 comments

#4963 - Add foreign call definitions into ABI.

Issue - State: open - Opened by TomAFrench 7 months ago - 4 comments

#4963 - Add foreign call definitions into ABI.

Issue - State: open - Opened by TomAFrench 7 months ago - 4 comments

#4963 - Add foreign call definitions into ABI.

Issue - State: open - Opened by TomAFrench 7 months ago - 4 comments

#4929 - Implement `SchnorrVerify` in Noir

Issue - State: closed - Opened by TomAFrench 7 months ago

#4890 - Compiler stack overflow with nested lambda functions

Issue - State: closed - Opened by pventuzelo 7 months ago - 1 comment
Labels: bug

#4846 - nargo fmt infinitely prepends plain:: to type name

Issue - State: closed - Opened by LogvinovLeon 7 months ago - 1 comment
Labels: bug, formatter

#4837 - Implement visibility for fields

Issue - State: closed - Opened by jfecher 7 months ago
Labels: enhancement

#4828 - Compiler panic when you make a recursive call which does not terminate

Issue - State: open - Opened by pventuzelo 7 months ago - 4 comments
Labels: bug

#4777 - Support nested use statements in lalrpop parser

Issue - State: closed - Opened by michaeljklein 7 months ago
Labels: enhancement, parser

#4763 - Parse block test fails with uninformative message

Issue - State: closed - Opened by michaeljklein 7 months ago - 6 comments
Labels: bug, parser

#4727 - Run verifier in CosmWasm

Issue - State: closed - Opened by hu55a1n1 7 months ago - 2 comments
Labels: enhancement

#4727 - Run verifier in CosmWasm

Issue - State: closed - Opened by hu55a1n1 7 months ago - 2 comments
Labels: enhancement

#4727 - Run verifier in CosmWasm

Issue - State: closed - Opened by hu55a1n1 7 months ago - 2 comments
Labels: enhancement

#4727 - Run verifier in CosmWasm

Issue - State: closed - Opened by hu55a1n1 7 months ago - 2 comments
Labels: enhancement

#4727 - Run verifier in CosmWasm

Issue - State: closed - Opened by hu55a1n1 7 months ago - 2 comments
Labels: enhancement

#4689 - Compiler crashing when using constant derived from other constant

Issue - State: closed - Opened by aajj999 8 months ago - 1 comment
Labels: bug

#4676 - Noir ignores a test when test header is malformed

Issue - State: closed - Opened by LogvinovLeon 8 months ago
Labels: bug

#4676 - Noir ignores a test when test header is malformed

Issue - State: closed - Opened by LogvinovLeon 8 months ago
Labels: bug

#4676 - Noir ignores a test when test header is malformed

Issue - State: closed - Opened by LogvinovLeon 8 months ago
Labels: bug

#4676 - Noir ignores a test when test header is malformed

Issue - State: closed - Opened by LogvinovLeon 8 months ago
Labels: bug

#4676 - Noir ignores a test when test header is malformed

Issue - State: closed - Opened by LogvinovLeon 8 months ago
Labels: bug

#4663 - Panic when monomorphizing `HashMap` code

Issue - State: open - Opened by jfecher 8 months ago - 2 comments
Labels: bug

#4663 - Panic when monomorphizing `HashMap` code

Issue - State: open - Opened by jfecher 8 months ago - 2 comments
Labels: bug

#4663 - Panic when monomorphizing `HashMap` code

Issue - State: open - Opened by jfecher 8 months ago - 2 comments
Labels: bug

#4663 - Panic when monomorphizing `HashMap` code

Issue - State: open - Opened by jfecher 8 months ago - 2 comments
Labels: bug

#4663 - Panic when monomorphizing `HashMap` code

Issue - State: open - Opened by jfecher 8 months ago - 2 comments
Labels: bug

#4603 - chore: Optimize `HashMap`: bucketed approach

Pull Request - State: open - Opened by jfecher 8 months ago - 6 comments

#4577 - fix: added example using eddsa_to_pub to documentation

Pull Request - State: closed - Opened by Andy53 8 months ago - 2 comments

#4563 - chore: add `double_verify` integration test

Pull Request - State: closed - Opened by TomAFrench 8 months ago - 2 comments

#4517 - ICE: Internal Consistency Evaluators Errors

Issue - State: closed - Opened by nventuro 8 months ago - 1 comment
Labels: bug

#4515 - Epic: Add visibility system to hide implementation details internal to modules

Issue - State: open - Opened by TomAFrench 8 months ago - 1 comment
Labels: enhancement, tracking

#4481 - Unreachable error for large circuits with NoirJS

Issue - State: closed - Opened by madztheo 9 months ago - 2 comments
Labels: bug

#4481 - Unreachable error for large circuits with NoirJS

Issue - State: closed - Opened by madztheo 9 months ago - 2 comments
Labels: bug

#4481 - Unreachable error for large circuits with NoirJS

Issue - State: closed - Opened by madztheo 9 months ago - 2 comments
Labels: bug

#4481 - Unreachable error for large circuits with NoirJS

Issue - State: closed - Opened by madztheo 9 months ago - 2 comments
Labels: bug

#4481 - Unreachable error for large circuits with NoirJS

Issue - State: closed - Opened by madztheo 9 months ago - 2 comments
Labels: bug

#4476 - Add option to specify output directory path when running `nargo codegen-verifier`

Issue - State: closed - Opened by nicolasgarcia214 9 months ago
Labels: enhancement

#4469 - Cannot use type aliases of structs in paths

Issue - State: closed - Opened by jfecher 9 months ago - 1 comment
Labels: bug

#4467 - feat: add optimization pass to remove witness equality constraints

Pull Request - State: closed - Opened by TomAFrench 9 months ago - 4 comments

#4463 - Cannot access trait type methods from built-in types.

Issue - State: closed - Opened by Thunkar 9 months ago - 2 comments
Labels: bug

#4463 - Cannot access trait type methods from built-in types.

Issue - State: closed - Opened by Thunkar 9 months ago - 2 comments
Labels: bug

#4442 - Restrict usage of unconstrained functions to within `unsafe` blocks

Issue - State: closed - Opened by TomAFrench 9 months ago - 11 comments

#4409 - Unreachable Error when calling std::verify_proof() multiple times in recursion circuit

Issue - State: closed - Opened by tuhoag 9 months ago - 18 comments
Labels: bug, js, recursion

#4372 - Incorrect compiler error when returning an array after a code block

Issue - State: closed - Opened by pventuzelo 9 months ago
Labels: bug

#4372 - Incorrect compiler error when returning an array after a code block

Issue - State: closed - Opened by pventuzelo 9 months ago
Labels: bug

#4372 - Incorrect compiler error when returning an array after a code block

Issue - State: closed - Opened by pventuzelo 9 months ago
Labels: bug

#4372 - Incorrect compiler error when returning an array after a code block

Issue - State: closed - Opened by pventuzelo 9 months ago
Labels: bug

#4372 - Incorrect compiler error when returning an array after a code block

Issue - State: closed - Opened by pventuzelo 9 months ago
Labels: bug

#4330 - Remove sha256 opcode

Issue - State: closed - Opened by guipublic 9 months ago - 2 comments
Labels: enhancement

#4322 - Misdiagnosed parse error

Issue - State: closed - Opened by nventuro 9 months ago - 1 comment
Labels: bug

#4297 - feat: reactivate "bubble up constrains" SSA pass

Pull Request - State: closed - Opened by TomAFrench 9 months ago - 1 comment

#4191 - LSP Refactoring Support

Issue - State: closed - Opened by kobyhallx 10 months ago

#4161 - Only use u32s for memory addresses

Issue - State: closed - Opened by sirasistant 10 months ago
Labels: enhancement, brillig

#4094 - Allow for commit hashes instead of tags in nargo remote dependencies specification

Issue - State: open - Opened by LogvinovLeon 10 months ago - 3 comments
Labels: enhancement, good first issue, help wanted, nargo

#4041 - Support for strings

Issue - State: closed - Opened by kevaundray 10 months ago
Labels: enhancement

#4037 - Add poseidon permutation opcode

Issue - State: closed - Opened by kevaundray 10 months ago - 3 comments
Labels: enhancement

#4033 - EPIC: Public VM

Issue - State: closed - Opened by kevaundray 10 months ago
Labels: enhancement

#4003 - nargo test --package <PACKAGE_NAME> fails to run tests

Issue - State: closed - Opened by nfurfaro 10 months ago - 4 comments
Labels: bug

#3963 - Casting bytes array to str

Issue - State: closed - Opened by TomAFrench 11 months ago

#3954 - Trait bound struct implementations

Issue - State: closed - Opened by sirasistant 11 months ago - 1 comment
Labels: enhancement

#3954 - Trait bound struct implementations

Issue - State: closed - Opened by sirasistant 11 months ago - 1 comment
Labels: enhancement

#3949 - Support Trait Inheritance

Issue - State: closed - Opened by sirasistant 11 months ago
Labels: enhancement

#3945 - nargo fmt: inconsistent formatting with arrays

Issue - State: closed - Opened by LHerskind 11 months ago - 5 comments
Labels: bug

#3858 - Add ability to generate multiple circuits with different parameter sizes

Issue - State: open - Opened by kevaundray 11 months ago
Labels: enhancement

#3821 - chore: Remove `ssa::value::Value` to greatly reduce memory usage

Pull Request - State: open - Opened by jfecher 11 months ago

#3816 - feat!: update `compute_note_hash_and_nullifier` compiler check

Pull Request - State: closed - Opened by benesjan 11 months ago - 5 comments

#3801 - Unable to generate intermediary artifacts for a large circuit

Issue - State: closed - Opened by mikirov 11 months ago - 1 comment
Labels: bug

#3786 - Error: `thread 'main' has overflowed its stack` for unknown reason as circuit complexity increases

Issue - State: closed - Opened by willemolding 11 months ago - 2 comments
Labels: bug

#3701 - Tests pass but execute and prove fail

Issue - State: closed - Opened by ppoliani 12 months ago - 2 comments
Labels: bug

#3700 - Implementing a Generic zk-SNARK Backend Interface for nargo

Issue - State: closed - Opened by Okm165 12 months ago - 1 comment
Labels: enhancement

#3631 - chore!: Allow lowercase field type

Pull Request - State: open - Opened by kevaundray 12 months ago - 9 comments

#3525 - Stack overflow on program with a lot of private inputs

Issue - State: closed - Opened by mikirov 12 months ago - 11 comments
Labels: bug

#3312 - nargo fmt: inconsistent formatting of method chains

Issue - State: closed - Opened by ghost about 1 year ago
Labels: bug

#3232 - (fuzzer) - Parsing ambiguity with expressions and lambdas

Issue - State: closed - Opened by pczarn about 1 year ago - 3 comments
Labels: bug, compiler frontend

#3218 - Move desugaring to a pass below parsing

Issue - State: closed - Opened by ghost about 1 year ago - 1 comment

#3198 - Add a section on the SRS

Issue - State: closed - Opened by kevaundray over 3 years ago - 4 comments
Labels: documentation

#3175 - Incorrect opcode span generated for assertions

Issue - State: open - Opened by TomAFrench about 1 year ago
Labels: bug, parser

#2999 - Bikeshed naming of functions in `public_witness` module

Issue - State: closed - Opened by TomAFrench over 1 year ago
Labels: enhancement, js

#2441 - Epic: Testing (Noir programs) in IDE

Issue - State: closed - Opened by phated about 1 year ago - 2 comments

#2419 - [Tracking Issue]: Macro discussions, library transforming and long term goals

Issue - State: closed - Opened by Maddiaa0 about 1 year ago - 4 comments
Labels: discussion

#2355 - Stack overflow when running `nargo execute`

Issue - State: closed - Opened by huangliang-hl about 1 year ago - 4 comments
Labels: bug

#2297 - feat(stdlib)!: Adding Mimc Sponge to stdlib

Pull Request - State: closed - Opened by seugu over 1 year ago - 7 comments

#2205 - Run workspace/contract compilation in parallel

Issue - State: closed - Opened by TomAFrench over 1 year ago - 4 comments
Labels: enhancement, help wanted

#2008 - Check if our inputs are malleable modulo the prime of the Field

Issue - State: closed - Opened by kevaundray over 1 year ago - 8 comments
Labels: enhancement

#1892 - Compiler should be able to recompile a file

Issue - State: open - Opened by phated over 1 year ago - 2 comments
Labels: enhancement

#1780 - Improving arguments array passing when calling a function from one contract to another

Issue - State: closed - Opened by rahul-kothari over 1 year ago - 1 comment
Labels: enhancement, discussion