Search results

Revisit <code>offset</code> variable in ACIR-gen

acir-gen

auditPreparation or execution of security code audits.Preparation or execution of security code audits.

enhancementNew feature or requestNew feature or request

Status: Open.

#10085 In noir-lang/noir;

· asterite opened on Oct 6, 2025

· 

Internal Review Group 5

Incorrect alias set calculation for ArraySet instruction

auditPreparation or execution of security code audits.Preparation or execution of security code audits.

Status: Open.

Bug

#10070 In noir-lang/noir;

· TomAFrench opened on Oct 2, 2025

· 

Internal Review Group 1

Call inlined incorrectly when callee entry block has a backedge

Status: Open.

Bug

#10069 In noir-lang/noir;

· TomAFrench opened on Oct 2, 2025

· 

Internal Review Group 1

Add a new <code>OpcodeResolutionError</code> variant for different values at the same <code>Witness</code> in a <code>WitnessMap</code>

enhancementNew feature or requestNew feature or request

Status: Open.

#10067 In noir-lang/noir;

· michaeljklein opened on Oct 2, 2025

· 

Internal Review Group 5

Nested array corruption in Brillig

bugSomething isn't workingSomething isn't working

Status: Open.

#10063 In noir-lang/noir;

· rkarabut opened on Oct 2, 2025

Consider adding tests for <code>OpcodeNotSolvable::MissingAssignment</code> and <code>OpcodeNotSolvable::MissingMemoryBlock</code> errors

enhancementNew feature or requestNew feature or request

Status: Open.

#10056 In noir-lang/noir;

· michaeljklein opened on Oct 1, 2025

· 

Internal Review Group 5

Consider adding a test for ACVM <code>AcirMainCallAttempted</code> error

enhancementNew feature or requestNew feature or request

Status: Open.

#10053 In noir-lang/noir;

· michaeljklein opened on Oct 1, 2025

· 

Internal Review Group 5

<code>ExpressionHasTooManyUnknowns</code> is specific for expression solver

enhancementNew feature or requestNew feature or request

Status: Open.

#10052 In noir-lang/noir;

· michaeljklein opened on Oct 1, 2025

· 

Internal Review Group 5

ACIR gen: does AcirDynamicArray need a len field?

acir-gen

auditPreparation or execution of security code audits.Preparation or execution of security code audits.

enhancementNew feature or requestNew feature or request

Status: Open.

#10049 In noir-lang/noir;

· asterite opened on Oct 1, 2025

ConstrainNotEqual does not require ACIR gen predicate yet it uses it

acir-gen

auditPreparation or execution of security code audits.Preparation or execution of security code audits.

bugSomething isn't workingSomething isn't working

Status: Open.

#10044 In noir-lang/noir;

· asterite opened on Oct 1, 2025

· 

Internal Review Group 5

<code>MemOp</code> expects constant 1 or 0 for operation instead of using enum

enhancementNew feature or requestNew feature or request

Status: Open.

#10038 In noir-lang/noir;

· jfecher opened on Sep 30, 2025

ACIR vs Brillig: ecdsa verify with predicate=0 failed to compile in Brillig and solved in ACIR

bugSomething isn't workingSomething isn't working

Status: Open.

#10037 In noir-lang/noir;

· defkit opened on Sep 30, 2025