An approximate introduction to how zk-SNARKs are possible
August 27, 2022•385 words
An approximate introduction to how zk-SNARKs are possible
zk-SNARKs ("zero knowledge succinct arguments of knowledge").
A zk-SNARK allows you to generate a proof that some computation has some particular output, in such a way that the proof can be verified extremely quickly even if the underlying computation takes a very long time to run.
The "ZK" ("zero knowledge") part adds an additional feature: the proof can keep some of the inputs to the computation hidden.
In the context of blockchain...
Read post