Mathematics¶
Description¶
Notes emphasising mathematical constructs: group theory, polynomial algebra, finite fields, number theory, and other mathematical tools underpinning ZKPs.
Entries tagged¶
- AIR — Algebraic Intermediate Representation
- Algebraic Methods for Interactive Proof Systems
- Fast Probabilistic Algorithms for Verification of Polynomial Identities
- FRI
- Interactive Proof Model (IP)
- On Σ-protocols
- Pedersen Commitments
- PLONKish Arithmetization
- Proof Systems for General Statements about Discrete Logarithms
- Proposal: ∑-protocols
- Proving in ZK that a Number Is the Product of Two Safe Primes
- R1CS — Rank-1 Constraint System
- Schwartz-Zippel Lemma
- Sumcheck Protocol
- ZKAttest