Code

Support hint function#220

Code

Merged

mimoo merged 21 commits intomainzksecurity/noname:mainfrom feat/ir2zksecurity/noname:feat/ir2Copy head branch name to clipboardNov 13, 2024

+1,871-46

Commits

Commits on Nov 4, 2024

• add IR translator

  katat

  committed
  af422ea

  Copy full SHA for af422ea

• add Value::HintIR for hint calculations

  katat

  committed
  7636d1a

  Copy full SHA for 7636d1a

• enable parsing hint function body

  katat

  committed
  34af420

  Copy full SHA for 34af420

• add cargo deps

  katat

  committed
  f004a33

  Copy full SHA for f004a33

• circ require nightly rust toolchain

  katat

  committed
  d64281d

  Copy full SHA for d64281d

• add hint test

  katat

  committed
  a38bba6

  Copy full SHA for a38bba6

• fmt

  katat

  committed
  e30e563

  Copy full SHA for e30e563

Commits on Nov 5, 2024

• support complex inputs and outputs

  katat

  committed
  34162a7

  Copy full SHA for 34162a7

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

  katat

  committed
  a11e5c2

  Copy full SHA for a11e5c2

• update asm

  katat

  committed
  5d05284

  Copy full SHA for 5d05284

Commits on Nov 12, 2024

• map backend fields to circ fields

  katat

  committed
  427475b

  Copy full SHA for 427475b

• better error for calling builtins in hint function

  katat

  committed
  5b91bd1

  Copy full SHA for 5b91bd1

• refine error

  katat

  committed
  190df51

  Copy full SHA for 190df51

• more arithmetic operations

  katat

  committed
  ed9dd4d

  Copy full SHA for ed9dd4d

• support boolean operations

  katat

  committed
  99498fa

  Copy full SHA for 99498fa

• update tests

  katat

  committed
  3dc4c71

  Copy full SHA for 3dc4c71

• update test

  katat

  committed
  2cbc07e

  Copy full SHA for 2cbc07e

• only allow calling hint functions in a hint function

  katat

  committed
  881ff1d

  Copy full SHA for 881ff1d

• format

  katat

  committed
  255b1e3

  Copy full SHA for 255b1e3

• comment

  katat

  committed
  f2c0e3a

  Copy full SHA for f2c0e3a

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

  katat

  committed
  3ab7525

  Copy full SHA for 3ab7525