Code

[Circuit monad] Shared context#32

Code

Merged

mitschabaude merged 2 commits intomainVerified-zkEVM/clean:mainfrom continuous-contextVerified-zkEVM/clean:continuous-contextCopy head branch name to clipboardDec 18, 2024

+30-25

Commits

Commits on Dec 17, 2024

• pass current ctx down to subcircuits to get strictly increasing var indices

  mitschabaude

  committed
  9e35648

• Merge branch 'main' into continuous-context

  mitschabaude

  committed
  a0ba0bc