Member-only story
Unlock the Secrets of ZK-SNARKs
Zero-Knowledge Succinct Non-Interactive Argument of Knowledge.
ZK-SNARKs are a powerful cryptographic tool that can be used to increase privacy, speed and efficiency in blockchain applications.
This proof is made possible using a secret key created before the transaction takes place.
The mathematical basis of ZK-SNARKS is complex. But proofs of this type allow one party to demonstrate not only that a particular bit of information exists, but also that the party in question has awareness of that information.
A zero-knowledge proof version of this situation would involve the user demonstrating to the network via mathematical proof, that they have the correct password without actually revealing the password itself.
The privacy and security advantages in this situation are clear.
If the network does not have the password stored somewhere for verification purposes, the password cannot be stolen.
For most other types of proof, at least one of the two parties must have access to all of the information.
A traditional proof can be compared to a password used to access an online network. The user submits the password and the network itself checks the contents of the password to verify that it is correct.
In order to do this, the network must also have access to the contents of the password.
ZK-SNARKS made easy:
- Zero-knowledge: A verifier can validate the integrity of a statement without knowing anything else about the statement. The only knowledge the verifier has of the statement is whether it is true or false.
- Succinct: The zero-knowledge proof is smaller than the witness and can be verified quickly.
- Non-interactive: The proof is “non-interactive” because the prover and verifier only interact once, unlike interactive proofs that require multiple rounds of communication.
- Argument: The proof satisfies the “soundness”…