Skip to content

Nuplompiler/Test: bring testing infrastructure from old plompiler

Antonio Locascio requested to merge alocascio@nu-soundness into master

This MR adds:

  • Negative Plonk tests for every positive test defined through the helpers.
  • Regressions for the size of the generated circuits
  • Deterministic randomness through the RANDOM_SEED env variable.

Merge request reports