Groth 16: A linear PCP based Snark
Jan 5, 2024 · 5 min read · 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...
Join discussion
