Difference between revisions of "Glossary"
Jump to navigation
Jump to search
| Line 2: | Line 2: | ||
== Glossary == | == Glossary == | ||
| + | <ul> | ||
* [[Zap]] | * [[Zap]] | ||
* [[SNARK]] | * [[SNARK]] | ||
| Line 48: | Line 49: | ||
* [[SXDH assumption]] | * [[SXDH assumption]] | ||
* [[Sum-Check Protocol]] | * [[Sum-Check Protocol]] | ||
| + | </ul> | ||
Revision as of 06:39, 18 October 2020
In the zk world, there are many terms and definitions that might not be familiar to the uninitiated reader. This introduces a large hurdle for those interested in this exploding field. This Glossary attempts to bridge that gap.
Glossary
- Zap
- SNARK
- STARK
- BulletProof
- Pedersen Commitment
- Homomorphic encryption
- Arthur-Merlin Games
- Sigma Protocol
- Yao's Millionaire Problem
- Fiat-Shamir Heuristic
- Random Oracle Model
- Public Coin Protocols
- Private Coin Protocols
- Non Interactive Zero Knowledge Proofs (NIZK)
- Standard model
- Common Reference String
- Statistical Soundness
- Computational Soundness
- SNARG
- ECRH
- Promise Problem
- Statistical Difference
- Witness indistinguishability
- Bilinear Pairing
- Completeness
- Auxillary Input ZK
- Twist Security
- Weil pairing
- Miller's Algorithm
- QAP
- QSP
- SSP
- Progression Free Sets
- LIP
- Generic Group Model
- Type 1 Bilinear Group
- Type 2 Bilinear Group
- Type 3 Bilinear Group
- NILP
- Paillier Encryption
- Algebraic Group Model
- Knowledge of Exponent Assumption
- Preprocessing SNARK
- Computation Commitments
- SXDH assumption
- Sum-Check Protocol
