Ariel Gabizon

According to our database, Ariel Gabizon authored at least 58 papers between 2004 and 2025.

Collaborative distances:

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

2025

A note on the soundness of an optimized gemini variant.

Ariel Gabizon, Nishat Koti

IACR Cryptol. ePrint Arch., 2025

Revisiting the IPA-sumcheck connection.

Liam Eagen, Ariel Gabizon

IACR Cryptol. ePrint Arch., 2025

MERCURY: A multilinear Polynomial Commitment Scheme with constant proof size and no prover FFTs.

Liam Eagen, Ariel Gabizon

IACR Cryptol. ePrint Arch., 2025

Baloo: Algebraic Lookup Arguments.

Arantxa Zapico, Ariel Gabizon, Dmitry Khovratovich, Mary Maller, Carla Ràfols

IACR Commun. Cryptol., 2025

2024

Stackproofs: Private proofs of stack and contract execution using Protogalaxy.

Liam Eagen, Ariel Gabizon, Marek Sefranek, Patrick Towa, Zachary J. Williamson

IACR Cryptol. ePrint Arch., 2024

2023

ProtoGalaxy: Efficient ProtoStar-style folding of multiple instances.

Liam Eagen, Ariel Gabizon

IACR Cryptol. ePrint Arch., 2023

cqlin: Efficient linear operations on KZG commitments with cached quotients.

Liam Eagen, Ariel Gabizon

IACR Cryptol. ePrint Arch., 2023

2022

Baloo: Nearly Optimal Lookup Arguments.

Arantxa Zapico, Ariel Gabizon, Dmitry Khovratovich, Mary Maller, Carla Ràfols

IACR Cryptol. ePrint Arch., 2022

flookup: Fractional decomposition-based lookups in quasi-linear time independent of table size.

Ariel Gabizon, Dmitry Khovratovich

IACR Cryptol. ePrint Arch., 2022

cq: Cached quotients for fast lookups.

Liam Eagen, Dario Fiore, Ariel Gabizon

IACR Cryptol. ePrint Arch., 2022

Plumo: An Ultralight Blockchain Client.

Psi Vesely, Kobi Gurkan, Michael Straka, Ariel Gabizon, Philipp Jovanovic, Georgios Konstantopoulos, Asa Oines, Marek Olszewski, Eran Tromer

Proceedings of the Financial Cryptography and Data Security, 2022

2021

fflonk: a Fast-Fourier inspired verifier efficient version of PlonK.

Ariel Gabizon, Zachary J. Williamson

IACR Cryptol. ePrint Arch., 2021

Halo Infinite: Proof-Carrying Data from Additive Polynomial Commitments.

Dan Boneh, Justin Drake, Ben Fisch, Ariel Gabizon

Proceedings of the Advances in Cryptology - CRYPTO 2021, 2021

2020

plookup: A simplified polynomial protocol for lookup tables.

Ariel Gabizon, Zachary J. Williamson

IACR Cryptol. ePrint Arch., 2020

Halo Infinite: Recursive zk-SNARKs from any Additive Polynomial Commitment Scheme.

Dan Boneh, Justin Drake, Ben Fisch, Ariel Gabizon

IACR Cryptol. ePrint Arch., 2020

Efficient polynomial commitment schemes for multiple points and polynomials.

Dan Boneh, Justin Drake, Ben Fisch, Ariel Gabizon

IACR Cryptol. ePrint Arch., 2020

2019

PLONK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge.

Ariel Gabizon, Zachary J. Williamson, Oana Ciobotaru

IACR Cryptol. ePrint Arch., 2019

Improved prover efficiency and SRS size in a Sonic-like system.

Ariel Gabizon

IACR Cryptol. ePrint Arch., 2019

On the efficiency of pairing-based proofs under the d-PKE.

Ariel Gabizon

IACR Cryptol. ePrint Arch., 2019

On the security of the BCTV Pinocchio zk-SNARK variant.

Ariel Gabizon

IACR Cryptol. ePrint Arch., 2019

Twenty (Short) Questions.

Yuval Dagan, Yuval Filmus, Ariel Gabizon, Shay Moran

Comb., 2019

2018

Making Groth's zk-SNARK Simulation Extractable in the Random Oracle Model.

Sean Bowe, Ariel Gabizon

IACR Cryptol. ePrint Arch., 2018

A Multi-party Protocol for Constructing the Public Parameters of the Pinocchio zk-SNARK.

Sean Bowe, Ariel Gabizon, Matthew D. Green

Proceedings of the Financial Cryptography and Data Security, 2018

2017

Scalable Multi-party Computation for zk-SNARK Parameters in the Random Beacon Model.

Sean Bowe, Ariel Gabizon, Ian Miers

IACR Cryptol. ePrint Arch., 2017

Zero Knowledge Protocols from Succinct Constraint Detection.

Eli Ben-Sasson, Alessandro Chiesa, Michael A. Forbes, Ariel Gabizon, Michael Riabzev, Nicholas Spooner

Proceedings of the Theory of Cryptography - 15th International Conference, 2017

Twenty (simple) questions.

Yuval Dagan, Yuval Filmus, Ariel Gabizon, Shay Moran

Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing, 2017

Interactive Oracle Proofs with Constant Rate and Query Complexity.

Eli Ben-Sasson, Alessandro Chiesa, Ariel Gabizon, Michael Riabzev, Nicholas Spooner

Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017

Computational Integrity with a Public Random String from Quasi-Linear PCPs.

Eli Ben-Sasson, Iddo Bentov, Alessandro Chiesa, Ariel Gabizon, Daniel Genkin, Matan Hamilis, Evgenya Pergament, Michael Riabzev, Mark Silberstein, Eran Tromer, Madars Virza

Proceedings of the Advances in Cryptology - EUROCRYPT 2017 - 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30, 2017

Almost Optimal Cover-Free Families.

Nader H. Bshouty, Ariel Gabizon

Proceedings of the Algorithms and Complexity - 10th International Conference, 2017

2016

Short Interactive Oracle Proofs with Constant Query Complexity, via Composition and Sumcheck.

Eli Ben-Sasson, Alessandro Chiesa, Ariel Gabizon, Michael Riabzev, Nicholas Spooner

Electron. Colloquium Comput. Complex., 2016

On Probabilistic Checking in Perfect Zero Knowledge.

Eli Ben-Sasson, Alessandro Chiesa, Michael A. Forbes, Ariel Gabizon, Michael Riabzev, Nicholas Spooner

Electron. Colloquium Comput. Complex., 2016

A security analysis of Probabilistically Checkable Proofs.

Eli Ben-Sasson, Iddo Bentov, Ariel Gabizon, Michael Riabzev

Electron. Colloquium Comput. Complex., 2016

Improved concrete efficiency and security analysis of Reed-Solomon PCPPs.

Eli Ben-Sasson, Iddo Bentov, Ariel Gabizon, Michael Riabzev

Electron. Colloquium Comput. Complex., 2016

Bitcoin Beacon.

Iddo Bentov, Ariel Gabizon, David Zuckerman

CoRR, 2016

Quasi-Linear Size Zero Knowledge from Linear-Algebraic PCPs.

Eli Ben-Sasson, Alessandro Chiesa, Ariel Gabizon, Madars Virza

Proceedings of the Theory of Cryptography - 13th International Conference, 2016

Distribution Design.

Amos Beimel, Ariel Gabizon, Yuval Ishai, Eyal Kushilevitz

Proceedings of the 2016 ACM Conference on Innovations in Theoretical Computer Science, 2016

Cryptocurrencies Without Proof of Work.

Iddo Bentov, Ariel Gabizon, Alex Mizrahi

Proceedings of the Financial Cryptography and Data Security, 2016

2015

Subspace polynomials and cyclic subspace codes.

Eli Ben-Sasson, Tuvi Etzion, Ariel Gabizon, Netanel Raviv

Proceedings of the IEEE International Symposium on Information Theory, 2015

Deterministic Extractors for Additive Sources: Extended Abstract.

Abhishek Bhowmick, Ariel Gabizon, Thái Hoàng Lê, David Zuckerman

Proceedings of the 2015 Conference on Innovations in Theoretical Computer Science, 2015

Fast Algorithms for Parameterized Problems with Relaxed Disjointness Constraints.

Ariel Gabizon, Daniel Lokshtanov, Michal Pilipczuk

Proceedings of the Algorithms - ESA 2015, 2015

2014

On <i>r</i>-Simple <i>k</i>-Path.

Hasan Abasi, Nader H. Bshouty, Ariel Gabizon, Elad Haramaty

Electron. Colloquium Comput. Complex., 2014

Representative sets for multisets.

Ariel Gabizon, Daniel Lokshtanov, Michal Pilipczuk

CoRR, 2014

Deterministic Extractors for Additive Sources.

Abhishek Bhowmick, Ariel Gabizon, Thái Hoàng Lê, David Zuckerman

CoRR, 2014

Relations between automata and the simple k-path problem.

Ran Ben-Basat, Ariel Gabizon

CoRR, 2014

On r-Simple k-Path.

Hasan Abasi, Nader H. Bshouty, Ariel Gabizon, Elad Haramaty

Proceedings of the Mathematical Foundations of Computer Science 2014, 2014

The k -Distinct Language: Parameterized Automata Constructions.

Ran Ben-Basat, Ariel Gabizon, Meirav Zehavi

Proceedings of the Parameterized and Exact Computation - 9th International Symposium, 2014

Non-Interactive Secure Multiparty Computation.

Amos Beimel, Ariel Gabizon, Yuval Ishai, Eyal Kushilevitz, Sigurd Meldgaard, Anat Paskin-Cherniavsky

Proceedings of the Advances in Cryptology - CRYPTO 2014, 2014

2013

Extractors for Polynomial Sources over Fields of Constant Order and Small Characteristic.

Eli Ben-Sasson, Ariel Gabizon

Theory Comput., 2013

A new family of locally correctable codes based on degree-lifted algebraic geometry codes.

Eli Ben-Sasson, Ariel Gabizon, Yohay Kaplan, Swastik Kopparty, Shubhangi Saraf

Proceedings of the Symposium on Theory of Computing Conference, 2013

2012

Invertible Zero-Error Dispersers and Defective Memory with Stuck-At Errors.

Ariel Gabizon, Ronen Shaltiel

Proceedings of the Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, 2012

Extractors for Polynomials Sources over Constant-Size Fields of Small Characteristic.

Eli Ben-Sasson, Ariel Gabizon

Proceedings of the Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, 2012

2011

Deterministic Extraction from Weak Random Sources

Ariel Gabizon

Monographs in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-642-14903-0, 2011

2010

Derandomizing Algorithms on Product Distributions and Other Applications of Order-Based Extraction.

Ariel Gabizon, Avinatan Hassidim

Proceedings of the Innovations in Computer Science, 2010

Simple Affine Extractors Using Dimension Expansion.

Matt DeVos, Ariel Gabizon

Proceedings of the 25th Annual IEEE Conference on Computational Complexity, 2010

2008

Increasing the Output Length of Zero-Error Dispersers.

Ariel Gabizon, Ronen Shaltiel

Proceedings of the Approximation, 2008

2007

Extractors and Rank Extractors for Polynomial Sources.

Zeev Dvir, Ariel Gabizon, Avi Wigderson

Proceedings of the 48th Annual IEEE Symposium on Foundations of Computer Science, 2007

2005

Deterministic Extractors for Affine Sources over Large Fields.

Ariel Gabizon, Ran Raz

Proceedings of the 46th Annual IEEE Symposium on Foundations of Computer Science, 2005

2004

Deterministic Extractors for Bit-Fixing Sources by Obtaining an Independent Seed.

Ariel Gabizon, Ran Raz, Ronen Shaltiel

Proceedings of the 45th Symposium on Foundations of Computer Science, 2004