Glossary

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