Module notes 

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
• Proof construction components
• Permutation polynomials

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

• Prover and Verify algorithms
• Unbalanced permutation arguments
• KZG10 commitment scheme

Modules

commitment_schemes

This module explains the inner workings of commitment schemes.

kzg10_docs

In this module we show how, and why, the KZG10 polynomial commitment scheme has been implemented for this PLONK implementation.

prove_verify

This module contains the notes on how the prover algorithm is constructed for PLONK.

snark_construction

This module contains the methodology of how zk-SNARKS are constructed.