Ou: Automating the Parallelization of Zero-Knowledge Protocols

Y Sang, N Luo, S Judson, B Chaimberg… - Proceedings of the …, 2023 - dl.acm.org
A zero-knowledge proof (ZKP) is a powerful cryptographic primitive used in many
decentralized or privacy-focused applications. However, the high overhead of ZKPs can …

zksk: A library for composable zero-knowledge proofs

W Lueks, B Kulynych, J Fasquelle… - Proceedings of the 18th …, 2019 - dl.acm.org
Zero-knowledge proofs are an essential building block in many privacy-preserving systems.
However, implementing these proofs is tedious and error-prone. In this paper, we present …

Advances in Zero-Knowledge Proofs: Bridging the Gap between Theory and Practices

T Xie - 2023 - escholarship.org
This dissertation presents a series of novel zero-knowledge proof (ZKP) protocols—Libra,
deVirgo, Orion, and Pianist—each achieving significant improvements in proof generation …

Pianist: Scalable zkrollups via fully distributed zero-knowledge proofs

T Liu, T Xie, J Zhang, D Song, Y Zhang - Cryptology ePrint Archive, 2023 - eprint.iacr.org
In the past decade, blockchains have seen various financial and technological innovations,
with cryptocurrencies reaching a market cap of over 1 trillion dollars. However, scalability is …

Scalable Verification of Zero-Knowledge Protocols

M Isabel, C Rodríguez-Núñez, A Rubio - 2024 IEEE Symposium on …, 2024 - computer.org
Abstract The application of Zero-Knowledge (ZK) proofs is rapidly growing in the industry
and has become a key element to enable privacy and enhance scalability in public …

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 …

{ZØ}: An optimizing distributing {Zero-Knowledge} compiler

M Fredrikson, B Livshits - 23rd USENIX Security Symposium (USENIX …, 2014 - usenix.org
Traditionally, confidentiality and integrity have been two desirable design goals that are
have been dicult to combine. Zero-Knowledge Proofs of Knowledge (ZKPK) offer a rigorous …

[PDF][PDF] {ZKPDL}: A {Language-Based} system for efficient {Zero-Knowledge} proofs and electronic cash

CC Erway, A Küpçü, T Hinkle… - 19th USENIX Security …, 2010 - usenix.org
In recent years, many advances have been made in cryptography, as well as in the
performance of communication networks and processors. As a result, many advanced …

Automatic generation of sound zero-knowledge protocols

E Bangerter, J Camenisch, S Krenn… - Cryptology ePrint …, 2008 - eprint.iacr.org
Efficient zero-knowledge proofs of knowledge (ZK-PoK) are basic building blocks of many
practical cryptographic applications such as identification schemes, group signatures, and …

How to prove any NP statement jointly? Efficient Distributed-prover Zero-Knowledge Protocols

P Dayama, A Patra, P Paul, N Singh… - Proceedings on …, 2022 - petsymposium.org
Traditional zero-knowledge protocols have been studied and optimized for the setting where
a single prover holds the complete witness and tries to convince a verifier about a predicate …