Repository navigation

feat: Add Proof mode Initialization & Loop - #120

Draft

zmalatrax wants to merge 11 commits into

mainfrom

feat/proof-mode

Draft

feat: Add Proof mode Initialization & Loop#120
zmalatrax wants to merge 11 commits into
mainfrom
feat/proof-mode

Commits on Aug 7, 2024
- feat: add cairo1-run compilation target
  zmalatrax
  committed
  1c86b85
- feat: add proof mode stack initialization
  zmalatrax
  committed
  4ede2a7
- feat: add proof mode next power of two loop
  zmalatrax
  committed
  0945355
- feat: add name field to layout
  zmalatrax
  committed
  8dfe185
- refactor: export cells per builtin instance constants
  zmalatrax
  committed
  7786d2b
- refactor: make currentStep attribute public
  zmalatrax
  committed
  3dc8065
- feat: add builtin cell usage check
  zmalatrax
  committed
  e65c92f
- refactor: export range_check inner shift and number of parts
  zmalatrax
  committed
  39c3b1a
- feat: add proof mode cell checks
  zmalatrax
  committed
  ede2a08
- chore: cleanup
  zmalatrax
  committed
  8a6a1e6
Commits on Oct 7, 2024
- chore: use proper error on relocatable check
  zmalatrax
  committed
  13a5ab8