Benedikt Bünz

73 papers A* 11A 1B 1Journal 42Unranked 18
YearRankTypeTitle / Venue / Authors
2026 J jnl
WillowFold: Secure Aggregation with a Lightweight Committee.
IACR Cryptol. ePrint Arch.
Hossein Hafezi, Kasra Abbaszadeh, Adrià Gascón, Phillipp Schoppmann, Mariana Raykova, Benedikt Bünz
2026 A* conf
zkPHIRE: A Programmable Accelerator for ZKPs over HIgh-degRee, Expressive Gates.
HPCA
Alhad Daftardar, Jianqiao Mo, Joey Ah-kiow, Benedikt Bünz, Siddharth Garg, Brandon Reagen
2025 A conf
Accumulation Without Homomorphism.
ITCS
Benedikt Bünz, Pratyush Mishra, Wilson Nguyen, William Wang
2025 — conf
Arc: Accumulation for Reed-Solomon Codes.
CRYPTO (7)
Benedikt Bünz, Pratyush Mishra, Wilson Nguyen, William Wang
2025 — conf
Context-Dependent Threshold Decryption and Its Applications.
ASIACRYPT (6)
Dan Boneh, Benedikt Bünz, Kartik Nayak, Lior Rotem, Victor Shoup
2025 J jnl
Context-Dependent Threshold Decryption and its Applications.
IACR Cryptol. ePrint Arch.
Dan Boneh, Benedikt Bünz, Kartik Nayak, Lior Rotem, Victor Shoup
2025 — conf
DewTwo: A Transparent PCS with Quasi-Linear Prover, Logarithmic Verifier and 4.5KB Proofs from Falsifiable Assumptions.
CRYPTO (6)
Benedikt Bünz, Tushar Mopuri, Alireza Shirzad, Sriram Sridhar
2025 J jnl
DewTwo: a transparent PCS with quasi-linear prover, logarithmic verifier and 4.5KB proofs from falsifiable assumptions.
IACR Cryptol. ePrint Arch.
Benedikt Bünz, Tushar Mopuri, Alireza Shirzad, Sriram Sridhar
2025 J jnl
Golden: Lightweight Non-Interactive Distributed Key Generation.
IACR Cryptol. ePrint Arch.
Benedikt Bünz, Kevin Choi, Chelsea Komlo
2025 — conf
Good Things Come to Those Who Wait - Dishonest-Majority Coin-Flipping Requires Delay Functions.
EUROCRYPT (7)
Joseph Bonneau, Benedikt Bünz, Miranda Christ, Yuval Efron
2025 B conf
How Much Public Randomness Do Modern Consensus Protocols Need?
AFT
Joseph Bonneau, Benedikt Bünz, Miranda Christ, Yuval Efron
2025 J jnl
IronDict: Transparent Dictionaries from Polynomial Commitments.
IACR Cryptol. ePrint Arch.
Hossein Hafezi, Alireza Shirzad, Benedikt Bünz, Joseph Bonneau
2025 A* conf
KZH-Fold: Accountable Voting from Sublinear Accumulation.
CCS
George Kadianakis, Arantxa Zapico, Hossein Hafezi, Benedikt Bünz
2025 J jnl
KZH-Fold: Accountable Voting from Sublinear Accumulation.
IACR Cryptol. ePrint Arch.
George Kadianakis, Arantxa Zapico, Hossein Hafezi, Benedikt Bünz
2025 J jnl
Linear*-Time Permutation Check.
IACR Cryptol. ePrint Arch.
Benedikt Bünz, Jessica Chen, Zachary DeStefano
2025 — conf
Linear-Time Accumulation Schemes.
TCC (1)
Benedikt Bünz, Alessandro Chiesa, Giacomo Fenzi, William Wang
2025 J jnl
Linear-Time Accumulation Schemes.
IACR Cryptol. ePrint Arch.
Benedikt Bünz, Alessandro Chiesa, Giacomo Fenzi, William Wang
2025 — conf
MTU: The Multifunction Tree Unit for Accelerating Zero-Knowledge Proofs.
HASP@MICRO
Jianqiao Mo, Alhad Daftardar, Joey Ah-kiow, Kaiyue Guo, Benedikt Bünz, Siddharth Garg, Brandon Reagen
2025 J jnl
MTU: The Multifunction Tree Unit in zkSpeed for Accelerating HyperPlonk.
CoRR
Jianqiao Mo, Alhad Daftardar, Joey Ah-kiow, Kaiyue Guo, Benedikt Bünz, Siddharth Garg, Brandon Reagen
2025 A* conf
Need for zkSpeed: Accelerating HyperPlonk for Zero-Knowledge Proofs.
ISCA
Alhad Daftardar, Jianqiao Mo, Joey Ah-kiow, Benedikt Bünz, Ramesh Karri, Siddharth Garg, Brandon Reagen
2025 J jnl
Need for zkSpeed: Accelerating HyperPlonk for Zero-Knowledge Proofs.
CoRR
Alhad Daftardar, Jianqiao Mo, Joey Ah-kiow, Benedikt Bünz, Ramesh Karri, Siddharth Garg, Brandon Reagen
2025 J jnl
Need for zkSpeed: Accelerating HyperPlonk for Zero-Knowledge Proofs.
IACR Cryptol. ePrint Arch.
Alhad Daftardar, Jianqiao Mo, Joey Ah-kiow, Benedikt Bünz, Ramesh Karri, Siddharth Garg, Brandon Reagen
2025 J jnl
TensorSwitch: Nearly Optimal Polynomial Commitments from Tensor Codes.
IACR Cryptol. ePrint Arch.
Benedikt Bünz, Giacomo Fenzi, Ron D. Rothblum, William Wang
2025 J jnl
zkPHIRE: A Programmable Accelerator for ZKPs over HIgh-degRee, Expressive Gates.
CoRR
Alhad Daftardar, Jianqiao Mo, Joey Ah-kiow, Benedikt Bünz, Siddharth Garg, Brandon Reagen
2024 J jnl
A Survey of Two Verifiable Delay Functions Using Proof of Exponentiation.
IACR Commun. Cryptol.
Dan Boneh, Benedikt Bünz, Ben Fisch
2024 J jnl
Accumulation without Homomorphism.
IACR Cryptol. ePrint Arch.
Benedikt Bünz, Pratyush Mishra, Wilson Nguyen, William Wang
2024 J jnl
Arc: Accumulation for Reed-Solomon Codes.
IACR Cryptol. ePrint Arch.
Benedikt Bünz, Pratyush Mishra, Wilson Nguyen, William Wang
2024 J jnl
Good things come to those who wait: Dishonest-Majority Coin-Flipping Requires Delay Functions.
IACR Cryptol. ePrint Arch.
Joseph Bonneau, Benedikt Bünz, Miranda Christ, Yuval Efron
2024 J jnl
How Much Public Randomness Do Modern Consensus Protocols Need?
IACR Cryptol. ePrint Arch.
Joseph Bonneau, Benedikt Bünz, Miranda Christ, Yuval Efron
2024 — conf
Proofs for Deep Thought: Accumulation for Large Memories and Deterministic Computations.
ASIACRYPT (5)
Benedikt Bünz, Jessica Chen
2024 J jnl
Proofs for Deep Thought: Accumulation for large memories and deterministic computations.
IACR Cryptol. ePrint Arch.
Benedikt Bünz, Jessica Chen
2024 J jnl
The Espresso Sequencing Network: HotShot Consensus, Tiramisu Data-Availability, and Builder-Exchange.
IACR Cryptol. ePrint Arch.
Jeb Bearer, Benedikt Bünz, Philippe Camacho, Binyi Chen, Ellie Davidson, Ben Fisch, Brendon Fish, Gus Gutoski, Fernando Krell, Chengyu Lin, Dahlia Malkhi, Kartik Nayak, Keyao Shen, Alex Luoyuan Xiong, Nathan Yospe
2023 — conf
HyperPlonk: Plonk with Linear-Time Prover and High-Degree Custom Gates.
EUROCRYPT (2)
Binyi Chen, Benedikt Bünz, Dan Boneh, Zhenfei Zhang
2023 — conf
Multilinear Schwartz-Zippel Mod N and Lattice-Based Succinct Arguments.
TCC (3)
Benedikt Bünz, Ben Fisch
2023 J jnl
ProtoStar: Generic Efficient Accumulation/Folding for Special Sound Protocols.
IACR Cryptol. ePrint Arch.
Benedikt Bünz, Binyi Chen
2023 — conf
Protostar: Generic Efficient Accumulation/Folding for Special-Sound Protocols.
ASIACRYPT (2)
Benedikt Bünz, Binyi Chen
2023 A* conf
Threshold Signatures from Inner Product Argument: Succinct, Weighted, and Multi-threshold.
CCS
Sourav Das, Philippe Camacho, Zhuolun Xiang, Javier Nieto, Benedikt Bünz, Ling Ren
2023 J jnl
Threshold Signatures from Inner Product Argument: Succinct, Weighted, and Multi-threshold.
IACR Cryptol. ePrint Arch.
Sourav Das, Philippe Camacho, Zhuolun Xiang, Javier Nieto, Benedikt Bünz, Ling Ren
2023 A* conf
VeriZexe: Decentralized Private Computation with Universal Setup.
USENIX Security Symposium
Alex Luoyuan Xiong, Binyi Chen, Zhenfei Zhang, Benedikt Bünz, Ben Fisch, Fernando Krell, Philippe Camacho
2022 J jnl
Designing Core-Selecting Payment Rules: A Computational Search Approach.
Inf. Syst. Res.
Benedikt Bünz, Benjamin Lubin, Sven Seuken
2022 J jnl
HyperPlonk: Plonk with Linear-Time Prover and High-Degree Custom Gates.
IACR Cryptol. ePrint Arch.
Binyi Chen, Benedikt Bünz, Dan Boneh, Zhenfei Zhang
2022 J jnl
Schwartz-Zippel for multilinear polynomials mod N.
CoRR
Benedikt Bünz, Ben Fisch
2022 J jnl
Schwartz-Zippel for multilinear polynomials mod N.
IACR Cryptol. ePrint Arch.
Benedikt Bünz, Ben Fisch
2022 J jnl
VERI-ZEXE: Decentralized Private Computation with Universal Setup.
IACR Cryptol. ePrint Arch.
Alex Luoyuan Xiong, Binyi Chen, Zhenfei Zhang, Benedikt Bünz, Ben Fisch, Fernando Krell, Philippe Camacho
2021 J jnl
Non-Interactive Differentially Anonymous Router.
IACR Cryptol. ePrint Arch.
Benedikt Bünz, Yuncong Hu, Shin'ichiro Matsuo, Elaine Shi
2021 — conf
Proof-Carrying Data Without Succinct Arguments.
CRYPTO (1)
Benedikt Bünz, Alessandro Chiesa, William Lin, Pratyush Mishra, Nicholas Spooner
2021 — conf
Proofs for Inner Pairing Products and Applications.
ASIACRYPT (3)
Benedikt Bünz, Mary Maller, Pratyush Mishra, Nirvan Tyagi, Psi Vesely
2020 J jnl
Computing Bayes-Nash Equilibria in Combinatorial Auctions with Verification.
J. Artif. Intell. Res.
Vitor Bosshard, Benedikt Bünz, Benjamin Lubin, Sven Seuken
2020 A* conf
FlyClient: Super-Light Clients for Cryptocurrencies.
SP
Benedikt Bünz, Lucianna Kiffer, Loi Luu, Mahdi Zamani
2020 J jnl
Proof-Carrying Data from Accumulation Schemes.
IACR Cryptol. ePrint Arch.
Benedikt Bünz, Alessandro Chiesa, Pratyush Mishra, Nicholas Spooner
2020 J jnl
Proof-Carrying Data without Succinct Arguments.
IACR Cryptol. ePrint Arch.
Benedikt Bünz, Alessandro Chiesa, William Lin, Pratyush Mishra, Nicholas Spooner
2020 — conf
Recursive Proof Composition from Accumulation Schemes.
TCC (2)
Benedikt Bünz, Alessandro Chiesa, Pratyush Mishra, Nicholas Spooner
2020 — conf
Transparent SNARKs from DARK Compilers.
EUROCRYPT (1)
Benedikt Bünz, Ben Fisch, Alan Szepieniec
2020 — conf
Zether: Towards Privacy in a Smart Contract World.
Financial Cryptography
Benedikt Bünz, Shashank Agrawal, Mahdi Zamani, Dan Boneh
2019 — conf
Batching Techniques for Accumulators with Applications to IOPs and Stateless Blockchains.
CRYPTO (1)
Dan Boneh, Benedikt Bünz, Ben Fisch
2019 J jnl
Flyclient: Super-Light Clients for Cryptocurrencies.
IACR Cryptol. ePrint Arch.
Benedikt Bünz, Lucianna Kiffer, Loi Luu, Mahdi Zamani
2019 — conf
Learning a SAT Solver from Single-Bit Supervision.
ICLR (Poster)
Daniel Selsam, Matthew Lamm, Benedikt Bünz, Percy Liang, Leonardo de Moura, David L. Dill
2019 J jnl
Transparent SNARKs from DARK Compilers.
IACR Cryptol. ePrint Arch.
Benedikt Bünz, Ben Fisch, Alan Szepieniec
2019 J jnl
Zether: Towards Privacy in a Smart Contract World.
IACR Cryptol. ePrint Arch.
Benedikt Bünz, Shashank Agrawal, Mahdi Zamani, Dan Boneh
2018 J jnl
A Survey of Two Verifiable Delay Functions.
IACR Cryptol. ePrint Arch.
Dan Boneh, Benedikt Bünz, Ben Fisch
2018 J jnl
Batching Techniques for Accumulators with Applications to IOPs and Stateless Blockchains.
IACR Cryptol. ePrint Arch.
Dan Boneh, Benedikt Bünz, Ben Fisch
2018 A* conf
Bulletproofs: Short Proofs for Confidential Transactions and More.
IEEE Symposium on Security and Privacy
Benedikt Bünz, Jonathan Bootle, Dan Boneh, Andrew Poelstra, Pieter Wuille, Gregory Maxwell
2018 J jnl
Computing Bayes-Nash Equilibria in Combinatorial Auctions with Verification.
CoRR
Vitor Bosshard, Benedikt Bünz, Benjamin Lubin, Sven Seuken
2018 A* conf
Designing Core-selecting Payment Rules: A Computational Search Approach.
EC
Benedikt Bünz, Benjamin Lubin, Sven Seuken
2018 J jnl
Learning a SAT Solver from Single-Bit Supervision.
CoRR
Daniel Selsam, Matthew Lamm, Benedikt Bünz, Percy Liang, Leonardo de Moura, David L. Dill
2018 — conf
Verifiable Delay Functions.
CRYPTO (1)
Dan Boneh, Joseph Bonneau, Benedikt Bünz, Ben Fisch
2018 J jnl
Verifiable Delay Functions.
IACR Cryptol. ePrint Arch.
Dan Boneh, Joseph Bonneau, Benedikt Bünz, Ben Fisch
2017 J jnl
Bulletproofs: Short Proofs for Confidential Transactions and More.
IACR Cryptol. ePrint Arch.
Benedikt Bünz, Jonathan Bootle, Dan Boneh, Andrew Poelstra, Pieter Wuille, Gregory Maxwell
2017 A* conf
Computing Bayes-Nash Equilibria in Combinatorial Auctions with Continuous Value and Action Spaces.
IJCAI
Vitor Bosshard, Benedikt Bünz, Benjamin Lubin, Sven Seuken
2017 J jnl
Graph Neural Networks and Boolean Satisfiability.
CoRR
Benedikt Bünz, Matthew Lamm
2015 A* conf
A Faster Core Constraint Generation Algorithm for Combinatorial Auctions.
AAAI
Benedikt Bünz, Sven Seuken, Benjamin Lubin
2015 A* conf
Provisions: Privacy-preserving Proofs of Solvency for Bitcoin Exchanges.
CCS
Gaby G. Dagher, Benedikt Bünz, Joseph Bonneau, Jeremy Clark, Dan Boneh
2015 J jnl
Provisions: Privacy-preserving proofs of solvency for Bitcoin exchanges.
IACR Cryptol. ePrint Arch.
Gaby G. Dagher, Benedikt Bünz, Joseph Bonneau, Jeremy Clark, Dan Boneh