[PDF][PDF] A review of zero knowledge proofs

T Chen, A Lu, J Kunpittaya, A Luo - 2021 - timroughgarden.github.io
In this review, we provide an overview of the technical progress and applications of zk-
SNARKs, zeroknowledge succinct non-interactive argument of knowledge. We give a …

{zkSaaS}:{Zero-Knowledge}{SNARKs} as a Service

S Garg, A Goel, A Jain, GV Policharla… - 32nd USENIX Security …, 2023 - usenix.org
A decade of active research has led to practical constructions of zero-knowledge succinct
non-interactive arguments of knowledge (zk-SNARKs) that are now being used in a wide …

Towards a zk-SNARK compiler for Wolfram language

A Cruz - arXiv preprint arXiv:2401.02935, 2024 - arxiv.org
Zero-knowledge proofs (zk-Proofs) are communication protocols by which a prover can
demonstrate to a verifier that it possesses a solution to a given public problem without …

A multi-party protocol for constructing the public parameters of the Pinocchio zk-SNARK

S Bowe, A Gabizon, MD Green - … and Data Security: FC 2018 International …, 2019 - Springer
Recent efficient constructions of zero-knowledge Succinct Non-interactive Arguments of
Knowledge (zk-SNARKs), require a setup phase in which a common-reference string (CRS) …

Prover-efficient commit-and-prove zero-knowledge SNARKs

H Lipmaa - International Journal of Applied Cryptography, 2017 - inderscienceonline.com
Succinct non-interactive zero-knowledge arguments of knowledge (Zk-SNARKs) are needed
in many applications. Unfortunately, all previous zk-SNARKs for interesting languages are …

Multi-Party proof generation in QAP-based zk-SNARKs

A Rahimi, MA Maddah-Ali - IEEE Journal on Selected Areas in …, 2021 - ieeexplore.ieee.org
Zero-knowledge succinct non-interactive argument of knowledge (zkSNARK) allows a party,
known as the prover, to convince another party, known as the verifier, that he knows a …

[PDF][PDF] Demonstrate how zero-knowledge proofs work without using maths

K Chalkias, M Hearn - CORDACON 2017 Conference, 2019 - researchgate.net
There are various good articles and examples trying to explain the logic behind Zero
Knowledge Proofs (ZKP). If you are not familiar with the concept, the notion of ZKP is that" a …

Prover-efficient commit-and-prove zero-knowledge SNARKs

H Lipmaa - Progress in Cryptology–AFRICACRYPT 2016: 8th …, 2016 - Springer
Zk-SNARKs (succinct non-interactive zero-knowledge arguments of knowledge) are needed
in many applications. Unfortunately, all previous zk-SNARKs for interesting languages are …

On a New, Efficient Framework for Falsifiable Non-interactive Zero-Knowledge Arguments

R Parisella - 2023 - bora.uib.no
A zero-knowledge proof is a protocol between a prover, and a verifier. The prover aims to
convince the verifier of the truth of some statement, such as possessing credentials for a …

Demystifying the Role of zk-SNARKs in Zcash

A Banerjee, M Clear, H Tewari - 2020 IEEE conference on …, 2020 - ieeexplore.ieee.org
Zero-knowledge proofs have always provided a clear solution when it comes to conveying
information from a prover to a verifier or vice versa without revealing essential information …