Papers

Testudo: Linear Time Prover SNARKs with Constant Size Proofs and Square Root Size Universal Setup

Witness Encryption for Succinct Functional Commitments and Applications

Curve Trees: Practical and Transparent Zero-Knowledge Accumulators

Structure-Preserving Compilers from New Notions of Obfuscations

Linear-map Vector Commitments and their Practical Applications

On the Impossibility of Algebraic Vector Commitments in Pairing-Free Groups

Impossibilities in Succinct Arguments: Black-box Extraction and More

Caulk: Lookup Arguments in Sublinear Time

Witness-Authenticated Key Exchange Revisited: Improved Models, Simpler Constructions, Extensions to Groups

Zero-Knowledge for Homomorphic Key-Value Commitments with Applications to Privacy-Preserving Ledgers

Succinct Zero-Knowledge Batch Proofs for Set Accumulators

Encryption to the Future: A Paradigm for Sending Secret Messages to Future (Anonymous) Committees

MyOPE: Malicious securitY for Oblivious Polynomial Evaluation

Count Me In! Extendability for Threshold Ring Signatures

ECLIPSE: Enhanced Compiling method for Pedersen-committed zkSNARK Engines

SnarkPack: Practical SNARK Aggregation

What Makes Fiat--Shamir zkSNARKs (Updatable SRS) Simulation Extractable?

Veksel: Simple, Efficient, Anonymous Payments with Large Anonymity Sets from Well-Studied Assumptions

Rinocchio: SNARKs for Ring Arithmetic

Subversion-resilient enhanced privacy ID

Single Secret Leader Election

Incrementally Aggregatable Vector Commitments and Applications to Verifiable Decentralized Storage

PLONK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge