Code

Hint function enhancements#253

Code

Open

katat wants to merge 11 commits intomainzksecurity/noname:mainfrom feat/ir-enhancementszksecurity/noname:feat/ir-enhancementsCopy head branch name to clipboard

+478-148

Commits

Commits on Jan 4, 2025

• evaluate constant values in hint function

  katat

  committed
  c669a36

  Copy full SHA for c669a36

• support logging in hint function

  Show description for 316f49a
  katat

  committed
  316f49a

  Copy full SHA for 316f49a

• support folding const value on hint functions in mast

  katat

  committed
  7cc8e15

  Copy full SHA for 7cc8e15

• support more builtin operators for hint functions

  katat

  committed
  0eb37cf

  Copy full SHA for 0eb37cf

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

  katat

  committed
  9960460

  Copy full SHA for 9960460

Commits on Jan 22, 2025

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

  katat

  committed
  f3d994d

  Copy full SHA for f3d994d

• fmt

  katat

  committed
  8826730

  Copy full SHA for 8826730

• revert ife expression support

  katat

  committed
  5deab01

  Copy full SHA for 5deab01

• Merge remote-tracking branch 'origin/main' into feat/ir-enhancements

  katat

  committed
  884877e

  Copy full SHA for 884877e

Commits on Jan 23, 2025

• Merge remote-tracking branch 'origin/main' into feat/ir-enhancements

  katat

  committed
  a30a66b

  Copy full SHA for a30a66b

• fmt

  katat

  committed
  249493c

  Copy full SHA for 249493c