Benedikt Bünz

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 42

Top Topics

Boolean Satisfiability

Nash Equilibria

Combinatorial Auctions

Top Venues

IACR Cryptol. ePrint Arch.

IEEE Symposium on Security and Privacy

Publications

Dan Boneh, Benedikt Bünz, Ben Fisch
A Survey of Two Verifiable Delay Functions Using Proof of Exponentiation. IACR Commun. Cryptol. 1 (1) (2024)
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
The Espresso Sequencing Network: HotShot Consensus, Tiramisu Data-Availability, and Builder-Exchange. IACR Cryptol. ePrint Arch. 2024 (2024)
Benedikt Bünz, Pratyush Mishra, Wilson Nguyen, William Wang
Accumulation without Homomorphism. IACR Cryptol. ePrint Arch. 2024 (2024)
Benedikt Bünz, Jessica Chen
Proofs for Deep Thought: Accumulation for large memories and deterministic computations. IACR Cryptol. ePrint Arch. 2024 (2024)
Sourav Das, Philippe Camacho, Zhuolun Xiang, Javier Nieto, Benedikt Bünz, Ling Ren
Threshold Signatures from Inner Product Argument: Succinct, Weighted, and Multi-threshold. IACR Cryptol. ePrint Arch. 2023 (2023)
Binyi Chen, Benedikt Bünz, Dan Boneh, Zhenfei Zhang
HyperPlonk: Plonk with Linear-Time Prover and High-Degree Custom Gates. EUROCRYPT (2) (2023)
Sourav Das, Philippe Camacho, Zhuolun Xiang, Javier Nieto, Benedikt Bünz, Ling Ren
Threshold Signatures from Inner Product Argument: Succinct, Weighted, and Multi-threshold. CCS (2023)
Alex Luoyuan Xiong, Binyi Chen, Zhenfei Zhang, Benedikt Bünz, Ben Fisch, Fernando Krell, Philippe Camacho
VeriZexe: Decentralized Private Computation with Universal Setup. USENIX Security Symposium (2023)
Benedikt Bünz, Binyi Chen
Protostar: Generic Efficient Accumulation/Folding for Special-Sound Protocols. ASIACRYPT (2) (2023)
Benedikt Bünz, Ben Fisch
Multilinear Schwartz-Zippel Mod N and Lattice-Based Succinct Arguments. TCC (3) (2023)
Benedikt Bünz, Binyi Chen
ProtoStar: Generic Efficient Accumulation/Folding for Special Sound Protocols. IACR Cryptol. ePrint Arch. 2023 (2023)
Benedikt Bünz, Benjamin Lubin, Sven Seuken
Designing Core-Selecting Payment Rules: A Computational Search Approach. Inf. Syst. Res. 33 (4) (2022)
Benedikt Bünz, Ben Fisch
Schwartz-Zippel for multilinear polynomials mod N. CoRR (2022)
Binyi Chen, Benedikt Bünz, Dan Boneh, Zhenfei Zhang
HyperPlonk: Plonk with Linear-Time Prover and High-Degree Custom Gates. IACR Cryptol. ePrint Arch. 2022 (2022)
Alex Luoyuan Xiong, Binyi Chen, Zhenfei Zhang, Benedikt Bünz, Ben Fisch, Fernando Krell, Philippe Camacho
VERI-ZEXE: Decentralized Private Computation with Universal Setup. IACR Cryptol. ePrint Arch. 2022 (2022)
Benedikt Bünz, Ben Fisch
Schwartz-Zippel for multilinear polynomials mod N. IACR Cryptol. ePrint Arch. 2022 (2022)
Benedikt Bünz, Mary Maller, Pratyush Mishra, Nirvan Tyagi, Psi Vesely
Proofs for Inner Pairing Products and Applications. ASIACRYPT (3) (2021)
Benedikt Bünz, Yuncong Hu, Shin'ichiro Matsuo, Elaine Shi
Non-Interactive Differentially Anonymous Router. IACR Cryptol. ePrint Arch. 2021 (2021)
Benedikt Bünz, Alessandro Chiesa, William Lin, Pratyush Mishra, Nicholas Spooner
Proof-Carrying Data Without Succinct Arguments. CRYPTO (1) (2021)
Benedikt Bünz, Alessandro Chiesa, Pratyush Mishra, Nicholas Spooner
Proof-Carrying Data from Accumulation Schemes. IACR Cryptol. ePrint Arch. 2020 (2020)
Benedikt Bünz, Ben Fisch, Alan Szepieniec
Transparent SNARKs from DARK Compilers. EUROCRYPT (1) (2020)
Benedikt Bünz, Alessandro Chiesa, William Lin, Pratyush Mishra, Nicholas Spooner
Proof-Carrying Data without Succinct Arguments. IACR Cryptol. ePrint Arch. 2020 (2020)
Benedikt Bünz, Alessandro Chiesa, Pratyush Mishra, Nicholas Spooner
Recursive Proof Composition from Accumulation Schemes. TCC (2) (2020)
Benedikt Bünz, Shashank Agrawal, Mahdi Zamani, Dan Boneh
Zether: Towards Privacy in a Smart Contract World. Financial Cryptography (2020)
Benedikt Bünz, Lucianna Kiffer, Loi Luu, Mahdi Zamani
FlyClient: Super-Light Clients for Cryptocurrencies. IEEE Symposium on Security and Privacy (2020)
Vitor Bosshard, Benedikt Bünz, Benjamin Lubin, Sven Seuken
Computing Bayes-Nash Equilibria in Combinatorial Auctions with Verification. J. Artif. Intell. Res. 69 (2020)
Dan Boneh, Benedikt Bünz, Ben Fisch
Batching Techniques for Accumulators with Applications to IOPs and Stateless Blockchains. CRYPTO (1) (2019)
Benedikt Bünz, Shashank Agrawal, Mahdi Zamani, Dan Boneh
Zether: Towards Privacy in a Smart Contract World. IACR Cryptol. ePrint Arch. 2019 (2019)
Daniel Selsam, Matthew Lamm, Benedikt Bünz, Percy Liang, Leonardo de Moura, David L. Dill
Learning a SAT Solver from Single-Bit Supervision. ICLR (Poster) (2019)
Benedikt Bünz, Lucianna Kiffer, Loi Luu, Mahdi Zamani
Flyclient: Super-Light Clients for Cryptocurrencies. IACR Cryptol. ePrint Arch. 2019 (2019)
Benedikt Bünz, Ben Fisch, Alan Szepieniec
Transparent SNARKs from DARK Compilers. IACR Cryptol. ePrint Arch. 2019 (2019)
Benedikt Bünz, Jonathan Bootle, Dan Boneh, Andrew Poelstra, Pieter Wuille, Gregory Maxwell
Bulletproofs: Short Proofs for Confidential Transactions and More. IEEE Symposium on Security and Privacy (2018)
Vitor Bosshard, Benedikt Bünz, Benjamin Lubin, Sven Seuken
Computing Bayes-Nash Equilibria in Combinatorial Auctions with Verification. CoRR (2018)
Dan Boneh, Joseph Bonneau, Benedikt Bünz, Ben Fisch
Verifiable Delay Functions. IACR Cryptol. ePrint Arch. 2018 (2018)
Dan Boneh, Benedikt Bünz, Ben Fisch
Batching Techniques for Accumulators with Applications to IOPs and Stateless Blockchains. IACR Cryptol. ePrint Arch. 2018 (2018)
Dan Boneh, Joseph Bonneau, Benedikt Bünz, Ben Fisch
Verifiable Delay Functions. CRYPTO (1) (2018)
Benedikt Bünz, Benjamin Lubin, Sven Seuken
Designing Core-selecting Payment Rules: A Computational Search Approach. EC (2018)
Daniel Selsam, Matthew Lamm, Benedikt Bünz, Percy Liang, Leonardo de Moura, David L. Dill
Learning a SAT Solver from Single-Bit Supervision. CoRR (2018)
Dan Boneh, Benedikt Bünz, Ben Fisch
A Survey of Two Verifiable Delay Functions. IACR Cryptol. ePrint Arch. 2018 (2018)
Vitor Bosshard, Benedikt Bünz, Benjamin Lubin, Sven Seuken
Computing Bayes-Nash Equilibria in Combinatorial Auctions with Continuous Value and Action Spaces. IJCAI (2017)
Benedikt Bünz, Jonathan Bootle, Dan Boneh, Andrew Poelstra, Pieter Wuille, Gregory Maxwell
Bulletproofs: Short Proofs for Confidential Transactions and More. IACR Cryptol. ePrint Arch. 2017 (2017)
Benedikt Bünz, Matthew Lamm
Graph Neural Networks and Boolean Satisfiability. CoRR (2017)
Benedikt Bünz, Sven Seuken, Benjamin Lubin
A Faster Core Constraint Generation Algorithm for Combinatorial Auctions. AAAI (2015)
Gaby G. Dagher, Benedikt Bünz, Joseph Bonneau, Jeremy Clark, Dan Boneh
Provisions: Privacy-preserving Proofs of Solvency for Bitcoin Exchanges. CCS (2015)
Gaby G. Dagher, Benedikt Bünz, Joseph Bonneau, Jeremy Clark, Dan Boneh
Provisions: Privacy-preserving proofs of solvency for Bitcoin exchanges. IACR Cryptol. ePrint Arch. 2015 (2015)