Deterministic Extractors for Affine Sources over Large Fields - Ariel Gabizon; Ran Raz (Electron. Colloquium Comput. Complex., 2005)

Deterministic Extractors for Bit-Fixing Sources by Obtaining an Independent Seed. - Ariel Gabizon; Ran Raz; Ronen Shaltiel (SIAM J. Comput., 2006)

Extractors And Rank Extractors For Polynomial Sources. - Zeev Dvir; Ariel Gabizon; Avi Wigderson (Comput. Complex., 2009)

Simple Affine Extractors using Dimension Expansion. - Matt DeVos; Ariel Gabizon (Electron. Colloquium Comput. Complex., 2009)

Derandomizing Algorithms on Product Distributions and Other Applications of Order-Based Extraction. - Ariel Gabizon; Avinatan Hassidim (ICS, 2010)

Extractors for Polynomials Sources over Constant-Size Fields of Small Characteristic. - Eli Ben-Sasson; Ariel Gabizon (Electron. Colloquium Comput. Complex., 2011)

Deterministic Extraction from Weak Random Sources - Ariel Gabizon (Springer, 2011)

Invertible Zero-Error Dispersers and Defective Memory with Stuck-At Errors. - Ariel Gabizon; Ronen Shaltiel (APPROX-RANDOM, 2012)

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 (Electron. Colloquium Comput. Complex., 2012)

Increasing the output length of zero-error dispersers. - Ariel Gabizon; Ronen Shaltiel (Random Struct. Algorithms, 2012)

Extractors for Polynomial Sources over Fields of Constant Order and Small Characteristic. - Eli Ben-Sasson; Ariel Gabizon (Theory Comput., 2013)

On r-Simple k-Path. - Hasan Abasi; Nader H. Bshouty; Ariel Gabizon; Elad Haramaty (MFCS (2), 2014)

Relations between automata and the simple k-path problem. - Ran Ben-Basat; Ariel Gabizon (CoRR, 2014)

Deterministic Extractors for Additive Sources. - Abhishek Bhowmick 001; Ariel Gabizon; Thái Hoàng Lê; David Zuckerman (CoRR, 2014)

Representative sets for multisets. - Ariel Gabizon; Daniel Lokshtanov; Michal Pilipczuk (CoRR, 2014)

On r-Simple k-Path. - Hasan Abasi; Nader H. Bshouty; Ariel Gabizon; Elad Haramaty (Electron. Colloquium Comput. Complex., 2014)

Non-Interactive Secure Multiparty Computation. - Amos Beimel; Ariel Gabizon; Yuval Ishai; Eyal Kushilevitz; Sigurd Meldgaard; Anat Paskin-Cherniavsky (IACR Cryptol. ePrint Arch., 2014)

Fast Algorithms for Parameterized Problems with Relaxed Disjointness Constraints. - Ariel Gabizon; Daniel Lokshtanov; Michal Pilipczuk (ESA, 2015)

Deterministic Extractors for Additive Sources: Extended Abstract. - Abhishek Bhowmick 001; Ariel Gabizon; Thái Hoàng Lê; David Zuckerman (ITCS, 2015)

Cryptocurrencies Without Proof of Work. - Iddo Bentov; Ariel Gabizon; Alex Mizrahi (Financial Cryptography Workshops, 2016)

Distribution Design. - Amos Beimel; Ariel Gabizon; Yuval Ishai; Eyal Kushilevitz (ITCS, 2016)

Bitcoin Beacon. - Iddo Bentov; Ariel Gabizon; David Zuckerman (CoRR, 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)

A security analysis of Probabilistically Checkable Proofs. - Eli Ben-Sasson; Iddo Bentov; Ariel Gabizon; Michael Riabzev (Electron. Colloquium Comput. Complex., 2016)

On Probabilistic Checking in Perfect Zero Knowledge. - Eli Ben-Sasson; Alessandro Chiesa; Michael A. Forbes 001; Ariel Gabizon; Michael Riabzev; Nicholas Spooner (Electron. Colloquium Comput. Complex., 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)

Quasi-Linear Size Zero Knowledge from Linear-Algebraic PCPs. - Eli Ben-Sasson; Alessandro Chiesa; Ariel Gabizon; Madars Virza (Electron. Colloquium Comput. Complex., 2016)

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

The k-distinct language: Parameterized automata constructions. - Ran Ben-Basat; Ariel Gabizon; Meirav Zehavi (Theor. Comput. Sci., 2016)

Subspace Polynomials and Cyclic Subspace Codes. - Eli Ben-Sasson; Tuvi Etzion; Ariel Gabizon; Netanel Raviv (IEEE Trans. Inf. Theory, 2016)

Almost Optimal Cover-Free Families. - Nader H. Bshouty; Ariel Gabizon (CIAC, 2017)

Interactive Oracle Proofs with Constant Rate and Query Complexity. - Eli Ben-Sasson; Alessandro Chiesa; Ariel Gabizon; Michael Riabzev; Nicholas Spooner (ICALP, 2017)

Twenty (simple) questions. - Yuval Dagan; Yuval Filmus; Ariel Gabizon; Shay Moran (STOC, 2017)

Zero Knowledge Protocols from Succinct Constraint Detection. - Eli Ben-Sasson; Alessandro Chiesa; Michael A. Forbes 001; Ariel Gabizon; Michael Riabzev; Nicholas Spooner (TCC (2), 2017)

A multi-party protocol for constructing the public parameters of the Pinocchio zk-SNARK. - Sean Bowe; Ariel Gabizon; Matthew D. Green (IACR Cryptol. ePrint Arch., 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)

Making Groth's zk-SNARK Simulation Extractable in the Random Oracle Model. - Sean Bowe; Ariel Gabizon (IACR Cryptol. ePrint Arch., 2018)

Twenty (Short) Questions. - Yuval Dagan; Yuval Filmus; Ariel Gabizon; Shay Moran (Comb., 2019)

On the security of the BCTV Pinocchio zk-SNARK variant. - 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)

Improved prover efficiency and SRS size in a Sonic-like system. - Ariel Gabizon (IACR Cryptol. ePrint Arch., 2019)

PLONK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge. - Ariel Gabizon; Zachary J. Williamson; Oana Ciobotaru (IACR Cryptol. ePrint Arch., 2019)

Efficient polynomial commitment schemes for multiple points and polynomials. - Dan Boneh; Justin Drake; Ben Fisch; Ariel Gabizon (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)

plookup: A simplified polynomial protocol for lookup tables. - Ariel Gabizon; Zachary J. Williamson (IACR Cryptol. ePrint Arch., 2020)

Halo Infinite: Proof-Carrying Data from Additive Polynomial Commitments. - Dan Boneh; Justin Drake; Ben Fisch; Ariel Gabizon (CRYPTO (1), 2021)

fflonk: a Fast-Fourier inspired verifier efficient version of PlonK. - Ariel Gabizon; Zachary J. Williamson (IACR Cryptol. ePrint Arch., 2021)

Plumo: An Ultralight Blockchain Client. - Psi Vesely; Kobi Gurkan; Michael Straka; Ariel Gabizon; Philipp Jovanovic; Georgios Konstantopoulos; Asa Oines; Marek Olszewski; Eran Tromer (IACR Cryptol. ePrint Arch., 2021)

cq: Cached quotients for fast lookups. - Liam Eagen; Dario Fiore 001; Ariel Gabizon (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)

Baloo: Nearly Optimal Lookup Arguments. - Arantxa Zapico; Ariel Gabizon; Dmitry Khovratovich; Mary Maller; Carla Ràfols (IACR Cryptol. ePrint Arch., 2022)

cqlin: Efficient linear operations on KZG commitments with cached quotients. - Liam Eagen; Ariel Gabizon (IACR Cryptol. ePrint Arch., 2023)

ProtoGalaxy: Efficient ProtoStar-style folding of multiple instances. - Liam Eagen; Ariel Gabizon (IACR Cryptol. ePrint Arch., 2023)

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)

Baloo: Algebraic Lookup Arguments. - Arantxa Zapico; Ariel Gabizon; Dmitry Khovratovich; Mary Maller; Carla Ràfols (IACR Commun. Cryptol., 2025)

MERCURY: A multilinear Polynomial Commitment Scheme with constant proof size and no prover FFTs. - Liam Eagen; Ariel Gabizon (IACR Cryptol. ePrint Arch., 2025)