Code

Proof of plonky3 verification#1928

Code

Draft

Schaeff wants to merge 14 commits intomainpowdr-labs/powdr:mainfrom p3-recursionpowdr-labs/powdr:p3-recursionCopy head branch name to clipboard

+386-33

Commits

Commits on Oct 18, 2024

• extract std parts to backend, make p3 no-std

  Schaeff

  committed
  e78f4ac

  Copy full SHA for e78f4ac

• only pass cs

  Schaeff

  committed
  c3e33ea

  Copy full SHA for c3e33ea

• revert

  Schaeff

  committed
  7f78437

  Copy full SHA for 7f78437

• Merge branch 'main' of github.com:powdr-labs/powdr into no-std-plonky3

  Schaeff

  committed
  2516014

  Copy full SHA for 2516014

• pull main, pin p3

  Schaeff

  committed
  88cac57

  Copy full SHA for 88cac57

• remove unused dependencies

  Schaeff

  committed
  f38ce14

  Copy full SHA for f38ce14

• pull main

  Schaeff

  committed
  c42d013

  Copy full SHA for c42d013

• pull main

  Schaeff

  committed
  fd7db0a

  Copy full SHA for fd7db0a

• pull main

  Schaeff

  committed
  4121e0a

  Copy full SHA for 4121e0a

• move some things out of executor, reach execution panic

  Schaeff

  committed
  ccb3b1c

  Copy full SHA for ccb3b1c

• clean

  Schaeff

  committed
  19fc071

  Copy full SHA for 19fc071

Commits on Oct 22, 2024

• Merge remote-tracking branch 'origin/main' into p3-recursion

  leonardoalt

  committed
  2aaf464

  Copy full SHA for 2aaf464

• this compiles

  leonardoalt

  committed
  150aa4e

  Copy full SHA for 150aa4e

• receiving all data now

  leonardoalt

  committed
  9f0a89f

  Copy full SHA for 9f0a89f