Do You Need a Zero Knowledge Proof?
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 …
gained significant attention in recent years due to advancements that have made them …
SoK: What don't we know? Understanding Security Vulnerabilities in SNARKs
S Chaliasos, J Ernstberger, D Theodore… - arXiv preprint arXiv …, 2024 - arxiv.org
Zero-knowledge proofs (ZKPs) have evolved from being a theoretical concept providing
privacy and verifiability to having practical, real-world implementations, with SNARKs …
privacy and verifiability to having practical, real-world implementations, with SNARKs …
Mechanism Design for ZK-Rollup Prover Markets
In ZK-Rollups, provers spend significant computational resources to generate validity proofs.
Their costs should be compensated properly, so a sustainable prover market can form over …
Their costs should be compensated properly, so a sustainable prover market can form over …
Zero-Knowledge Location Privacy via Accurate Floating Point SNARKs
J Ernstberger, C Zhang, L Ciprian, P Jovanovic… - arXiv preprint arXiv …, 2024 - arxiv.org
This paper introduces Zero-Knowledge Location Privacy (ZKLP), enabling users to prove to
third parties that they are within a specified geographical region while not disclosing their …
third parties that they are within a specified geographical region while not disclosing their …
How to Make Rational Arguments Practical and Extractable
We investigate proof systems where security holds against rational parties instead of
malicious ones. Our starting point is the notion of rational arguments, a variant of rational …
malicious ones. Our starting point is the notion of rational arguments, a variant of rational …
Analyzing and Benchmarking ZK-Rollups
S Chaliasos, I Reif, A Torralba-Agell… - Cryptology ePrint …, 2024 - eprint.iacr.org
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 …
has emerged as a critical issue. This challenge has spurred the creation of innovative …
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 …
have contributed to the increasing adoption of distributed systems. To collect relevant …
Assessing RISC Zero using ZKit: An Extensible Testing and Benchmarking Suite for ZKP Frameworks
R Bögli - 2024 - eprints.ost.ch
Zero-Knowledge Proofs (ZKPs) are cryptographic protocols designed to verify a statement
without disclosing any information beyond its boolean verification outcome. A prevalent use …
without disclosing any information beyond its boolean verification outcome. A prevalent use …
Origo: Proving provenance of sensitive data with constant communication
Abstract Transport Layer Security (TLS) is foundational for safeguarding client-server
communication. However, it does not extend integrity guarantees to third-party verification of …
communication. However, it does not extend integrity guarantees to third-party verification of …
Evaluating the Efficiency of zk-SNARK, zk-STARK, and Bulletproof in Real-World Scenarios: A Benchmark Study
M El-Hajj, BO Roelink - 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 …
applications and performance of zk-SNARK, zk-STARK, and Bulletproof Non-Interactive …