Code

feat!: avoid integer overflows#2713

Code

Merged

jfecher merged 73 commits intomasternoir-lang/noir:masterfrom gd/integer_overflownoir-lang/noir:gd/integer_overflowCopy head branch name to clipboardOct 31, 2023

+353-48

Commits

Commits on Sep 15, 2023

• error on integer overflow

  guipublic

  committed
  c3c7ba5

• range constraint block box is not supported in brillig

  guipublic

  committed
  a783b24

Commits on Sep 18, 2023

• Merge branch 'master' into gd/integer_overflow

  guipublic

  committed
  0ae7b49

Commits on Sep 20, 2023

• Merge branch 'master' into gd/integer_overflow

  guipublic

  committed
  cddd13b

Commits on Sep 25, 2023

• Merge branch 'master' into gd/integer_overflow

  guipublic

  committed
  0511c9d

Commits on Sep 29, 2023

• Merge branch 'master' into gd/integer_overflow

  Show description for 187f77a
  guipublic

  committed
  187f77a

Commits on Oct 9, 2023

• note: fix signed arithmetic

  vezenovm

  committed
  8e611d3

Commits on Oct 11, 2023

• Merge branch 'master' into gd/integer_overflow

  guipublic

  committed
  558a6b0

Commits on Oct 12, 2023

• check overflow for signed integers

  guipublic

  committed
  2ed45ac

• code review

  guipublic

  committed
  c4c4f3c

• Merge branch 'master' into gd/integer_overflow

  guipublic

  committed
  f9cd90d

Commits on Oct 16, 2023

• Merge branch 'master' into gd/integer_overflow

  guipublic

  committed
  e0f71d1

• Fix issue with sha2_byte

  guipublic

  committed
  d08ca79

• remove debug code

  guipublic

  committed
  458fde9

• Merge branch 'master' into gd/integer_overflow

  guipublic

  authored
  34292f5

Commits on Oct 18, 2023

• Merge branch 'master' into gd/integer_overflow

  guipublic

  committed
  fa2d1e4

Commits on Oct 24, 2023

• Merge branch 'master' into gd/integer_overflow

  guipublic

  committed
  f7333c4

Commits on Oct 30, 2023

• chore: Update ACIR artifacts (#3263)

  Show description for f214e7d
  

  2 peopleauthored and

  guipublic

  committed
  f214e7d

• fix: recompile artefacts from a different noir version (#3248)

  Show description for 3d50049
  

  4 peoplecommitted
  3d50049

• feat(debugger): Print limited source code context (#3217)

  

  mverzilli

  authored and

  guipublic

  committed
  8528283

• chore(docs): Document nargo fmt (#3262)

  

  Savio-Sou

  authored and

  guipublic

  committed
  7c9b414

• chore(docs): Rearrange NoirJS section (#3260)

  

  Savio-Sou

  authored and

  guipublic

  committed
  7c4444f

• feat: noir-wasm takes dependency graph (#3213)

  Show description for e1d5077
  

  2 peopleauthored and

  guipublic

  committed
  e1d5077

• feat!: Switch to new pedersen implementation (#3151)

  Show description for 9e9dc5d
  

  2 peopleauthored and

  guipublic

  committed
  9e9dc5d

• feat: replace boolean range constraints with arithmetic opcodes (#3234)

  

  TomAFrench

  authored and

  guipublic

  committed
  84f408e

• feat: implement euclidean division and signed division in terms of AcirVars (#3230)

  

  TomAFrench

  authored and

  guipublic

  committed
  66a8453

• chore: fix empty constructor formatting (#3265)

  

  kek kek kek

  authored and

  guipublic

  committed
  3f4f2ee

• feat: add crate for pub modifier (#3271)

  Show description for 9ce4237
  

  guipublic

  and

  jfecher

  committed
  9ce4237

• chore: method specialization (#3268)

  Show description for bc02046
  

  2 peopleauthored and

  guipublic

  committed
  bc02046

• fix: Fix lexer error formatting (#3274)

  

  jfecher

  authored and

  guipublic

  committed
  a2b078f

• chore: standardize workflow triggers (#3277)

  

  TomAFrench

  authored and

  guipublic

  committed
  5c3fb2d

• chore: add constrain formatter (#3272)

  Show description for 7b08b21
  

  2 peopleauthored and

  guipublic

  committed
  7b08b21

• fix: Add size checks to integer literals (#3236)

  

  jfecher

  authored and

  guipublic

  committed
  6ae06ed

• feat: implement bound_constraint_with_offset in terms of AcirVars (#3233)

  

  TomAFrench

  authored and

  guipublic

  committed
  12fc657

• chore: adding fix to master branch (#3279)

  

  signorecello

  authored and

  guipublic

  committed
  33c083e

• feat!: expose pedersen hash in acir and bb solver (#3269)

  Show description for a456bdb
  

  2 peopleauthored and

  guipublic

  committed
  a456bdb

• chore: turn off aztec flag by default (#3280)

  

  TomAFrench

  authored and

  guipublic

  committed
  0d07ad9

• chore: Release Noir(0.18.0) (#3242)

  

  kevaundray

  authored and

  guipublic

  committed
  7b7f861

• chore: pinning NoirJS guide versions to 0.17.0 and adding note on noir-examples (#3266)

  Show description for 2917c01
  

  2 peopleauthored and

  guipublic

  committed
  2917c01

• feat: Extract Brillig VM to allow step debugging (#3259)

  

  ggiraldez

  authored and

  guipublic

  committed
  cd6c003

• feat: perform compile-time euclidean division on constants (#3231)

  

  TomAFrench

  authored and

  guipublic

  committed
  e5eda81

• chore: update artefacts (#3287)

  

  kevaundray

  authored and

  guipublic

  committed
  3f0bd3a

• chore: remove default empty features array (#3285)

  

  alexghr

  authored and

  guipublic

  committed
  7a534e9

• chore(docs): Cut v0.17.0 docs (#3290)

  

  Savio-Sou

  authored and

  guipublic

  committed
  c08fd00

• chore: update relative paths for docs imports (#3291)

  

  critesjosh

  authored and

  guipublic

  committed
  3758f19

• chore(docs): Recommend yarn instead of for cutting doc versions (#3293)

  

  Savio-Sou

  authored and

  guipublic

  committed
  2d3d6f6

• feat: Allow a trait to be implemented multiple times for the same struct (#3292)

  

  jfecher

  authored and

  guipublic

  committed
  593f3c1

• chore: format submodule/contract (#3286)

  

  kek kek kek

  authored and

  guipublic

  committed
  a5245b2

• chore(github): Update PR template per new documentation workflow (#3241)

  

  Savio-Sou

  authored and

  guipublic

  committed
  e8a9274

• feat: handle warnings in evaluator (#3205)

  Show description for 23bb4ce
  

  9 peoplecommitted
  23bb4ce

• feat: compute_note_hash_and_nullifier check (#3216)

  Show description for b9e5b5f
  

  2 peopleauthored and

  guipublic

  committed
  b9e5b5f

• feat: Make generic impls callable (#3297)

  

  jfecher

  authored and

  guipublic

  committed
  7950bc9

• chore: create publish-docs.yml (#3298)

  Show description for ab982ef
  

  2 peopleauthored and

  guipublic

  committed
  ab982ef

• chore(docs): Supplement descriptions for defaulting loop indices to be u64 (#3237)

  Show description for 219f862
  

  3 peopleauthored and

  guipublic

  committed
  219f862

• chore: bump bb version to 0.12.0 (#3304)

  

  TomAFrench

  authored and

  guipublic

  committed
  881add7

• chore: upload acir artifacts as a github artifact (#3288)

  

  TomAFrench

  authored and

  guipublic

  committed
  07f4f93

• feat: add exports of JS black box solvers to noirJS (#3295)

  

  TomAFrench

  authored and

  guipublic

  committed
  1c01fbd

• chore: add bn254 attribute when needed in the stdlib (#3208)

  guipublic

  committed
  ffacd52

• chore: recrawl docs on merge (#3306)

  

  signorecello

  authored and

  guipublic

  committed
  fc03aa4

• Merge branch 'master' into gd/integer_overflow

  guipublic

  committed
  bab2fca

• fix the merge

  guipublic

  committed
  04663f4

• feat!: expose pedersen hash in acir and bb solver (#3269)

  Show description for 339ae8a
  

  guipublic

  and

  kevaundray

  committed
  339ae8a

• Merge branch 'master' into gd/integer_overflow

  guipublic

  authored
  3af8912

• Merge branch 'master' into gd/integer_overflow

  guipublic

  committed
  2ec6998

• Merge branch 'master' into gd/integer_overflow

  guipublic

  committed
  76ffae7

• Merge branch 'master' into gd/integer_overflow

  guipublic

  authored
  5358c10

• fix merge issues

  guipublic

  committed
  e74c98d

Commits on Oct 31, 2023

• fix test case

  guipublic

  committed
  6d259c1

• Merge branch 'master' into gd/integer_overflow

  guipublic

  authored
  024a949

• Merge branch 'master' into gd/integer_overflow

  kevaundray

  authored
  7623e97

• Code review

  guipublic

  committed
  acdd2db

• Merge branch 'master' into gd/integer_overflow

  guipublic

  authored
  84131b8

• Merge branch 'master' into gd/integer_overflow

  guipublic

  authored
  f13b01c