Code

LogUp formalization#20

Code

Closed

gio54321 wants to merge 2 commits intoexperiments/AIR-structureVerified-zkEVM/clean:experiments/AIR-structurefrom feat/logupVerified-zkEVM/clean:feat/logupCopy head branch name to clipboard

+269

Commits

Commits on Nov 4, 2024

• Initial LogUp formalization

  gio54321

  committed
  ae420de

Commits on Nov 12, 2024

• LogUp: add proof for zero derivative lemma

  gio54321

  committed
  cbe5bb3