Benedikt Bünz

According to our database, Benedikt Bünz authored at least 43 papers between 2015 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2025

zkPHIRE: A Programmable Accelerator for ZKPs over HIgh-degRee, Expressive Gates.

Alhad Daftardar, Jianqiao Mo, Joey Ah-kiow, Benedikt Bünz, Siddharth Garg, Brandon Reagen

CoRR, August, 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, July, 2025

IronDict: Transparent Dictionaries from Polynomial Commitments.

Hossein Hafezi, Alireza Shirzad, Benedikt Bünz, Joseph Bonneau

IACR Cryptol. ePrint Arch., 2025

Golden: Lightweight Non-Interactive Distributed Key Generation.

Benedikt Bünz, Kevin Choi, Chelsea Komlo

IACR Cryptol. ePrint Arch., 2025

Linear-Time Accumulation Schemes.

Benedikt Bünz, Alessandro Chiesa, Giacomo Fenzi, William Wang

IACR Cryptol. ePrint Arch., 2025

Linear*-Time Permutation Check.

Benedikt Bünz, Jessica Chen, Zachary DeStefano

IACR Cryptol. ePrint Arch., 2025

Context-Dependent Threshold Decryption and its Applications.

Dan Boneh, Benedikt Bünz, Kartik Nayak, Lior Rotem, Victor Shoup

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

Proceedings of the 52nd Annual International Symposium on Computer Architecture, 2025

Accumulation Without Homomorphism.

Benedikt Bünz, Pratyush Mishra, Wilson Nguyen, William Wang

Proceedings of the 16th Innovations in Theoretical Computer Science Conference, 2025

Good Things Come to Those Who Wait - Dishonest-Majority Coin-Flipping Requires Delay Functions.

Joseph Bonneau, Benedikt Bünz, Miranda Christ, Yuval Efron

Proceedings of the Advances in Cryptology - EUROCRYPT 2025, 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

Proceedings of the Advances in Cryptology - CRYPTO 2025, 2025

Arc: Accumulation for Reed-Solomon Codes.

Benedikt Bünz, Pratyush Mishra, Wilson Nguyen, William Wang

Proceedings of the Advances in Cryptology - CRYPTO 2025, 2025

KZH-Fold: Accountable Voting from Sublinear Accumulation.

George Kadianakis, Arantxa Zapico, Hossein Hafezi, Benedikt Bünz

Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, 2025

How Much Public Randomness Do Modern Consensus Protocols Need?

Joseph Bonneau, Benedikt Bünz, Miranda Christ, Yuval Efron

Proceedings of the 7th Conference on Advances in Financial Technologies, 2025

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, Dahlia Malkhi, Kartik Nayak, Keyao Shen, Alex Luoyuan Xiong, Nathan Yospe

IACR Cryptol. ePrint Arch., 2024

A Survey of Two Verifiable Delay Functions Using Proof of Exponentiation.

Dan Boneh, Benedikt Bünz, Ben Fisch

IACR Commun. Cryptol., 2024

Proofs for Deep Thought: Accumulation for Large Memories and Deterministic Computations.

Benedikt Bünz, Jessica Chen

Proceedings of the Advances in Cryptology - ASIACRYPT 2024, 2024

2023

VeriZexe: Decentralized Private Computation with Universal Setup.

Alex Luoyuan Xiong, Binyi Chen, Zhenfei Zhang, Benedikt Bünz, Ben Fisch, Fernando Krell, Philippe Camacho

Proceedings of the 32nd USENIX Security Symposium, 2023

Multilinear Schwartz-Zippel Mod N and Lattice-Based Succinct Arguments.

Benedikt Bünz, Ben Fisch

Proceedings of the Theory of Cryptography - 21st International Conference, 2023

HyperPlonk: Plonk with Linear-Time Prover and High-Degree Custom Gates.

Binyi Chen, Benedikt Bünz, Dan Boneh, Zhenfei Zhang

Proceedings of the Advances in Cryptology - EUROCRYPT 2023, 2023

Threshold Signatures from Inner Product Argument: Succinct, Weighted, and Multi-threshold.

Sourav Das, Philippe Camacho, Zhuolun Xiang, Javier Nieto, Benedikt Bünz, Ling Ren

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

Protostar: Generic Efficient Accumulation/Folding for Special-Sound Protocols.

Benedikt Bünz, Binyi Chen

Proceedings of the Advances in Cryptology - ASIACRYPT 2023, 2023

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

Schwartz-Zippel for multilinear polynomials mod N.

Benedikt Bünz, Ben Fisch

IACR Cryptol. ePrint Arch., 2022

2021

Non-Interactive Differentially Anonymous Router.

Benedikt Bünz, Yuncong Hu, Shin'ichiro Matsuo, Elaine Shi

IACR Cryptol. ePrint Arch., 2021

Proof-Carrying Data Without Succinct Arguments.

Benedikt Bünz, Alessandro Chiesa, William Lin, Pratyush Mishra, Nicholas Spooner

Proceedings of the Advances in Cryptology - CRYPTO 2021, 2021

Proofs for Inner Pairing Products and Applications.

Benedikt Bünz, Mary Maller, Pratyush Mishra, Nirvan Tyagi, Psi Vesely

Proceedings of the Advances in Cryptology - ASIACRYPT 2021, 2021

2020

Computing Bayes-Nash Equilibria in Combinatorial Auctions with Verification.

Vitor Bosshard, Benedikt Bünz, Benjamin Lubin, Sven Seuken

J. Artif. Intell. Res., 2020

Proof-Carrying Data from Accumulation Schemes.

Benedikt Bünz, Alessandro Chiesa, Pratyush Mishra, Nicholas Spooner

IACR Cryptol. ePrint Arch., 2020

Recursive Proof Composition from Accumulation Schemes.

Benedikt Bünz, Alessandro Chiesa, Pratyush Mishra, Nicholas Spooner

Proceedings of the Theory of Cryptography - 18th International Conference, 2020

FlyClient: Super-Light Clients for Cryptocurrencies.

Benedikt Bünz, Lucianna Kiffer, Loi Luu, Mahdi Zamani

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

Zether: Towards Privacy in a Smart Contract World.

Benedikt Bünz, Shashank Agrawal, Mahdi Zamani, Dan Boneh

Proceedings of the Financial Cryptography and Data Security, 2020

Transparent SNARKs from DARK Compilers.

Benedikt Bünz, Ben Fisch, Alan Szepieniec

Proceedings of the Advances in Cryptology - EUROCRYPT 2020, 2020

2019

Learning a SAT Solver from Single-Bit Supervision.

Daniel Selsam, Matthew Lamm, Benedikt Bünz, Percy Liang, Leonardo de Moura, David L. Dill

Proceedings of the 7th International Conference on Learning Representations, 2019

Batching Techniques for Accumulators with Applications to IOPs and Stateless Blockchains.

Dan Boneh, Benedikt Bünz, Ben Fisch

Proceedings of the Advances in Cryptology - CRYPTO 2019, 2019

2018

A Survey of Two Verifiable Delay Functions.

Dan Boneh, Benedikt Bünz, Ben Fisch

IACR Cryptol. ePrint Arch., 2018

Bulletproofs: Short Proofs for Confidential Transactions and More.

Benedikt Bünz, Jonathan Bootle, Dan Boneh, Andrew Poelstra, Pieter Wuille, Gregory Maxwell

Proceedings of the 2018 IEEE Symposium on Security and Privacy, 2018

Designing Core-selecting Payment Rules: A Computational Search Approach.

Benedikt Bünz, Benjamin Lubin, Sven Seuken

Proceedings of the 2018 ACM Conference on Economics and Computation, 2018

Verifiable Delay Functions.

Dan Boneh, Joseph Bonneau, Benedikt Bünz, Ben Fisch

Proceedings of the Advances in Cryptology - CRYPTO 2018, 2018

2017

Graph Neural Networks and Boolean Satisfiability.

Benedikt Bünz, Matthew Lamm

CoRR, 2017

Computing Bayes-Nash Equilibria in Combinatorial Auctions with Continuous Value and Action Spaces.

Vitor Bosshard, Benedikt Bünz, Benjamin Lubin, Sven Seuken

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2015

Provisions: Privacy-preserving Proofs of Solvency for Bitcoin Exchanges.

Gaby G. Dagher, Benedikt Bünz, Joseph Bonneau, Jeremy Clark, Dan Boneh

Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

A Faster Core Constraint Generation Algorithm for Combinatorial Auctions.

Benedikt Bünz, Sven Seuken, Benjamin Lubin

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015