issues
search
noir-lang
/
noir
Noir is a domain specific language for zero knowledge proofs
https://noir-lang.org
Apache License 2.0
821
stars
177
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Move `recursive` field to `Program` from `Circuit`.
#5364
TomAFrench
opened
6 hours ago
0
Add option to ignore tests which fail due to unhandled oracle calls
#5363
TomAFrench
opened
9 hours ago
0
Audit preparedness: implement unit tests
#5362
michaeljklein
opened
9 hours ago
0
Audit preparedness: assessing key cases
#5361
michaeljklein
opened
9 hours ago
0
Audit preparedness: listing key cases
#5360
michaeljklein
opened
9 hours ago
0
LSP: Support global variables rename
#5359
asterite
opened
10 hours ago
0
LSP: Support type (alias) rename
#5358
asterite
opened
10 hours ago
0
chore: fix examples
#5357
TomAFrench
closed
9 hours ago
0
feat!: rename struct-specific TypeDefinition -> StructDefinition
#5356
michaeljklein
opened
11 hours ago
0
chore(ci): add workflow to run `nargo check` on latest `aztec-nr`
#5355
TomAFrench
opened
11 hours ago
0
Add non-blocking CI workflow to test external libraries
#5354
TomAFrench
opened
14 hours ago
0
chore: `static_assert` error message fix and split into is-dynamic and is-false
#5353
michaeljklein
closed
12 hours ago
2
LSP: Support struct rename
#5352
TomAFrench
opened
15 hours ago
0
fix: address compiler warnings coming from stdlib
#5351
TomAFrench
closed
15 hours ago
0
fix: ignore calls to `Intrinsic::AsWitness` during brillig codegen
#5350
TomAFrench
closed
15 hours ago
0
Rename stdlib's `bigint` as `altfield`
#5349
Savio-Sou
opened
1 day ago
0
Ensure `println` in tests works with `static_assert`
#5348
michaeljklein
opened
1 day ago
0
feat: Sync from aztec-packages
#5347
AztecBot
closed
1 day ago
3
feat: disable nargo color output if stderr is tty
#5346
asterite
closed
1 day ago
1
chore: replace `regression_5202` with more manageably sized program
#5345
TomAFrench
closed
1 day ago
0
incorrect inference from conditional assertion
#5344
nventuro
opened
2 days ago
2
fix(frontend): Error for when impl is stricter than trait
#5343
vezenovm
opened
2 days ago
2
feat: `static_assert` builtin
#5342
michaeljklein
closed
1 day ago
4
fix: Avoid issuing duplicate errors during interpreting
#5341
jfecher
closed
1 day ago
1
feat: Sync from aztec-packages
#5340
AztecBot
closed
2 days ago
2
chore: address TODO in `compat.nr`
#5339
TomAFrench
closed
2 days ago
0
feat!: Use BigInt instead of FieldElement in the compiler to be able to detect overflows/underflows
#5338
asterite
opened
2 days ago
0
0.30.0 Codegen Verifier Contract Not Working
#5337
hooperben
closed
2 days ago
3
chore: use `push_err` more in elaborator
#5336
TomAFrench
closed
2 days ago
0
chore: remove `is_unconstrained_fn` field from elaborator
#5335
TomAFrench
closed
2 days ago
0
fix: Error when a local function is called in a comptime context
#5334
jfecher
closed
2 days ago
0
Non-comptime local functions silently fail in a `comptime` context
#5333
jfecher
closed
2 days ago
0
fix: Avoid panic in type system
#5332
jfecher
closed
3 days ago
0
feat: Add `map`, `fold`, `reduce`, `any`, and `all` for slices
#5331
jfecher
closed
3 days ago
2
fix: Implement generic functions in the interpreter
#5330
jfecher
closed
2 days ago
0
chore: remove panic for unimplemented trait dispatch
#5329
TomAFrench
closed
3 days ago
0
Implement support for operator overloading in the comptime interpreter
#5328
TomAFrench
closed
3 days ago
1
feat: Insert trait impls into the program from type annotations
#5327
jfecher
closed
2 days ago
0
fix: Fix tokenization of unquoted types in macros
#5326
jfecher
closed
3 days ago
0
fix: apply `aztec_macros` with elaborator
#5325
TomAFrench
closed
3 days ago
1
chore: replace cached `in_contract` with `in_contract()` method
#5324
TomAFrench
closed
3 days ago
1
fix: don't benchmark the "prove" command as it doesn't exist anymore
#5323
asterite
closed
3 days ago
0
Flattening and remove ifelse adds instructions with empty call stacks
#5322
sirasistant
opened
3 days ago
0
chore: bump `bb` to 0.43.0
#5321
TomAFrench
closed
4 days ago
4
feat(frontend): Where clause on impl
#5320
vezenovm
closed
4 days ago
4
feat: let `should_fail_with` check that the failure reason contains the expected message
#5319
asterite
closed
3 days ago
2
chore: add back Pedersen blackbox functions (revert PR 5221)
#5318
guipublic
closed
4 days ago
3
chore: Bundle SSA Evaluator Options
#5317
asterite
closed
4 days ago
0
chore: keccak256 in Noir
#5316
guipublic
opened
4 days ago
0
Add test vectors for pedersen commitments/hashes with non-zero separators
#5315
TomAFrench
opened
4 days ago
0
Next