This talk aims to give a high level overview of how and why quotients are used in ZK protocols. We cover some basics of polynomial commitments and polynomial algebra and then look in some detail at quotients in STARKs, DEEP, and KZG.

Presented by Paul Gafni for RISC Zero's Study Club

Slides: https://drive.google.com/file/d/1fXTe...

RISC Zero
Proof System Overview: https://www.risczero.com/docs/explain...
Github: https://github.com/Risc0
Discord:   / discord  
Twitter:   / risczero