noir-lang/noir issues and pull requests

#6072 - feat: refactor SSA passes to run on individual functions

Pull Request - State: closed - Opened by michaeljklein about 2 months ago

#6071 - chore: Add `Instruction::MakeArray` to SSA

Pull Request - State: open - Opened by jfecher about 2 months ago - 10 comments

#6070 - Docs for `Field` methods are out of date and fail to compile

Issue - State: closed - Opened by michaeljklein about 2 months ago - 1 comment
Labels: bug

#6069 - Consider an aliasing restriction to make mem2reg easier

Issue - State: open - Opened by jfecher about 2 months ago - 2 comments
Labels: enhancement

#6068 - `--show-ssa` stack overflows on large input

Issue - State: open - Opened by michaeljklein about 2 months ago
Labels: bug

#6067 - Synchronize `TypeVariableKind` and `Kind`

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

#6061 - feat: detect unconstructed structs

Pull Request - State: closed - Opened by asterite about 2 months ago - 1 comment

#6058 - feat: visibility for type aliases

Pull Request - State: closed - Opened by asterite about 2 months ago - 7 comments
Labels: documentation

#6055 - Improve unused struct warning

Issue - State: closed - Opened by asterite 2 months ago
Labels: enhancement

#6046 - Using an untyped global as array length crashes the compiler

Issue - State: closed - Opened by Thjarkgh 2 months ago - 4 comments
Labels: bug

#6030 - chore: Release Noir(0.35.0)

Pull Request - State: closed - Opened by noirwhal 2 months ago - 3 comments
Labels: autorelease: tagged, documentation

#6023 - Trait where clause isn't type-checked

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

#6011 - Types in scope are not recognised via `quoted.as_type()`

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

#6005 - chore: contract entrypoint dispatch

Pull Request - State: closed - Opened by asterite 2 months ago - 1 comment

#6000 - Support specifying generics on a type when calling an associated function

Issue - State: closed - Opened by TomAFrench 2 months ago - 1 comment
Labels: enhancement

#6000 - Support specifying generics on a type when calling an associated function

Issue - State: closed - Opened by TomAFrench 2 months ago - 1 comment
Labels: enhancement

#5994 - feat: add more `Type` and `UnresolvedType` methods

Pull Request - State: closed - Opened by asterite 2 months ago - 2 comments
Labels: documentation

#5946 - ACVM crates are not publishable

Issue - State: open - Opened by github-actions[bot] 2 months ago

#5922 - Debugger enters both the "then" and the "else" statement of a single "if"

Issue - State: open - Opened by nickysn 2 months ago - 1 comment
Labels: bug

#5907 - feat: Add `String` to stdlib

Pull Request - State: open - Opened by jfecher 2 months ago - 3 comments

#5897 - SSA: Extra mem2reg pass causing failures for UHashMap

Issue - State: closed - Opened by vezenovm 2 months ago - 1 comment
Labels: bug

#5891 - feat: simplify `jmpif`s by reversing branches if condition is negated

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

#5858 - chore: ec addition for non-zero points

Pull Request - State: closed - Opened by guipublic 3 months ago - 5 comments

#5855 - Concrete types do not throw an error if an impl is defined with generics

Issue - State: open - Opened by TomAFrench 3 months ago - 2 comments

#5855 - Concrete types do not throw an error if an impl is defined with generics

Issue - State: open - Opened by TomAFrench 3 months ago - 3 comments

#5846 - Update `Field.to_be_bytes` methods to enforce that the byte decomposition does not result in overflows

Issue - State: closed - Opened by TomAFrench 3 months ago
Labels: security

#5839 - Attempt SSA optimizations on zero-argument functions first

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

#5831 - chore: move aes example into a code snippet

Pull Request - State: open - Opened by TomAFrench 3 months ago - 2 comments
Labels: documentation

#5820 - fix: perform out of bounds check when writing to slice

Pull Request - State: closed - Opened by asterite 3 months ago - 2 comments

#5791 - Reserve a number of registers for constant values when compiling brillig programs

Issue - State: closed - Opened by TomAFrench 3 months ago - 1 comment
Labels: optimization, brillig

#5789 - chore: switch to pedersen in Noir

Pull Request - State: closed - Opened by guipublic 3 months ago - 2 comments

#5785 - feat(optimization): Redirect array gets to earlier arrays if possible

Pull Request - State: open - Opened by jfecher 3 months ago - 4 comments

#5770 - chore: add regression test for #5756

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

#5762 - feat(optimization): Perform array gets as early as possible

Pull Request - State: closed - Opened by jfecher 3 months ago - 6 comments

#5754 - chore(docs): Add link to more info about proving backend to Solidity verifier page

Pull Request - State: closed - Opened by critesjosh 3 months ago - 2 comments
Labels: documentation

#5715 - NoirJS doesn't report return values when doing witness gen on a function with databus (return_data)

Issue - State: closed - Opened by sirasistant 3 months ago - 2 comments
Labels: bug

#5711 - Request for improvements to contract verifier how-to

Issue - State: closed - Opened by partylikeits1983 3 months ago - 7 comments
Labels: documentation

#5709 - feat: add initial optimizations for multi-instruction arithmetic

Pull Request - State: open - Opened by TomAFrench 3 months ago - 6 comments

#5702 - chore: test remaining crypto blackbox functions

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

#5698 - chore(docs): Update noirjs web app doc to include multithreading config

Pull Request - State: closed - Opened by critesjosh 3 months ago - 3 comments
Labels: documentation

#5690 - `Keccak256` blackbox instruction injectivity test fails

Issue - State: closed - Opened by michaeljklein 3 months ago - 2 comments
Labels: bug

#5690 - `Keccak256` blackbox instruction injectivity test fails

Issue - State: closed - Opened by michaeljklein 3 months ago - 2 comments
Labels: bug

#5690 - `Keccak256` blackbox instruction injectivity test fails

Issue - State: closed - Opened by michaeljklein 3 months ago - 2 comments
Labels: bug

#5689 - `Keccak256` returns constant output instead of error on invalid length

Issue - State: closed - Opened by michaeljklein 3 months ago - 1 comment
Labels: bug

#5689 - `Keccak256` returns constant output instead of error on invalid length

Issue - State: closed - Opened by michaeljklein 3 months ago - 1 comment
Labels: bug

#5689 - `Keccak256` returns constant output instead of error on invalid length

Issue - State: closed - Opened by michaeljklein 3 months ago - 1 comment
Labels: bug

#5689 - `Keccak256` returns constant output instead of error on invalid length

Issue - State: closed - Opened by michaeljklein 3 months ago - 1 comment
Labels: bug

#5675 - chore(docs): Update How to Oracles

Pull Request - State: open - Opened by critesjosh 4 months ago - 7 comments
Labels: documentation

#5661 - Handle Honk recursive aggregation in NoirJS

Issue - State: open - Opened by vezenovm 4 months ago - 1 comment
Labels: enhancement, js

#5657 - chore: Document gate savings around if, loop, and no_predicates

Pull Request - State: open - Opened by jzaki 4 months ago - 2 comments
Labels: documentation

#5591 - feat: compile stdin and fuzz

Pull Request - State: open - Opened by michaeljklein 4 months ago

#5584 - Enable turbofish for impls

Issue - State: closed - Opened by signorecello 4 months ago
Labels: enhancement

#5584 - Enable turbofish for impls

Issue - State: closed - Opened by signorecello 4 months ago
Labels: enhancement

#5584 - Enable turbofish for impls

Issue - State: closed - Opened by signorecello 4 months ago
Labels: enhancement

#5584 - Enable turbofish for impls

Issue - State: closed - Opened by signorecello 4 months ago
Labels: enhancement

#5584 - Enable turbofish for impls

Issue - State: closed - Opened by signorecello 4 months ago
Labels: enhancement

#5573 - JS packages failed to publish

Issue - State: open - Opened by github-actions[bot] 4 months ago
Labels: js

#5570 - feat: Push ArrayGet instructions backwards through IfElse instructions to avoid expensive array merges

Pull Request - State: open - Opened by asterite 4 months ago - 7 comments

#5568 - Remove sha256 opcode

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

#5567 - Remove `Keccak256` opcode

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

#5560 - Nargo panics if you specify an expression-width < 3 during compile

Issue - State: open - Opened by 0xThemis 4 months ago
Labels: bug

#5551 - ACVM crates failed to publish

Issue - State: closed - Opened by github-actions[bot] 4 months ago - 2 comments

#5485 - feat: external libraries (DO NOT MERGE)

Pull Request - State: closed - Opened by guipublic 4 months ago

#5462 - `[T]::pop_front()` panics when inside non-executed `if`

Issue - State: closed - Opened by michaeljklein 4 months ago - 1 comment
Labels: bug

#5437 - chore: Schnorr signature verification in Noir

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

#5407 - Docs contains dead links

Issue - State: open - Opened by github-actions[bot] 5 months ago - 2 comments
Labels: documentation

#5403 - fix: add new `BrilligFunctionUnsatisfiedConstrain` resolution error variant

Pull Request - State: open - Opened by anaPerezGhiglia 5 months ago - 4 comments
Labels: enhancement, debugger

#5364 - Move `recursive` field to `Program` from `Circuit`.

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

#5354 - Add non-blocking CI workflow to test external libraries

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

#5315 - Add test vectors for pedersen commitments/hashes with non-zero separators

Issue - State: closed - Opened by TomAFrench 5 months ago - 1 comment

#5299 - `use dep::{foo, bar}` is formatted into `use {foo, bar}` which is invalid

Issue - State: closed - Opened by TomAFrench 5 months ago - 3 comments
Labels: bug, formatter

#5295 - fix: allow using type aliases in struct patterns and constructors

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

#5237 - Remove `PedersenHash` and `PedersenCommitment` opcodes

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

#5231 - Clean up Elaborator hacks

Issue - State: closed - Opened by vezenovm 5 months ago - 2 comments
Labels: enhancement, compiler frontend

#5213 - Document change of default integer type to `u32`

Issue - State: closed - Opened by Savio-Sou 5 months ago
Labels: documentation

#5204 - feat(debugger): REPL add breakpoint by sourcecode line

Pull Request - State: open - Opened by anaPerezGhiglia 5 months ago - 4 comments

#5196 - `PedersenCommitment` blackbox function should allow the point at infinity as an output

Issue - State: closed - Opened by TomAFrench 5 months ago - 2 comments

#5152 - `nargo fmt` panics from unexpected character in line comment

Issue - State: closed - Opened by michaeljklein 6 months ago - 1 comment
Labels: bug

#5152 - `nargo fmt` panics from unexpected character in line comment

Issue - State: closed - Opened by michaeljklein 6 months ago - 1 comment
Labels: bug

#5152 - `nargo fmt` panics from unexpected character in line comment

Issue - State: closed - Opened by michaeljklein 6 months ago - 1 comment
Labels: bug

#5151 - Document generic arithmetic types once supported without `--use-elaborator`

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

#5133 - Track sizes of brillig functions in CI similarly to how we track circuit sizes

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

#5130 - ICE encountered when calling a function marked with `#[fold]` from brillig

Issue - State: closed - Opened by TomAFrench 6 months ago - 3 comments
Labels: bug

#5130 - ICE encountered when calling a function marked with `#[fold]` from brillig

Issue - State: closed - Opened by TomAFrench 6 months ago - 3 comments
Labels: bug

#5130 - ICE encountered when calling a function marked with `#[fold]` from brillig

Issue - State: closed - Opened by TomAFrench 6 months ago - 3 comments
Labels: bug

#5130 - ICE encountered when calling a function marked with `#[fold]` from brillig

Issue - State: closed - Opened by TomAFrench 6 months ago - 3 comments
Labels: bug

#5130 - ICE encountered when calling a function marked with `#[fold]` from brillig

Issue - State: closed - Opened by TomAFrench 6 months ago - 3 comments
Labels: bug

#5092 - Stack overflow in Chumsky

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

#5079 - Push `noir_js_backend_barretenberg` into bb.js

Issue - State: closed - Opened by TomAFrench 6 months ago - 5 comments
Labels: enhancement, backend, js

#5079 - Push `noir_js_backend_barretenberg` into bb.js

Issue - State: closed - Opened by TomAFrench 6 months ago - 5 comments
Labels: enhancement, backend, js

#5079 - Push `noir_js_backend_barretenberg` into bb.js

Issue - State: closed - Opened by TomAFrench 6 months ago - 5 comments
Labels: enhancement, backend, js

#5079 - Push `noir_js_backend_barretenberg` into bb.js

Issue - State: closed - Opened by TomAFrench 6 months ago - 5 comments
Labels: enhancement, backend, js

#5079 - Push `noir_js_backend_barretenberg` into bb.js

Issue - State: closed - Opened by TomAFrench 6 months ago - 5 comments
Labels: enhancement, backend, js