Code

Verification circuit (compute_b part)#96

Code

Draft

simonmasson wants to merge 4 commits intomainanoma/taiga:mainfrom simon/halo2_verification_compute_banoma/taiga:simon/halo2_verification_compute_bCopy head branch name to clipboard

+214

Commits

Commits on Dec 8, 2022

• wip but still not working when I run it

  simonmasson

  committed
  539513e

Commits on Dec 9, 2022

• verification file

  simonmasson

  committed
  6273e13

• wip but still not working

  simonmasson

  committed
  6264836

Commits on Dec 16, 2022

• compute_b works for 16 u_is

  simonmasson

  committed
  95fff13