Crypto Summaries
Search
Search
Search
Dark mode
Light mode
Explorer
Books
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.
Sep 03, 2024
Brakedown - Linear-time and field-agnostic SNARKs for R1CS
Sep 03, 2024
Ceno - Non-uniform, Segment and Parallel Zero-knowledge Virtual Machine
Sep 03, 2024
Improving logarithmic derivative lookups using GKR
Sep 03, 2024
Multivariate lookups based on logarithmic derivatives
Sep 03, 2024
Unlocking the lookup singularity with Lasso
Sep 03, 2024
cq - Cached quotients for fast lookups