{SoK}: What Don't We Know? Understanding Security Vulnerabilities in {SNARKs}

S Chaliasos, J Ernstberger, D Theodore… - 33rd USENIX Security …, 2024 - usenix.org
Zero-knowledge proofs (ZKPs) have evolved from being a theoretical concept providing
privacy and verifiability to having practical, real-world implementations, with SNARKs …

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 …

[PDF][PDF] Evaluating the Efficiency of zk-SNARK, zk-STARK, and Bulletproof in Real-World Scenarios: A Benchmark Study

M El-Hajj, B Oude Roelink - Information, 2024 - preprints.org
This study builds on our previous Systematic Literature Review (SLR) that assessed the
applications and performance of zk-SNARK, zk-STARK, and Bulletproof Non-Interactive …

A Survey on the Applications of Zero-Knowledge Proofs

R Lavin, X Liu, H Mohanty, L Norman… - arxiv preprint arxiv …, 2024 - arxiv.org
Zero-knowledge proofs (ZKPs) represent a revolutionary advance in computational integrity
and privacy technology, enabling the secure and private exchange of information without …

Analyzing and benchmarking ZK-rollups

S Chaliasos, I Reif, A Torralba-Agell… - 6th Conference on …, 2024 - drops.dagstuhl.de
As blockchain technology continues to transform the realm of digital transactions, scalability
has emerged as a critical issue. This challenge has spurred the creation of innovative …

Sparrow: Space-Efficient zkSNARK for Data-Parallel Circuits and Applications to Zero-Knowledge Decision Trees

C Pappas, D Papadopoulos - Proceedings of the 2024 on ACM SIGSAC …, 2024 - dl.acm.org
Space-efficient SNARKs aim to reduce the prover's space overhead which is one the main
obstacles for deploying SNARKs in practice, as it can be prohibitively large (eg, orders of …

Zero-Knowledge Location Privacy via Accurate Floating-Point SNARKs

J Ernstberger, C Zhang, L Ciprian, P Jovanovic… - arxiv preprint arxiv …, 2024 - arxiv.org
We introduce Zero-Knowledge Location Privacy (ZKLP), enabling users to prove to third
parties that they are within a specified geographical region while not disclosing their exact …

Confidential Computing Proofs: An alternative to cryptographic zero-knowledge

M Russinovich, C Fournet, G Zaverucha, J Benaloh… - Queue, 2024 - dl.acm.org
Proofs are powerful tools for integrity and privacy, enabling the verifier to delegate a
computation and still verify its correct execution, and enabling the prover to keep the details …

NOPE: Strengthening domain authentication with succinct proofs

Z DeStefano, JJ Ma, J Bonneau, M Walfish - Proceedings of the ACM …, 2024 - dl.acm.org
Server authentication assures users that they are communicating with a server that
genuinely represents a claimed domain. Today, server authentication relies on certification …

Multilayer environment and toolchain for holistic network design and analysis

F Rezabek, K Glas, R Von Seck, A Aroua… - arxiv preprint arxiv …, 2023 - arxiv.org
The recent developments and research in distributed ledger technologies and blockchain
have contributed to the increasing adoption of distributed systems. To collect relevant …