Minimal Viable Prover

Problem description

Implementation

• Use modular code design
• Added criterion benchmark function

  # Just run
  cargo bench

• No variable cloning
• Used rayon for parellel computation wherever required

Benchmark