A Faster Core Constraint Generation Algorithm for Combinatorial Auctions. - Benedikt Bünz; Sven Seuken; Benjamin Lubin (AAAI, 2015)

Provisions: Privacy-preserving proofs of solvency for Bitcoin exchanges. - Gaby G. Dagher; Benedikt Bünz; Joseph Bonneau; Jeremy Clark; Dan Boneh (IACR Cryptol. ePrint Arch., 2015)

Computing Bayes-Nash Equilibria in Combinatorial Auctions with Continuous Value and Action Spaces. - Vitor Bosshard; Benedikt Bünz; Benjamin Lubin; Sven Seuken (IJCAI, 2017)

Graph Neural Networks and Boolean Satisfiability. - Benedikt Bünz; Matthew Lamm (CoRR, 2017)

Bulletproofs: Short Proofs for Confidential Transactions and More. - Benedikt Bünz; Jonathan Bootle; Dan Boneh; Andrew Poelstra; Pieter Wuille; Gregory Maxwell (IACR Cryptol. ePrint Arch., 2017)

Verifiable Delay Functions. - Dan Boneh; Joseph Bonneau; Benedikt Bünz; Ben Fisch (IACR Cryptol. ePrint Arch., 2018)

A Survey of Two Verifiable Delay Functions. - Dan Boneh; Benedikt Bünz; Ben Fisch (IACR Cryptol. ePrint Arch., 2018)

Batching Techniques for Accumulators with Applications to IOPs and Stateless Blockchains. - Dan Boneh; Benedikt Bünz; Ben Fisch (IACR Cryptol. ePrint Arch., 2018)

Learning a SAT Solver from Single-Bit Supervision. - Daniel Selsam; Matthew Lamm; Benedikt Bünz; Percy Liang; Leonardo de Moura 001; David L. Dill (ICLR (Poster), 2019)

Zether: Towards Privacy in a Smart Contract World. - Benedikt Bünz; Shashank Agrawal; Mahdi Zamani; Dan Boneh (IACR Cryptol. ePrint Arch., 2019)

Transparent SNARKs from DARK Compilers. - Benedikt Bünz; Ben Fisch; Alan Szepieniec (IACR Cryptol. ePrint Arch., 2019)

Flyclient: Super-Light Clients for Cryptocurrencies. - Benedikt Bünz; Lucianna Kiffer; Loi Luu; Mahdi Zamani (IACR Cryptol. ePrint Arch., 2019)

Recursive Proof Composition from Accumulation Schemes. - Benedikt Bünz; Alessandro Chiesa; Pratyush Mishra; Nicholas Spooner (TCC (2), 2020)

Proof-Carrying Data without Succinct Arguments. - Benedikt Bünz; Alessandro Chiesa; William Lin; Pratyush Mishra; Nicholas Spooner (IACR Cryptol. ePrint Arch., 2020)

Proof-Carrying Data from Accumulation Schemes. - Benedikt Bünz; Alessandro Chiesa; Pratyush Mishra; Nicholas Spooner (IACR Cryptol. ePrint Arch., 2020)

Computing Bayes-Nash Equilibria in Combinatorial Auctions with Verification. - Vitor Bosshard; Benedikt Bünz; Benjamin Lubin; Sven Seuken (J. Artif. Intell. Res., 2020)

Proofs for Inner Pairing Products and Applications. - Benedikt Bünz; Mary Maller; Pratyush Mishra; Nirvan Tyagi; Psi Vesely (ASIACRYPT (3), 2021)

Non-Interactive Differentially Anonymous Router. - Benedikt Bünz; Yuncong Hu; Shin'ichiro Matsuo; Elaine Shi (IACR Cryptol. ePrint Arch., 2021)

Schwartz-Zippel for multilinear polynomials mod N. - Benedikt Bünz; Ben Fisch (IACR Cryptol. ePrint Arch., 2022)

HyperPlonk: Plonk with Linear-Time Prover and High-Degree Custom Gates. - Binyi Chen; Benedikt Bünz; Dan Boneh; Zhenfei Zhang (IACR Cryptol. ePrint Arch., 2022)

VERI-ZEXE: Decentralized Private Computation with Universal Setup. - Alex Luoyuan Xiong; Binyi Chen; Zhenfei Zhang; Benedikt Bünz; Ben Fisch; Fernando Krell; Philippe Camacho (IACR Cryptol. ePrint Arch., 2022)

Designing Core-Selecting Payment Rules: A Computational Search Approach. - Benedikt Bünz; Benjamin Lubin; Sven Seuken (Inf. Syst. Res., 2022)

Multilinear Schwartz-Zippel Mod N and Lattice-Based Succinct Arguments. - Benedikt Bünz; Ben Fisch (TCC (3), 2023)

VeriZexe: Decentralized Private Computation with Universal Setup. - Alex Luoyuan Xiong; Binyi Chen; Zhenfei Zhang; Benedikt Bünz; Ben Fisch; Fernando Krell; Philippe Camacho (USENIX Security Symposium, 2023)

ProtoStar: Generic Efficient Accumulation/Folding for Special Sound Protocols. - Benedikt Bünz; Binyi Chen (IACR Cryptol. ePrint Arch., 2023)

Threshold Signatures from Inner Product Argument: Succinct, Weighted, and Multi-threshold. - Sourav Das 001; Philippe Camacho; Zhuolun Xiang; Javier Nieto; Benedikt Bünz; Ling Ren 001 (IACR Cryptol. ePrint Arch., 2023)

A Survey of Two Verifiable Delay Functions Using Proof of Exponentiation. - Dan Boneh; Benedikt Bünz; Ben Fisch (IACR Commun. Cryptol., 2024)

The Espresso Sequencing Network: HotShot Consensus, Tiramisu Data-Availability, and Builder-Exchange. - Jeb Bearer; Benedikt Bünz; Philippe Camacho; Binyi Chen; Ellie Davidson; Ben Fisch; Brendon Fish; Gus Gutoski; Fernando Krell; Chengyu Lin 006; Dahlia Malkhi; Kartik Nayak; et al. (IACR Cryptol. ePrint Arch., 2024)

Good things come to those who wait: Dishonest-Majority Coin-Flipping Requires Delay Functions. - Joseph Bonneau; Benedikt Bünz; Miranda Christ; Yuval Efron (IACR Cryptol. ePrint Arch., 2024)

How Much Public Randomness Do Modern Consensus Protocols Need? - Joseph Bonneau; Benedikt Bünz; Miranda Christ; Yuval Efron (IACR Cryptol. ePrint Arch., 2024)

Proofs for Deep Thought: Accumulation for large memories and deterministic computations. - Benedikt Bünz; Jessica Chen (IACR Cryptol. ePrint Arch., 2024)

Accumulation without Homomorphism. - Benedikt Bünz; Pratyush Mishra; Wilson Nguyen; William Wang (IACR Cryptol. ePrint Arch., 2024)

Arc: Accumulation for Reed-Solomon Codes. - Benedikt Bünz; Pratyush Mishra; Wilson Nguyen; William Wang (IACR Cryptol. ePrint Arch., 2024)

Context-Dependent Threshold Decryption and its Applications. - Dan Boneh; Benedikt Bünz; Kartik Nayak; Lior Rotem; Victor Shoup (IACR Cryptol. ePrint Arch., 2025)

Linear-Time Accumulation Schemes. - Benedikt Bünz; Alessandro Chiesa; Giacomo Fenzi; William Wang (IACR Cryptol. ePrint Arch., 2025)

DewTwo: a transparent PCS with quasi-linear prover, logarithmic verifier and 4.5KB proofs from falsifiable assumptions. - Benedikt Bünz; Tushar Mopuri; Alireza Shirzad; Sriram Sridhar 001 (IACR Cryptol. ePrint Arch., 2025)

Need for zkSpeed: Accelerating HyperPlonk for Zero-Knowledge Proofs. - Alhad Daftardar; Jianqiao Mo; Joey Ah-kiow; Benedikt Bünz; Ramesh Karri; Siddharth Garg; Brandon Reagen (IACR Cryptol. ePrint Arch., 2025)

KZH-Fold: Accountable Voting from Sublinear Accumulation. - George Kadianakis; Arantxa Zapico; Hossein Hafezi; Benedikt Bünz (IACR Cryptol. ePrint Arch., 2025)

MTU: The Multifunction Tree Unit in zkSpeed for Accelerating HyperPlonk. - Jianqiao Mo; Alhad Daftardar; Joey Ah-kiow; Kaiyue Guo; Benedikt Bünz; Siddharth Garg; Brandon Reagen (CoRR, 2025)