The privacy concern in smart contract applications continues to grow, leading to the
proposal of various schemes aimed at developing comprehensive and universally …

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 …

Zero-knowledge proofs (ZKPs) have evolved from being a theoretical concept providing
privacy and verifiability to having practical, real-world implementations, with SNARKs …

Cryptographic applications often require proving statements about hidden secrets satisfying
certain circuit relations. Moreover, these proofs must often be generated obliviously, ie …

Abstract Zero-Knowledge Proof (ZKP) technology marks a revolutionary advancement in the
field of cryptography, enabling the verification of certain information ownership without …

The use of zero-knowledge Succinct Non-Interactive Arguments of Knowledge (zk-SNARK)
and similar types of proofs has become increasingly popular as a solution for improving …

Restricting access to certified users is not only desirable for many blockchain applications, it
is also legally mandated for decentralized finance (DeFi) applications to counter malicious …

We consider how to design an anonymous data collection protocol that enforces compliance
rules. Imagine that each client contributes multiple data items (eg, votes, location crumbs, or …

With the growing adoption of cloud computing, the ability to store data and delegate
computations to powerful and affordable cloud servers have become advantageous for both …

Abstract Collaborative zk-SNARK (USENIX'22) allows multiple parties to jointly create a zk-
SNARK proof over distributed secrets (also known as the witness). It provides a promising …