Code

Rebased logUp implementation#1235

Code

Merged

LindaGuiga merged 18 commits into0xPolygonZero:main0xPolygonZero/plonky2:mainfrom topos-protocol:new-loguptopos-protocol/plonky2:new-logupCopy head branch name to clipboardSep 27, 2023

+703-981

Commits

Commits on Sep 15, 2023

• Implement logUp

  

  wborgeaud

  authored and

  LindaGuiga

  committed
  f65ad58

• Use CTL challenges for logUP + change comments + add assert

  LindaGuiga

  committed
  c9c0f8b

• Fix BytePacking range-check. Fix lookup challenges

  LindaGuiga

  committed
  17f661f

• Remove one helper function

  LindaGuiga

  committed
  9ab8a11

• Add assert with char(F). Cleanup. Fix recursive challenges.

  LindaGuiga

  committed
  c5af894

• Cleanup

  LindaGuiga

  committed
  7dc2a77

• Clippy

  LindaGuiga

  committed
  9697c90

• Merge branch 'main' of github.com:mir-protocol/plonky2 into new-logup

  Nashtare

  committed
  9100059

• Remove where clauses: [(); CpuStark::<F, D>::COLUMNS]

  LindaGuiga

  committed
  66f935a

• Fix range

  Nashtare

  committed
  ec9e619

• Update clippy in CI

  Nashtare

  committed
  4f0330a

• Merge branch 'main' of github.com:mir-protocol/plonky2 into new-logup

  Nashtare

  committed
  865f185

• Revert "Remove where clauses: [(); CpuStark::<F, D>::COLUMNS]"

  Show description for a9b7b5a
  Nashtare

  committed
  a9b7b5a

• Merge remote-tracking branch 'mir/main' into new-logup

  Nashtare

  committed
  ffa7178

Commits on Sep 19, 2023

• Merge branch 'main' into new-logup

  LindaGuiga

  committed
  ca44187

Commits on Sep 20, 2023

• Merge branch 'main' into 'new-logup'.

  LindaGuiga

  committed
  f438d45

• Merge branch 'main' into new-logup

  LindaGuiga

  committed
  70d6dd9

Commits on Sep 25, 2023

• Merge branch 'main' into 'new-logup'

  LindaGuiga

  committed
  bbc6fe7