Enabling zero knowledge proof by accelerating zk-SNARK kernels on GPU

N Ni, Y Zhu - Journal of Parallel and Distributed Computing, 2023 - Elsevier
As a recent cryptography protocol, Zero-Knowledge Succinct Non-Interactive Argument of
Knowledge (zk-SNARK) allows one party to prove that it possesses certain information …

Gzkp: A gpu accelerated zero-knowledge proof system

W Ma, Q Xiong, X Shi, X Ma, H Jin, H Kuang… - Proceedings of the 28th …, 2023 - dl.acm.org
Zero-knowledge proof (ZKP) is a cryptographic protocol that allows one party to prove the
correctness of a statement to another party without revealing any information beyond the …

{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 …

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 …

Cuzk: Accelerating zero-knowledge proof with a faster parallel multi-scalar multiplication algorithm on gpus

T Lu, C Wei, R Yu, C Chen, W Fang, L Wang… - Cryptology ePrint …, 2022 - eprint.iacr.org
Zero-knowledge proof is a critical cryptographic primitive. Its most practical type, called zero-
knowledge Succinct Non-interactive ARgument of Knowledge (zkSNARK), has been …

Secure sampling of public parameters for succinct zero knowledge proofs

E Ben-Sasson, A Chiesa, M Green… - … IEEE Symposium on …, 2015 - ieeexplore.ieee.org
Non-interactive zero-knowledge proofs (NIZKs) are a powerful cryptographic tool, with
numerous potential applications. However, succinct NIZKs (eg, zk-SNARK schemes) …

Eos: Efficient Private Delegation of {zkSNARK} Provers

A Chiesa, R Lehmkuhl, P Mishra, Y Zhang - 32nd USENIX Security …, 2023 - usenix.org
Succinct zero knowledge proofs (ie zkSNARKs) are powerful cryptographic tools that enable
a prover to convince a verifier that a given statement is true without revealing any additional …

Do You Need a Zero Knowledge Proof?

J Ernstberger, S Chaliasos, L Zhou… - Cryptology ePrint …, 2024 - eprint.iacr.org
Abstract Zero-Knowledge Proofs (ZKPs), a cryptographic tool known for decades, have
gained significant attention in recent years due to advancements that have made them …

Doubly-efficient zkSNARKs without trusted setup

RS Wahby, I Tzialla, A Shelat, J Thaler… - … IEEE Symposium on …, 2018 - ieeexplore.ieee.org
We present a zero-knowledge argument for NP with low communication complexity, low
concrete cost for both the prover and the verifier, and no trusted setup, based on standard …

Scalable zero knowledge via cycles of elliptic curves

E Ben-Sasson, A Chiesa, E Tromer, M Virza - Algorithmica, 2017 - Springer
Non-interactive zero-knowledge proofs of knowledge for general NP statements are a
powerful cryptographic primitive, both in theory and in practical applications. Recently, much …