Ariel Gabizon

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 48

Top Topics

Query Complexity

Top Venues

IACR Cryptol. ePrint Arch.

Electron. Colloquium Comput. Complex.

Financial Cryptography Workshops

Publications

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