Zero knowledge Succinct Non-interactive Arguments of Knowledge (zkSNARK)¶
Definition¶
Types¶
IPs, MIPs, and PCPs/IOPs can all be transformed into succinct interactive arguments by combining them with a cryptographic primitive called a polynomial commitment scheme.
Transformations from linear PCPs to arguments are somewhat different, though closely related to certain polynomial commitment schemes.
The interactive arguments can then be rendered non-interactive and publicly verifiable by applying a cryptographic technique called the FiatShamir transformation