Code

Add stdlib BigUInt#254

Code

Open

katat wants to merge 14 commits intomainzksecurity/noname:mainfrom stdlib/bigint-rebase2zksecurity/noname:stdlib/bigint-rebase2Copy head branch name to clipboard

+1,791-220

Commits

Commits on Jan 4, 2025

• fix: invalid folded mutable constant value

  katat

  committed
  ef81a46

  Copy full SHA for ef81a46

• support subtraction in symbolic value

  katat

  committed
  2f71d29

  Copy full SHA for 2f71d29

• revert change

  katat

  committed
  77f8b82

  Copy full SHA for 77f8b82

• fix: instead of folding expr for constant values, we keep the expr as it is

  katat

  committed
  3cb143c

  Copy full SHA for 3cb143c

• fix: avoid re-monomorphized a function name

  katat

  committed
  247379c

  Copy full SHA for 247379c

• evaluate constant values in hint function

  katat

  committed
  fbbaaeb

  Copy full SHA for fbbaaeb

• support logging in hint function

  Show description for 2f54eef
  katat

  committed
  2f54eef

  Copy full SHA for 2f54eef

• support folding const value on hint functions in mast

  katat

  committed
  c5a04ec

  Copy full SHA for c5a04ec

• support more builtin operators for hint functions

  katat

  committed
  9665432

  Copy full SHA for 9665432

• fix: no need to have unsafe attribute if the hint function calls is within a hint function

  katat

  committed
  baa0ac4

  Copy full SHA for baa0ac4

• allow expressions in ifelse block

  katat

  committed
  969c612

  Copy full SHA for 969c612

• print out unused HintIR witness values as a warning instead of throwing error

  katat

  committed
  8e3fc81

  Copy full SHA for 8e3fc81

• add biguint stdlib

  katat

  committed
  2b54a5d

  Copy full SHA for 2b54a5d

• rename function

  katat

  committed
  08ceddb

  Copy full SHA for 08ceddb