Benedikt Bünz

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

Collaborative distances:

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

2024

Accumulation without Homomorphism.

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

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

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

IACR Cryptol. ePrint Arch., 2023

ProtoStar: Generic Efficient Accumulation/Folding for Special Sound Protocols.

Benedikt Bünz, Binyi Chen

IACR Cryptol. ePrint Arch., 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

2022

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

Benedikt Bünz, Benjamin Lubin, Sven Seuken

Inf. Syst. Res., December, 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

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

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

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

Proof-Carrying Data without Succinct Arguments.

Benedikt Bünz, Alessandro Chiesa, William Lin, 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

2019

Flyclient: Super-Light Clients for Cryptocurrencies.

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

IACR Cryptol. ePrint Arch., 2019

Transparent SNARKs from DARK Compilers.

Benedikt Bünz, Ben Fisch, Alan Szepieniec

IACR Cryptol. ePrint Arch., 2019

Zether: Towards Privacy in a Smart Contract World.

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

IACR Cryptol. ePrint Arch., 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

2018

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

Dan Boneh, 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

Verifiable Delay Functions.

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

IACR Cryptol. ePrint Arch., 2018

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

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

IACR Cryptol. ePrint Arch., 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