Skip to main content

Multi-Linear SNARKs

Definition

Multi-Linear SNARKs are a type of Zero-Knowledge Succinct Non-Interactive Argument of Knowledge that utilize multi-linear maps in their cryptographic construction. These advanced cryptographic proofs allow one party to verify the truth of a statement to another without revealing any specific information about the statement itself. The “multi-linear” aspect refers to the underlying mathematical properties that enhance the efficiency or expressiveness of these proofs. They are designed for verifiable computation with high degrees of privacy and compactness.