Groth 16: A linear PCP based Snark
Prerequisites:
Understanding of what QAP is and how to create one from R1CS.
Group theory understandings
Bilinear Pairings
Probabilistic Checkable Proofs ( PCP )
What is a PCP:
Prover generates a PCP oracle, which can be thought of as a big mes...
blog.privacyprophet.xyz5 min read