miden-vm icon indicating copy to clipboard operation
miden-vm copied to clipboard

Published 20 hours ago • verified publisher icon 0xPolygonMiden

Move all buses and tables to LogUp-GKR

Open plafer opened this issue 5 months ago • 4 comments

Left to do:

  • [x] fix bug in MidenLogUpGkrEval
  • [x] Remove Op group table aux column & aux constraints
  • [ ] cleanup (i.e. address all TODO(plafer)

plafer avatar Sep 19 '24 21:09 plafer