Crypto Summaries
Search
Search
Search
Dark mode
Light mode
Explorer
Books
Circle STARKs - notes from a seminar in Stateless Consensus EF
Proofs, Arguments, and Zero-Knowledge
Concepts
Commitment Schemes
Inner-pairing-product commitment
Pedersen Commitment
Facts & Lemmas
Schwartz-Zippel Lemma
Folding Schemes
Nova
Fundamental Concepts
Error-correcting code
Low Degree and Multilinear Extensions
Polynomial Commitment Schemes
Bulletproofs
Commitment to a Linear function
Dory
FRI
Generalized Pedersen Commitment
Hyrax
KZG
Ligero and Brakedown Polynomial Commitments
Linear-size Pedersen Polynomial Commitment
Spark
Tensor Product Structure in Polynomial Evaluation Queries
Protocols
linear PCPs
GGPR
Lookup Arguments
Halo2 Lookup Argument
Lasso
LogUp & cq
multivariate
GKR
Multivariate Sum-Check Protocol
Multivariate Zero Check Protocol
Reducing Multiple Evaluations to One
Spartan
Super-Efficient IP for Matrix Multiplication
univariate
Univariate Sum-Check Protocol
Univariate Zero-Check Protocol
Offline Memory Checking
Permutation Check via Product Check
Schnorr's Σ-Protocol for knowledge of discrete logarithm
Papers
Brakedown - Linear-time and field-agnostic SNARKs for R1CS
Ceno - Non-uniform, Segment and Parallel Zero-knowledge Virtual Machine
cq - Cached quotients for fast lookups
Improving logarithmic derivative lookups using GKR
Multivariate lookups based on logarithmic derivatives
Unlocking the lookup singularity with Lasso
Readme
Home
❯
Papers
Folder: Papers
6 items under this folder.
Jan 27, 2025
Improving logarithmic derivative lookups using GKR
Jan 27, 2025
Multivariate lookups based on logarithmic derivatives
Jan 27, 2025
Unlocking the lookup singularity with Lasso
Jan 27, 2025
cq - Cached quotients for fast lookups
Jan 27, 2025
Brakedown - Linear-time and field-agnostic SNARKs for R1CS
Jan 27, 2025
Ceno - Non-uniform, Segment and Parallel Zero-knowledge Virtual Machine