Code

fix: audit fixes#331

Code

Merged

ratankaliani merged 43 commits intomainsuccinctlabs/succinctx:mainfrom tamir/audit_fixessuccinctlabs/succinctx:tamir/audit_fixesCopy head branch name to clipboardFeb 8, 2024

+872-793

Commits

Commits on Jan 16, 2024

• compatibility with Curta audit fixes: assertion on positive sqrt and column numbers change

  tamirhemo

  committed
  c916742

  Copy full SHA for c916742

• Merge remote-tracking branch 'origin/main' into tamir/audit_fixes

  tamirhemo

  committed
  cb3ab03

  Copy full SHA for cb3ab03

• fix: num_columns in a test

  tamirhemo

  committed
  ece413a

  Copy full SHA for ece413a

• fix: range checks on EC points and field element

  tamirhemo

  committed
  b85a0c7

  Copy full SHA for b85a0c7

• remove comment

  tamirhemo

  committed
  27f8aaa

  Copy full SHA for 27f8aaa

• added assert num_bits % chunk_bits == 0

  tamirhemo

  committed
  454e91d

  Copy full SHA for 454e91d

• fix Uint reminder check

  tamirhemo

  committed
  1b7a2e3

  Copy full SHA for 1b7a2e3

Commits on Jan 24, 2024

• added comments for generator results that need to be constrained

  

  kevjue

  authored and

  ratankaliani

  committed
  25696a2

  Copy full SHA for 25696a2

• audit of unconstrainted hints

  

  kevjue

  authored and

  ratankaliani

  committed
  d1ed75a

  Copy full SHA for d1ed75a

• audit of unconstrainted aync hints

  

  kevjue

  authored and

  ratankaliani

  committed
  bbbd684

  Copy full SHA for bbbd684

• removed hints and migrated to current lte

  

  puma314

  authored and

  ratankaliani

  committed
  ce3ef8e

  Copy full SHA for ce3ef8e

• clippy

  

  tamirhemo

  authored and

  ratankaliani

  committed
  4b3db19

  Copy full SHA for 4b3db19

• todos

  

  tamirhemo

  authored and

  ratankaliani

  committed
  1230503

  Copy full SHA for 1230503

• keccac

  

  tamirhemo

  authored and

  ratankaliani

  committed
  5a3b955

  Copy full SHA for 5a3b955

• fix read, read_unsafe and add witness to functions

  

  tamirhemo

  authored and

  ratankaliani

  committed
  a87b4e8

  Copy full SHA for a87b4e8

• fix from_vars_unsafe

  

  tamirhemo

  authored and

  ratankaliani

  committed
  77a2cfe

  Copy full SHA for 77a2cfe

• chore: update addresses (#332)

  

  ctian1

  authored and

  ratankaliani

  committed
  47ad593

  Copy full SHA for 47ad593

• feat(succinct-client): add gateways (#333)

  ratankaliani

  committed
  8892625

  Copy full SHA for 8892625

• refactor(succinct-client): derive (#336)

  ratankaliani

  committed
  843e088

  Copy full SHA for 843e088

• fix: rm broken optimism gateway (#334)

  ratankaliani

  committed
  54e9b32

  Copy full SHA for 54e9b32

• refactor(succinct-client): gateway not found (#337)

  ratankaliani

  committed
  be4d598

  Copy full SHA for be4d598

• lint

  ratankaliani

  committed
  79ba485

  Copy full SHA for 79ba485

• read_unsafe

  ratankaliani

  committed
  2f11714

  Copy full SHA for 2f11714

• Merge remote-tracking branch 'origin/main' into tamir/audit_fixes

  ratankaliani

  committed
  f0e29d6

  Copy full SHA for f0e29d6

• Merge remote-tracking branch 'origin/tamir/audit_fixes' into ratan/mark-unconstrained-generators

  ratankaliani

  committed
  787396d

  Copy full SHA for 787396d

Commits on Jan 26, 2024

• fix

  ratankaliani

  committed
  66e0036

  Copy full SHA for 66e0036

Commits on Jan 30, 2024

• fix: use init for blake2b/sha256/sha512 digest (#345)

  kevjue

  authored
  28f2d83

  Copy full SHA for 28f2d83

• fix: Connect t values for curta hash verify_proof (#344)

  kevjue

  authored
  69cdcea

  Copy full SHA for 69cdcea

Commits on Feb 1, 2024

• refactor get_fixed_subarray

  ratankaliani

  committed
  e20e74c

  Copy full SHA for e20e74c

• fix num columns blake

  ratankaliani

  committed
  e368d5b

  Copy full SHA for e368d5b

• Merge remote-tracking branch 'origin/tamir/audit_fixes' into ratan/refactor-get-fixed-subarray

  ratankaliani

  committed
  254cffc

  Copy full SHA for 254cffc

• docs

  ratankaliani

  committed
  1b03be7

  Copy full SHA for 1b03be7

Commits on Feb 3, 2024

• fix(audit): lt (#338)

  Show description for 3b8ba82
  

  ratankaliani

  and

  ctian1

  authored
  3b8ba82

  Copy full SHA for 3b8ba82

• fix(audit): refactor pad_variable_length for sha256 + sha512 (#342)

  ratankaliani

  authored
  0637395

  Copy full SHA for 0637395

• fix: removed array_contains and handled partial subarray case for get_fixed_subarray (#346)

  kevjue

  authored
  c3f2044

  Copy full SHA for c3f2044

• fix(audit): constrain blake2b variable input length (#347)

  ratankaliani

  authored
  ea6adad

  Copy full SHA for ea6adad

• refactor(audit): sha256_variable input check

  ratankaliani

  committed
  4a44aeb

  Copy full SHA for 4a44aeb

• fix(audit): mark unconstrained generators

  ratankaliani

  committed
  7dbad64

  Copy full SHA for 7dbad64

• fix(audit): get_fixed_subarray

  ratankaliani

  committed
  4258f20

  Copy full SHA for 4258f20

Commits on Feb 6, 2024

• refactor: get_fixed_subarray (#352)

  ratankaliani

  authored
  67997b2

  Copy full SHA for 67997b2

Commits on Feb 8, 2024

• chore: cargo update

  ratankaliani

  committed
  b096848

  Copy full SHA for b096848

• chore: cargo

  ratankaliani

  committed
  dd83388

  Copy full SHA for dd83388

• chore: clippy

  ratankaliani

  committed
  29991ea

  Copy full SHA for 29991ea