Code

ccs.GetConstraints readable output#244

Code

Merged

gbotrel merged 9 commits intodevelopConsensys/gnark:developfrom plonk-human-readableConsensys/gnark:plonk-human-readableCopy head branch name to clipboardJan 28, 2022

+558-1,053

Commits

Commits on Jan 26, 2022

• style: constraint is not satified err -> constraint #id is not satisfied

  gbotrel

  committed
  b476f2f

  Copy full SHA for b476f2f

Commits on Jan 27, 2022

• style: plonk human readable constraint A+M+k == O

  gbotrel

  committed
  08eb7a8

  Copy full SHA for 08eb7a8

• style: experiment 1 plonk constraint string repr

  gbotrel

  committed
  ee9da82

  Copy full SHA for ee9da82

• style: experiment 2 constraint str

  gbotrel

  committed
  3f93632

  Copy full SHA for 3f93632

• style: return constraint formatted as in the paper

  gbotrel

  committed
  7773406

  Copy full SHA for 7773406

• style: cosmetics in sparseR1C repr

  gbotrel

  committed
  208e4c7

  Copy full SHA for 208e4c7

Commits on Jan 28, 2022

• style: constraint cosmetics string repr. remove ToHTML deadcode

  gbotrel

  committed
  f6b5e86

  Copy full SHA for f6b5e86

• style: clean up unsatisfied constraint error paths

  gbotrel

  committed
  e4be990

  Copy full SHA for e4be990

• perf: minimize allocations in ccs.GetConstraints

  gbotrel

  committed
  68debdd

  Copy full SHA for 68debdd