Code

Public input validation#62

Code

Merged

tiagofneto merged 10 commits intomainHerodotusDev/integrity:mainfrom feat/public-input-validateHerodotusDev/integrity:feat/public-input-validateCopy head branch name to clipboardJan 15, 2024

+53-8

Commits

Commits on Jan 11, 2024

• move assert_nn to asserts

  tiagofneto

  committed
  0db219c

• assert_nn_le

  tiagofneto

  committed
  3c9ef26

• validation constants

  tiagofneto

  committed
  1e30c88

Commits on Jan 12, 2024

• trace size

  tiagofneto

  committed
  16cd090

• rc ranges and layout code

  tiagofneto

  committed
  0f8aafb

• pedersen

  tiagofneto

  committed
  a07fcd2

• range_check

  tiagofneto

  committed
  556725f

• bitwise

  tiagofneto

  committed
  638bf27

Commits on Jan 15, 2024

• Merge branch 'main' into feat/public-input-validate

  tiagofneto

  authored
  bb7f8c9

• fix import

  tiagofneto

  committed
  4cc660c