Documentation touch-up

[moCello]

Describe what kind of specification you want to have created Under the documentation module, add articles that help understand PlonK, e.g.:

• Zero Knowledge Proofs
• Finite fields of elliptic curve points
• Elliptic curve pairings
• PLONK basics
  • circuit/gates
  • polynomials
  • statement & proof systems
• Kate commitments