Ariel Gabizon

84 papers A* 6A 5B 2C 1Journal 57Unranked 12
YearRankTypeTitle / Venue / Authors
2025 J jnl
A note on the soundness of an optimized gemini variant.
IACR Cryptol. ePrint Arch.
Ariel Gabizon, Nishat Koti
2025 J jnl
Baloo: Algebraic Lookup Arguments.
IACR Commun. Cryptol.
Arantxa Zapico, Ariel Gabizon, Dmitry Khovratovich, Mary Maller, Carla Ràfols
2025 J jnl
MERCURY: A multilinear Polynomial Commitment Scheme with constant proof size and no prover FFTs.
IACR Cryptol. ePrint Arch.
Liam Eagen, Ariel Gabizon
2025 J jnl
Revisiting the IPA-sumcheck connection.
IACR Cryptol. ePrint Arch.
Liam Eagen, Ariel Gabizon
2024 J jnl
Stackproofs: Private proofs of stack and contract execution using Protogalaxy.
IACR Cryptol. ePrint Arch.
Liam Eagen, Ariel Gabizon, Marek Sefranek, Patrick Towa, Zachary J. Williamson
2023 J jnl
ProtoGalaxy: Efficient ProtoStar-style folding of multiple instances.
IACR Cryptol. ePrint Arch.
Liam Eagen, Ariel Gabizon
2023 J jnl
cqlin: Efficient linear operations on KZG commitments with cached quotients.
IACR Cryptol. ePrint Arch.
Liam Eagen, Ariel Gabizon
2022 J jnl
Baloo: Nearly Optimal Lookup Arguments.
IACR Cryptol. ePrint Arch.
Arantxa Zapico, Ariel Gabizon, Dmitry Khovratovich, Mary Maller, Carla Ràfols
2022 — conf
Plumo: An Ultralight Blockchain Client.
Financial Cryptography
Psi Vesely, Kobi Gurkan, Michael Straka, Ariel Gabizon, Philipp Jovanovic, Georgios Konstantopoulos, Asa Oines, Marek Olszewski, Eran Tromer
2022 J jnl
cq: Cached quotients for fast lookups.
IACR Cryptol. ePrint Arch.
Liam Eagen, Dario Fiore, Ariel Gabizon
2022 J jnl
flookup: Fractional decomposition-based lookups in quasi-linear time independent of table size.
IACR Cryptol. ePrint Arch.
Ariel Gabizon, Dmitry Khovratovich
2021 — conf
Halo Infinite: Proof-Carrying Data from Additive Polynomial Commitments.
CRYPTO (1)
Dan Boneh, Justin Drake, Ben Fisch, Ariel Gabizon
2021 J jnl
Plumo: An Ultralight Blockchain Client.
IACR Cryptol. ePrint Arch.
Psi Vesely, Kobi Gurkan, Michael Straka, Ariel Gabizon, Philipp Jovanovic, Georgios Konstantopoulos, Asa Oines, Marek Olszewski, Eran Tromer
2021 J jnl
fflonk: a Fast-Fourier inspired verifier efficient version of PlonK.
IACR Cryptol. ePrint Arch.
Ariel Gabizon, Zachary J. Williamson
2020 J jnl
Efficient polynomial commitment schemes for multiple points and polynomials.
IACR Cryptol. ePrint Arch.
Dan Boneh, Justin Drake, Ben Fisch, Ariel Gabizon
2020 J jnl
Halo Infinite: Recursive zk-SNARKs from any Additive Polynomial Commitment Scheme.
IACR Cryptol. ePrint Arch.
Dan Boneh, Justin Drake, Ben Fisch, Ariel Gabizon
2020 J jnl
plookup: A simplified polynomial protocol for lookup tables.
IACR Cryptol. ePrint Arch.
Ariel Gabizon, Zachary J. Williamson
2019 J jnl
Improved prover efficiency and SRS size in a Sonic-like system.
IACR Cryptol. ePrint Arch.
Ariel Gabizon
2019 J jnl
On the efficiency of pairing-based proofs under the d-PKE.
IACR Cryptol. ePrint Arch.
Ariel Gabizon
2019 J jnl
On the security of the BCTV Pinocchio zk-SNARK variant.
IACR Cryptol. ePrint Arch.
Ariel Gabizon
2019 J jnl
PLONK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge.
IACR Cryptol. ePrint Arch.
Ariel Gabizon, Zachary J. Williamson, Oana Ciobotaru
2019 J jnl
Twenty (Short) Questions.
Comb.
Yuval Dagan, Yuval Filmus, Ariel Gabizon, Shay Moran
2018 — conf
A Multi-party Protocol for Constructing the Public Parameters of the Pinocchio zk-SNARK.
Financial Cryptography Workshops
Sean Bowe, Ariel Gabizon, Matthew D. Green
2018 J jnl
Making Groth's zk-SNARK Simulation Extractable in the Random Oracle Model.
IACR Cryptol. ePrint Arch.
Sean Bowe, Ariel Gabizon
2017 J jnl
A multi-party protocol for constructing the public parameters of the Pinocchio zk-SNARK.
IACR Cryptol. ePrint Arch.
Sean Bowe, Ariel Gabizon, Matthew D. Green
2017 C conf
Almost Optimal Cover-Free Families.
CIAC
Nader H. Bshouty, Ariel Gabizon
2017 — conf
Computational Integrity with a Public Random String from Quasi-Linear PCPs.
EUROCRYPT (3)
Eli Ben-Sasson, Iddo Bentov, Alessandro Chiesa, Ariel Gabizon, Daniel Genkin, Matan Hamilis, Evgenya Pergament, Michael Riabzev, Mark Silberstein, Eran Tromer, Madars Virza
2017 A* conf
Interactive Oracle Proofs with Constant Rate and Query Complexity.
ICALP
Eli Ben-Sasson, Alessandro Chiesa, Ariel Gabizon, Michael Riabzev, Nicholas Spooner
2017 J jnl
Scalable Multi-party Computation for zk-SNARK Parameters in the Random Beacon Model.
IACR Cryptol. ePrint Arch.
Sean Bowe, Ariel Gabizon, Ian Miers
2017 A* conf
Twenty (simple) questions.
STOC
Yuval Dagan, Yuval Filmus, Ariel Gabizon, Shay Moran
2017 — conf
Zero Knowledge Protocols from Succinct Constraint Detection.
TCC (2)
Eli Ben-Sasson, Alessandro Chiesa, Michael A. Forbes, Ariel Gabizon, Michael Riabzev, Nicholas Spooner
2016 J jnl
A security analysis of Probabilistically Checkable Proofs.
Electron. Colloquium Comput. Complex.
Eli Ben-Sasson, Iddo Bentov, Ariel Gabizon, Michael Riabzev
2016 J jnl
Bitcoin Beacon.
CoRR
Iddo Bentov, Ariel Gabizon, David Zuckerman
2016 J jnl
Computational integrity with a public random string from quasi-linear PCPs.
IACR Cryptol. ePrint Arch.
Eli Ben-Sasson, Iddo Bentov, Alessandro Chiesa, Ariel Gabizon, Daniel Genkin, Matan Hamilis, Evgenya Pergament, Michael Riabzev, Mark Silberstein, Eran Tromer, Madars Virza
2016 — conf
Cryptocurrencies Without Proof of Work.
Financial Cryptography Workshops
Iddo Bentov, Ariel Gabizon, Alex Mizrahi
2016 A conf
Distribution Design.
ITCS
Amos Beimel, Ariel Gabizon, Yuval Ishai, Eyal Kushilevitz
2016 J jnl
Improved concrete efficiency and security analysis of Reed-Solomon PCPPs.
Electron. Colloquium Comput. Complex.
Eli Ben-Sasson, Iddo Bentov, Ariel Gabizon, Michael Riabzev
2016 J jnl
On Probabilistic Checking in Perfect Zero Knowledge.
CoRR
Eli Ben-Sasson, Alessandro Chiesa, Michael A. Forbes, Ariel Gabizon, Michael Riabzev, Nicholas Spooner
2016 J jnl
On Probabilistic Checking in Perfect Zero Knowledge.
Electron. Colloquium Comput. Complex.
Eli Ben-Sasson, Alessandro Chiesa, Michael A. Forbes, Ariel Gabizon, Michael Riabzev, Nicholas Spooner
2016 J jnl
On Probabilistic Checking in Perfect Zero Knowledge.
IACR Cryptol. ePrint Arch.
Eli Ben-Sasson, Alessandro Chiesa, Michael A. Forbes, Ariel Gabizon, Michael Riabzev, Nicholas Spooner
2016 — conf
Quasi-Linear Size Zero Knowledge from Linear-Algebraic PCPs.
TCC (A2)
Eli Ben-Sasson, Alessandro Chiesa, Ariel Gabizon, Madars Virza
2016 J jnl
Quasi-Linear Size Zero Knowledge from Linear-Algebraic PCPs.
Electron. Colloquium Comput. Complex.
Eli Ben-Sasson, Alessandro Chiesa, Ariel Gabizon, Madars Virza
2016 J jnl
Quasi-Linear Size Zero Knowledge from Linear-Algebraic PCPs.
IACR Cryptol. ePrint Arch.
Eli Ben-Sasson, Alessandro Chiesa, Ariel Gabizon, Madars Virza
2016 J jnl
Short Interactive Oracle Proofs with Constant Query Complexity, via Composition and Sumcheck.
Electron. Colloquium Comput. Complex.
Eli Ben-Sasson, Alessandro Chiesa, Ariel Gabizon, Michael Riabzev, Nicholas Spooner
2016 J jnl
Short Interactive Oracle Proofs with Constant Query Complexity, via Composition and Sumcheck.
IACR Cryptol. ePrint Arch.
Eli Ben-Sasson, Alessandro Chiesa, Ariel Gabizon, Michael Riabzev, Nicholas Spooner
2016 J jnl
Subspace Polynomials and Cyclic Subspace Codes.
IEEE Trans. Inf. Theory
Eli Ben-Sasson, Tuvi Etzion, Ariel Gabizon, Netanel Raviv
2016 J jnl
The k-distinct language: Parameterized automata constructions.
Theor. Comput. Sci.
Ran Ben-Basat, Ariel Gabizon, Meirav Zehavi
2016 J jnl
Twenty (simple) questions.
CoRR
Yuval Dagan, Yuval Filmus, Ariel Gabizon, Shay Moran
2015 J jnl
Almost Optimal Cover-Free Families.
CoRR
Nader H. Bshouty, Ariel Gabizon
2015 A conf
Deterministic Extractors for Additive Sources: Extended Abstract.
ITCS
Abhishek Bhowmick, Ariel Gabizon, Thái Hoàng Lê, David Zuckerman
2015 A conf
Fast Algorithms for Parameterized Problems with Relaxed Disjointness Constraints.
ESA
Ariel Gabizon, Daniel Lokshtanov, Michal Pilipczuk
2015 B conf
Subspace polynomials and cyclic subspace codes.
ISIT
Eli Ben-Sasson, Tuvi Etzion, Ariel Gabizon, Netanel Raviv
2014 J jnl
Cryptocurrencies without Proof of Work.
CoRR
Iddo Bentov, Ariel Gabizon, Alex Mizrahi
2014 J jnl
Deterministic Extractors for Additive Sources.
CoRR
Abhishek Bhowmick, Ariel Gabizon, Thái Hoàng Lê, David Zuckerman
2014 — conf
Non-Interactive Secure Multiparty Computation.
CRYPTO (2)
Amos Beimel, Ariel Gabizon, Yuval Ishai, Eyal Kushilevitz, Sigurd Meldgaard, Anat Paskin-Cherniavsky
2014 J jnl
Non-Interactive Secure Multiparty Computation.
IACR Cryptol. ePrint Arch.
Amos Beimel, Ariel Gabizon, Yuval Ishai, Eyal Kushilevitz, Sigurd Meldgaard, Anat Paskin-Cherniavsky
2014 J jnl
On
Electron. Colloquium Comput. Complex.
Hasan Abasi, Nader H. Bshouty, Ariel Gabizon, Elad Haramaty
2014 — conf
On r-Simple k-Path.
MFCS (2)
Hasan Abasi, Nader H. Bshouty, Ariel Gabizon, Elad Haramaty
2014 J jnl
Relations between automata and the simple k-path problem.
CoRR
Ran Ben-Basat, Ariel Gabizon
2014 J jnl
Representative sets for multisets.
CoRR
Ariel Gabizon, Daniel Lokshtanov, Michal Pilipczuk
2014 J jnl
Subspace Polynomials and Cyclic Subspace Codes.
CoRR
Eli Ben-Sasson, Tuvi Etzion, Ariel Gabizon, Netanel Raviv
2014 B conf
The k -Distinct Language: Parameterized Automata Constructions.
IPEC
Ran Ben-Basat, Ariel Gabizon, Meirav Zehavi
2013 A* conf
A new family of locally correctable codes based on degree-lifted algebraic geometry codes.
STOC
Eli Ben-Sasson, Ariel Gabizon, Yohay Kaplan, Swastik Kopparty, Shubhangi Saraf
2013 J jnl
Extractors for Polynomial Sources over Fields of Constant Order and Small Characteristic.
Theory Comput.
Eli Ben-Sasson, Ariel Gabizon
2013 J jnl
On $r$-Simple $k$-Path.
CoRR
Hasan Abasi, Nader H. Bshouty, Ariel Gabizon, Elad Haramaty
2012 J jnl
A new family of locally correctable codes based on degree-lifted algebraic geometry codes.
Electron. Colloquium Comput. Complex.
Eli Ben-Sasson, Ariel Gabizon, Yohay Kaplan, Swastik Kopparty, Shubhangi Saraf
2012 — conf
Extractors for Polynomials Sources over Constant-Size Fields of Small Characteristic.
APPROX-RANDOM
Eli Ben-Sasson, Ariel Gabizon
2012 J jnl
Increasing the output length of zero-error dispersers.
Random Struct. Algorithms
Ariel Gabizon, Ronen Shaltiel
2012 — conf
Invertible Zero-Error Dispersers and Defective Memory with Stuck-At Errors.
APPROX-RANDOM
Ariel Gabizon, Ronen Shaltiel
2011 — book
Deterministic Extraction from Weak Random Sources
Ariel Gabizon
2011 J jnl
Extractors for Polynomials Sources over Constant-Size Fields of Small Characteristic.
Electron. Colloquium Comput. Complex.
Eli Ben-Sasson, Ariel Gabizon
2010 A conf
Derandomizing Algorithms on Product Distributions and Other Applications of Order-Based Extraction.
ICS
Ariel Gabizon, Avinatan Hassidim
2010 A conf
Simple Affine Extractors Using Dimension Expansion.
CCC
Matt DeVos, Ariel Gabizon
2009 J jnl
Extractors And Rank Extractors For Polynomial Sources.
Comput. Complex.
Zeev Dvir, Ariel Gabizon, Avi Wigderson
2009 J jnl
Simple Affine Extractors using Dimension Expansion.
Electron. Colloquium Comput. Complex.
Matt DeVos, Ariel Gabizon
2008 J jnl
Deterministic extractors for affine sources over large fields.
Comb.
Ariel Gabizon, Ran Raz
2008 — conf
Increasing the Output Length of Zero-Error Dispersers.
APPROX-RANDOM
Ariel Gabizon, Ronen Shaltiel
2007 A* conf
Extractors and Rank Extractors for Polynomial Sources.
FOCS
Zeev Dvir, Ariel Gabizon, Avi Wigderson
2007 J jnl
Extractors and Rank Extractors for Polynomial Sources.
Electron. Colloquium Comput. Complex.
Zeev Dvir, Ariel Gabizon, Avi Wigderson
2006 J jnl
Deterministic Extractors for Bit-Fixing Sources by Obtaining an Independent Seed.
SIAM J. Comput.
Ariel Gabizon, Ran Raz, Ronen Shaltiel
2005 J jnl
Deterministic Extractors for Affine Sources over Large Fields
Electron. Colloquium Comput. Complex.
Ariel Gabizon, Ran Raz
2005 A* conf
Deterministic Extractors for Affine Sources over Large Fields.
FOCS
Ariel Gabizon, Ran Raz
2005 J jnl
Deterministic Extractors for Bit-fixing Sources by Obtaining an Independent Seed
Electron. Colloquium Comput. Complex.
Ariel Gabizon, Ran Raz, Ronen Shaltiel
2004 A* conf
Deterministic Extractors for Bit-Fixing Sources by Obtaining an Independent Seed.
FOCS
Ariel Gabizon, Ran Raz, Ronen Shaltiel