KiloNova: Non-Uniform PCD with Zero-Knowledge Property from Generic Folding Schemes

zk-Bench: A Toolset for Comparative Evaluation and Performance Benchmarking of SNARKs

Efficient Lattice-based Sublinear Arguments for R1CS without Aborts

Power circuits: a new arithmetization for GKR-styled sumcheck

An Efficient ZK Compiler from SIMD Circuits to General Circuits

Blind signatures from Zero knowledge in the Kummer variety

Lookup Arguments: Improvements, Extensions and Applications to Zero-Knowledge Decision Trees

Unclonable Commitments and Proofs

Unclonable Non-Interactive Zero-Knowledge

Oblivious issuance of proofs

Multi-Theorem Fiat-Shamir Transform from Correlation-Intractable Hash Functions

Family of embedded curves for BLS

On Sigma-Protocols and (packed) Black-Box Secret Sharing Schemes

Commitments from Quantum One-Wayness

How to Prove Statements Obliviously?

The Uber-Knowledge Assumption: A Bridge to the AGM

Boomy: Batch Opening Of Multivariate polYnomial commitment

Algebraic Group Model with Oblivious Sampling

Threshold Computation in the Head: Improved Framework for Post-Quantum Signatures and Zero-Knowledge Arguments

Arithmetization Oriented Encryption

Security Bounds for Proof-Carrying Data from Straightline Extractors

Polynomial IOPs for Memory Consistency Checks in Zero-Knowledge Virtual Machines