Code

Add hint registry#183

Code

Merged

gbotrel merged 6 commits intoConsensys:developConsensys/gnark:developfrom ivokub:hint-registryivokub/gnark:hint-registryCopy head branch name to clipboardNov 24, 2021

+204-87

Commits

Commits on Nov 24, 2021

• backend/hint: add registry

  ivokub

  committed
  819811f

  Copy full SHA for 819811f

• backend/hint: add package documentation

  ivokub

  committed
  ee5b003

  Copy full SHA for ee5b003

• backend/hint: refactor built-in hints

  ivokub

  committed
  583df57

  Copy full SHA for 583df57

• frontend: update hint documentation

  ivokub

  committed
  78629b7

  Copy full SHA for 78629b7

• internal/generator: use hint registry

  ivokub

  committed
  a2c6caa

  Copy full SHA for a2c6caa

• internal/backend: generate code

  ivokub

  committed
  3b94d4d

  Copy full SHA for 3b94d4d