Due to the popularity of blockchain-based cryptocurrencies, the increasing digitalization of
payments, and the constantly reducing role of cash in society, central banks have shown an …

Federated learning may be subject to both global aggregation attacks and distributed
poisoning attacks. Blockchain technology along with incentive and penalty mechanisms …

Zero-knowledge middleboxes (ZKMBs) are a recent paradigm in which clients get privacy
and middleboxes enforce policy: clients prove in zero knowledge that the plaintext …

Bulletproofs (Bünz et al. IEEE S&P 2018) are a celebrated ZK proof system that allows for
short and efficient proofs, and have been implemented and deployed in several real-world …

This paper initiates research on zero-knowledge middleboxes (ZKMBs). A ZKMB is a
network middlebox that enforces network usage policies on encrypted traffic. Clients send …

Today, digital identity management for individuals is either inconvenient and error-prone or
creates undesirable lock-in effects and violates privacy and security expectations. These …

As ML models have increased in capabilities and accuracy, so has the complexity of their
deployments. Increasingly, ML model consumers are turning to service providers to serve …

Succinct non-interactive arguments of knowledge (SNARKs) enable non-interactive efficient
verification of NP computations and admit short proofs. However, all current SNARK …

Due to the simplicity and performance of zk-SNARKs they are widely used in real-world
cryptographic protocols, including blockchain and smart contract systems. Simulation …

Today's most compact zero-knowledge arguments are based on the hardness of the discrete
logarithm problem and related classical assumptions. If one is interested in quantum-safe …