This module is a self contained file which explains
how PLONK and its protocol components work in our library.

Table of Contents
=================

The following section explains the workings of PLONK components:
* [Commitment schemes](commitment_schemes/index.html)
* [Proof construction components](snark_construction/index.html)
* [Permutation polynomials](permutation_arguments/index.html)



This section explains how elements of the aggregated PLONK protocol work
and some of the unique features in this library:

* [Prover and Verify algorithms](prove_verify/index.html)
* [Unbalanced permutation arguments](unbalanced_perm_args/index.html)
* [KZG10 commitment scheme](kzg10_docs/index.html)

