zk-SNARKs: A Gentle Introduction. Nitulescu, A.
abstract   bibtex   
Zero-Knowledge Succinct Non-interactive Arguments of Knowledge (zk-SNARKs) are non-interactive systems with short proofs (i.e., independent of the size of the witness) that enable verifying NP computations with substantially lower complexity than that required for classical NP verification. This is a short, gentle introduction to zk-SNARKs. It recalls some important advancements in the history of proof systems in cryptography following the evolution of the soundness notion, from first interactive proof systems to arguments of knowledge.
@article{nitulescu_zk-snarks_nodate,
	title = {zk-{SNARKs}: {A} {Gentle} {Introduction}},
	abstract = {Zero-Knowledge Succinct Non-interactive Arguments of Knowledge (zk-SNARKs) are non-interactive systems with short proofs (i.e., independent of the size of the witness) that enable verifying NP computations with substantially lower complexity than that required for classical NP verification. This is a short, gentle introduction to zk-SNARKs. It recalls some important advancements in the history of proof systems in cryptography following the evolution of the soundness notion, from first interactive proof systems to arguments of knowledge.},
	language = {en},
	author = {Nitulescu, Anca},
	pages = {50},
}

Downloads: 0