bibfileSNARKs.bib

%%
%% practical systems, 
%%

@misc{zCash,
  author = {Daira Hopwood and Sean Bowe and Taylor Hornby and Nathan Wilcox},
  title = {{Zcash} Protocol Specification},
  howpublished = {\url{https://github.com/zcash/zips/blob/master/protocol/protocol.pdf}},
}

@misc{Halo2,
  author = {Sean Bowe and Ying Tong Lai and Daira Hopwood and Jack Grigg and Steven Smith},
  title = {Halo 2},
  howpublished = {\url{https://github.com/zcash/halo2}},
}

@misc{Mina,
  author = {{O1}-labs},
  title = {{Mina Protocol}},
  howpublished = {\url{https://minaprotocol.com}},
}

@misc{Snarky,
  author = {{O1}-labs},
  title = {{Snarky}},
  howpublished = {\url{https://github.com/o1-labs/snarky}},
}

@misc{Aztek,
  title = {{Aztek Protocol}},
  howpublished = {\url{https://github.com/AztecProtocol/}},
}

@misc{PolygonZero,
  title = {{Polygon Zero Team: plonky2}},
  howpublished = {\url{https://github.com/mir-protocol/plonky2}},
}

@misc{Arkworks,
  title = {{Arkworks:} {An} ecosystem for developing and programming with {zkSNARKs}},
  howpublished = {\url{https://github.com/arkworks-rs/}},
}

@misc{Filecoin,
  author = {},
  title = {{Filecoin:} {A} decentralized storage network},
  howpublished = {\url{https://filecoin.io/}}
}

@INPROCEEDINGS{ethSTARK,
    author = {{StarkWare Team}},
    title = {{ethSTARK} Documentation -- Version 1.1},
    booktitle = {IACR preprint archive 2021/582},
    year = {2021},    
    note = {\url{https://eprint.iacr.org/2021/582}}
}

%%
%% Practical systems using recursive SNARKs
%%

@INPROCEEDINGS{Zendoo,
    author = {Alberto Garoffolo and Dmytro Kaidalov and Roman Oliynykov},
    title = {{Zendoo}: a {zk-SNARK} Verifiable Cross-Chain Transfer Protocol Enabling Decoupled and Decentralized Sidechains},
    booktitle = {IACR preprint archive 2020/123},
    year = {2020},    
    note = {\url{https://eprint.iacr.org/2020/123}}
}

@INPROCEEDINGS{LatusIncentive,
    author = {Alberto Garoffolo and Dmytro Kaidalov and Roman Oliynykov},
    title = {{Latus incentive scheme}: Enabling Decentralization in Blockchains based on Recursive SNARKs},
    booktitle = {IACR preprint archive 2021/399},
    year = {2021},    
    note = {\url{https://eprint.iacr.org/2021/399}}
}

@INPROCEEDINGS{Darlin,
    author = {Ulrich Hab{\"o}ck and Alberto Garoffolo and Daniele di Benedetto},
    title = {{Darlin}: Recursive Proofs Based on {Marlin}},
    booktitle = {IACR preprint archive 2021/930},
    year = {2021},    
    note = {\url{https://eprint.iacr.org/2021/930}}
}

@misc{DarlinFullProtocol,
    author = {Ulrich Hab{\" o}ck and Daniele Di Benedetto},
    title = {The {Darlin} Proof-Carrying Data Protocol Suite},
    howpublished = {in preparation},
    year = {2021},    
    OPTlink = {\url{*}}
}

@INPROCEEDINGS{Coda,
    author = {Joseph Bonneau and Izaak Meckler and Vanishree Rao and Evan Shapiro},
    title = {{Coda}: Decentralized Cryptocurrency at Scale},
    booktitle = {IACR preprint archive 2020/352},
    year = {2020},    
    note = {\url{https://eprint.iacr.org/2020/352}}
}

@INPROCEEDINGS{Halo,
    author = {Sean Bowe and Jack Grigg and Daira Hopwood},
    title = {Recursive Proof Composition without a Trusted Setup},
    booktitle = {IACR preprint archive {2019/1021}},
    year = {2019},    
    note = {\url{https://eprint.iacr.org/2019/1021}}
}



% The basis for recursive proofs
@INPROCEEDINGS{Valiant,
    author = {Paul Valiant},
    title = {Incrementally Verifiable Computation or Proofs of Knowledge Imply Time/Space Efficiency},
    booktitle = {in TCC 2008},
    year = {2008},
    series    = {LNCS},
    volume    = {4948},
    publisher = {Springer}
}

@INPROCEEDINGS{PCD,
    author = {Alessandro Chiesa and Eran Tromer},
    title = {Proof-carrying data and hearsay arguments from signature cards.},
    booktitle = {ICS`10},
    year = {2010},
    publisher ={Tsinghua University Press},
    OPTdoi = {\url{https://doi.org/10.1145/2488608.2488623}}
}

% Construction of a non-preprocessing SNARK from any (poorly efficient) SNARK via a PCD 
% scheme in which each node does a simple computation
@INPROCEEDINGS{SNARKsfromPCD,
    author = {Nir Bitansky and Ran Canetti and Alessandro Chiesa and Eran Tromer},
    title = {Recursive Composition and Bootstrapping for {SNARKs} and Proof-Carrying Data},
    booktitle = {STOC`13},
    year = {2013},
    OPTdoi = {\url{https://doi.org/10.1145/2488608.2488623}}
}

% Groth16 in MNT4/6 cycle
@INPROCEEDINGS{BCTV,
    author = {Eli {Ben-Sasson} and Alessandro Chiesa and Eran Tromer and Madars Virza},
    title = {Scalable {Zero Knowledge} via Cycles of Elliptic Curves},
    booktitle = {in CRYPTO 2014},
    year = {2014},
    series    = {LNCS},
    volume    = {8617},
    publisher = {Springer}
}

% Generic construction of recursive SNARKS/PCD using accumulation schemes
@INPROCEEDINGS{Buenz,
    author = {Benedikt B{\"u}nz and Alessandro Chiesa and Pratyush Mishra and Nicholas Spooner},
    title = {Proof-Carrying Data from Accumulation Schemes},
    booktitle = {{TCC 2020}},
    year = {2020},    
    series    = {LNCS},
    volume    = {12551},
    publisher = {Springer},
    note = {Full paper: \url{https://eprint.iacr.org/2020/499}}
}


@INPROCEEDINGS{PrivateAggregationR1CS,
    author = {Benedikt B{\"u}nz and Alessandro Chiesa and William Lin and Pratyush Mishra and Nicholas Spooner},
    title = {Proof-Carrying Data without Succinct Arguments},
    booktitle = {IACR preprint archive {2020/1618}},
    year = {2020},    
    note = {\url{https://eprint.iacr.org/2020/1618}}
}


@INPROCEEDINGS{HaloInfinite,
    author = {Dan Boneh and Justin Drake and Ben Fisch and Ariel Gabizon},
    title = {{Halo Infinite}: Recursive zk-SNARKs from Additive Polynomial Commitments},
    booktitle = {CRYPTO 2021},
    series    = {LNCS},
    volume    = {12825},
    publisher = {Springer},
    year = {2021},    
    note = {Full paper: \url{https://eprint.iacr.org/2020/1536}}
}


%%
%% Number Theory
%%

@INPROCEEDINGS{ECscalarMul,
    author = {Daniel J. Bernstein and Tanja Lange},
    title = {Analysis and Optimization of Elliptic-Curve Single-Scalar Multiplication},
    year = {2007},   
    booktitle = {Fq8, Finite Fields and Applications},
    pages     = {1--20},
    note = {Full paper:\url{https://eprint.iacr.org/2007/455}}
}

@INPROCEEDINGS{AmicablePairs,
    author = {Joseph H. Silverman and Katherine E. Stange},
    title = {Amicable Pairs and Aliquot Cycles for Elliptic Curves},
    year = {2011},   
    booktitle = {Experimental Mathematics},
    volume = {20(3)} 
}

@INPROCEEDINGS{Cycles,
    author = {Alessandro Chiesa and Lyn Chua and Matthew Weidner},
    title = {On Cycles of Pairing-Friendly Elliptic Curves},
    year = {2018},   
    booktitle = {SIAM Journal on Applied Algebra and Geometry},
    volume = {3(2)}, 
    OPTlink = {\url{https://doi.org/10.1137/18M1173708}}
}

@misc{PastaCurves,
    author = {Daira Hopwood and Sean Bowe and Jack Grigg},
    title = {The {Pasta Curves} for {Halo 2} and Beyond},
    note = {\url{https://electriccoin.co/blog/the-pasta-curves-for-halo-2-and-beyond/}}
}

@INPROCEEDINGS{GuillevicTNFS,
    author = {Aurore Guillevic and Shashank Singh},
    title = {On the Alpha Value of Polynomials in the Tower Number Field Sieve Algorithm},
    year = {2019},   
    booktitle = {\url{https://hal.inria.fr/hal-02263098}}, 
    OPTlink = {\url{https://hal.inria.fr/hal-02263098}}
}

@misc{GuillevicMNT,
    author = {Aurore Guillevic},
    title = {A Note on {MNT4} and {MNT6} Curves: Estimation of {STNFS} Cost},
    howpublished = {(personal communication)},
    year = {2020},    
    OPTlink = {\url{https://github.com/HorizenOfficial/ginger-lib/blob/82a9dce2220ec9d91c6978c288fe2c3dee3c0cf9/doc/Guillevic\%20-\%202020\%20-\%20A\%20note\%20on\%20MNT4-MNT6\%20curves.pdf}}
}



%%
%% Hashes
%%

@INPROCEEDINGS{Poseidon,
    author = {Lorenzo Grassi and Dmitry Khovratovich and Christian Rechberger and Arnab Roz and Markus Schofnegger},
    title = {{POSEIDON}: A New Hash Function for Zero-Knowledge Proof Systems},
    booktitle = {{USENIX} Security Symposium 2021},
    year = {2021},    
}

%%
%% IOP fundamentals 
%%

@INPROCEEDINGS{IOPs,
    author = {Eli Ben-Sasson and Alessandro Chiesa and Nicholas Spooner},
    title = {Interactive Oracle Proofs},
    booktitle = {TCC 2016},
    year = {2016},
    pages = {31--60},
    doi = {10.1007/978-3-662-53644-5_2}
}

@inproceedings{IOPSecurity,
	author = {Eli Ben-Sasson and Iddo Bentov and Ariel Gabizon and Michael Riabzev},
	title = {A Security Analysis of Probabilistically Checkable Proofs},
	booktitle = {Electronic Coll. on Comp. Complexity},
	volume = {TR16-149},
	year = {2016},
	doi = {},
	note = {\url{https://eccc.weizmann.ac.il/report/2016/149/}}
}

@inproceedings{DARK,
	author = {Benedikt B{\"u}nz and Ben Fisch and Alan Szepieniec},
	title = {Transparent {SNARKs} from {DARK} Compilers},
	booktitle = {EUROCRYPT 2020},
	year = {2020},
	doi = {10.1007/978-3-030-45721-1 _ 24},
	note = {Full paper: \url{https://eprint.iacr.org/2019/1229}}
}

%%
%%  Zero-knowledge proofs 
%%

@inproceedings{PoK,
  author    = {Mihir Bellare and Oded Goldreich},
  title     = {On Defining Proofs of Knowledge},
  booktitle = {CRYPTO`92},
  pages     = {390--420},
  year      = {1993},
  editor    = {E.F. Brickell},
  series    = {LNCS},
  volume    = {740},
  publisher = {Springer},
}

@inproceedings{PoKHaleviMikali,
  author    = {Shai Halevi and Silvio Micali},
  title     = {More on Proofs of Knowledge},
  booktitle = {IACR preprint archive {1998/015}},
  year = {1998},    
  note = {Appeared in the THEORY OF CRYPTOGRAPHY LIBRARY and has been included in the ePrint Archive. \url{https://eprint.iacr.org/1998/015}}
}

@inproceedings{Lindell,
  author    = {Yehuda Lindell},
  title     = {Parallel Coin-Tossing and Constand-Round Secure Two-Party Computation},
  booktitle = {CRYPTO 2001},
  pages     = {171--189},
  year      = {2001},
  editor    = {J. Kilian},
  series    = {LNCS},
  volume    = {2139},
  publisher = {Springer},
  note = {Full paper:\url{https://eprint.iacr.org/2001/107}}
}

@inproceedings{NonBlackBoxZK,
  author    = {Boaz Barak},
  title     = {How to Go Beyond the Black-box Simulation Barrier},
  booktitle = {FOCS`01},
  pages     = {106--115},
  year      = {2002},
  note = {Full paper:\url{https://www.boazbarak.org/Papers/nonbb.pdf}}
}

@inproceedings{NonBlackBoxExtractor,
  author    = {Boaz Barak and Yehuda Lindell},
  title     = {Strict Polynomial-time in Simulation and Extraction},
  booktitle = {STOC'02},
  pages     = {484--493},
  year      = {2002},
  note = {Full paper:\url{https://eprint.iacr.org/2002/043.pdf}}
}


@inproceedings{ForkingLemma,
  author    = {Thomas Attema and Ronald Cramer},
  title     = {Compressed {\protect{$\Sigma$}}-Protocol Theory and Practical Application to Plug \& Play Secure Algorithmics},
  booktitle = {CRYPTO 2020},
  pages     = {513--543},
  year      = {2020},
  editor    = {D. Micciancio and T. Ristenpart},
  series    = {LNCS},
  volume    = {12172},
  publisher = {Springer},
  note = {Full paper:\url{https://eprint.iacr.org/2020/152.pdf}}
}


%%
%% Polynomial Commitment schemes 
%%

@inproceedings{Kate,
  author    = {Aniket Kate and Gregory M. Zaverucha and Ian Goldberg},
  title     = {Constant-Size Commimtments to Polynomials and Their Applications},
  booktitle = {ASIACRYPT 2010},
  year      = {2010},
  editor    = {Abe M.},
  series    = {LNCS},
  volume    = {6477},
  publisher = {Springer}
}

@inproceedings{MVKZG,
  author    = {Charalampos Papamanthou and Elaine Shi and Roberto Tamassia},
  title     = {Signatures of Correct Computation},
  booktitle = {TCC 3},
  year      = {2013},
  series    = {LNCS},
  volume    = {7785},
  publisher = {Springer}
}

@inproceedings{Redshift,
    author    = {Assimakis Kattis and Konstantin Panarin and Alaxander Vlasov},
    title     = {{REDSHIFT}: Transparent SNARKs from List Polynomial Commitment {IOP}s},
    booktitle = {IACR preprint archive},
    year      = {2019},
    note = {\url{https://eprint.iacr.org/2019/1400}}
}

%%
%% Codes and low-degree testing
%%

@misc{BerlekampWelch,
	author = {Lloyd R. Welch and Elwyn R. Berlekamp},
	title = {Error Correction for Algebraic Block Codes},
	year = {1986},
  	howpublished = {US Patent 4633470},
	note = {\url{https://patents.google.com/patent/US4633470A}}
}

@inproceedings{Sudan,
	author = {Madhu Sudan},
	title = {Decoding of {Reed Solomon} Codes beyond the Error-Correction Bound},
	booktitle = {Journal of Complexity},
	volume = {13(1)},
	year = {1997},
	doi = {10.1006/jcom.1997.0439}
}

@inproceedings{GuruswamiSudan,
	author = {Venkatesan Guruswami and Madhu Sudan},
	title = {Improved Decoding of {Reed-Solomon} and Algebraic-Geometry Codes},
	booktitle = {IEEE Trans. on Information Theory},
	volume = {45(6)},
	year = {1999},
	doi = {10.1109/18.782097}
}

@inproceedings{LowDegreeTesting,
	author = {Sanjeev Arora and Madhu Sudan},
	title = {Improved Low-Degree Testing and its Applications},
	booktitle = {Combinatorica},
	volume = {23(3)},
	year = {2003},
	doi = {10.1007/s00493-003-0025-0}
}

@inproceedings{ListDecodingBook,
	author = {Venkatesan Guruswami},
	title = {Algorithmic Results in List Decoding},
	booktitle = {Foundation and Trands in Theoretical Computer Science},
	volume = {2(2)},
	year = {2007},
	doi ={10.1561/0400000007}
}

%%
%% Univariate SNARKs, PIOPs
%% 

@inproceedings{2006:Groth,
  author    = {Jens Groth},
  title     = {Simulation-Sound {NIZK} Proofs for a Practical Language and Constant
               Size Group Signatures},
  booktitle = {ASIACRYPT 2006},
  pages     = {444--459},
  year      = {2006},
  editor    = {Xuejia Lai and
               Kefei Chen},
  series    = {LNCS},
  volume    = {4284},
  publisher = {Springer}
}

@inproceedings{Groth:2010,
  author    = {Jens Groth},
  title     = {Short Pairing-Based Non-interactive Zero-Knowledge Arguments},
  booktitle = {ASIACRYPT 2010},
  year      = {2010},
  editor    = {Abe M.},
  series    = {LNCS},
  volume    = {6477},
  publisher = {Springer},
  doi = {10.1007/978-3-642-17373-8_19}
}

@inproceedings{Shuffle,
  author    = {Stephanie Bayer and Jens Groth},
  title     = {Efficient Zero-Knowledge Argument for Correctness of a Shuffle},
  booktitle = {EUROCRYPT 2012},
  year      = {2012},
  series    = {LNCS},
  volume    = {7237},
  publisher = {Springer}
}

@inproceedings{Groth:2016,
  author    = {Jens Groth},
  title     = {On the Size of Pairing-Based Non-interactive Arguments.},
  booktitle = {EUROCRYPT 2016},
  year      = {2016},
  editor    = {M. Fischlin and J.S. Coron},
  series    = {LNCS},
  volume    = {9666},
  publisher = {Springer},
  doi = {10.1007/978-3-662-49896-5_11}
}

@inproceedings{Groth:2017,
  author    = {Jens Groth and Mary Maller},
  title     = {{Snarky Signatures}: Minimal Signatures of Knowledge from Simulation-Extractable {SNARK}s.},
  booktitle = {CRYPTO 2017},
  year      = {2017},
  editor    = {Katz J., Shacham H.},
  series    = {LNCS},
  volume    = {10402},
  publisher = {Springer},
  doi = {10.1007/978-3-319-63715-0_20}
}

@inproceedings{BootleGroth,
  author    = {Jonathan Bootle and Andrea Cerulli and Pyrros Chaidos and Jens Groth and Christophe Petit},
  title     = {Efficient Zero-Knowledge Arguments for Arithmetic Circuits in the Discrete Log Setting},
  booktitle = {EUROCRYPT 2016},
  year      = {2016},
  editor    = {M. Fischlin and J.S. Coron},
  series    = {LNCS},
  volume    = {9666},
  publisher = {Springer},
  doi = {10.1007/978-3-662-49896-5_12},
  note = {Full paper: \url{https://eprint.iacr.org/2016/263}}
}

@inproceedings{Gennaro:2013,
  author    = {Gennaro, Rosario
  and Gentry, Craig
  and Parno, Brian
  and Raykova, Mariana},
  title     = {Quadratic Span Programs and Succinct {NIZKs} without {PCPs}},
  booktitle = {EUROCRYPT 2013},
  year      = {2013},
  editor    = {Nguyen P.Q.},
  series    = {LNCS},
  volume    = {7881},
  publisher = {Springer},
  doi = {10.1007/978-3-642-38348-9_37}
}

@INPROCEEDINGS{Pinocchio,
    author = {Bryan Parno and Jon Howell and Craig Gentry and Mariana Raykova},
    title = {Pinocchio: Nearly practical verifiable computation},
    booktitle = {in IEEE Symposium on Security and Privacy},
    year = {2013},
    pages = {238--252}
}

@INPROCEEDINGS{Bulletproofs,
    author = {Benedikt B{\"u}nz and Jonathan Bootle and Dan Boneh and Andrew Poelstra and Pieter Wuille and Greg Maxwell},
    title = {Bulletproofs: Short Proofs for Confidential Transactions and More},
    booktitle = {in IEEE Symposium on Security and Privacy},
    year = {2018},
    pages = {315--334},
    doi = {10.1109/SP.2018.00020},
    note = {Full paper: \url{https://eprint.iacr.org/2017/1066}}
}

@INPROCEEDINGS{Sonic,
    author = {Mary Maller and Sean Bowe and Markulf Kohlweiss and Sarah Meiklejohn},
    title = {Sonic: Zero-Knowledge {SNARKs} from Linear-Size Universal and Updatable Structured Reference Strings},
    booktitle = {ACM SIGSAC Conference on Computer and Communication Security},
    year = {2019},
    pages = {2111--2128},
    doi = {10.1145/3319535.3339817},
    note = {Full paper: \url{https://eprint.iacr.org/2019/099}}
}

@INPROCEEDINGS{Wahby,  
	author={R. S. {Wahby} and I. {Tzialla} and A. {Shelat} and J. {Thaler} and M. {Walfish}},  		booktitle={2018 IEEE Symposium on Security and Privacy (SP)},   
	title={Doubly-Efficient {zk-SNARKs} Without Trusted Setup},   
	year={2018},  volume={},  number={},  
	pages={926-943}
}

@inproceedings{Aurora,
  author    = {Eli Ben-Sasson and Alessandro Chiesa and Michael Riabzev and Nicholas Spooner and Madars Virza and Nicholas P. Ward},
  title     = {Aurora: Transparent Succinct Arguments for {R1CS}.},
  booktitle = {EUROCRYPT 2019},
  year      = {2019},
  editor    = {Y. Ishai and Vincent Rijmen},
  series    = {LNCS},
  volume    = {11476},
  publisher = {Springer},
  doi = {10.1007/978-3-030-17653-2_4}
}

@INPROCEEDINGS{AuroraLight,
    author = {Ariel Gabizon},
    title = {{AuroraLight}: Improved Prover Efficiency and {SRS} Size in a {Sonic}-like System},
    booktitle = {IACR preprint archive 2019/601},
    year = {2019},    
    note = {\url{https://eprint.iacr.org/2019/601}}
}

@INPROCEEDINGS{BuenzMaller,
    author = {Benedikt B{\"u}nz and Mary Maller and Pratyush Mishra and Nirvan Tyagi and Psi Vesely},
    title = {Proofs for Inner Pairing Products and Applications},
    booktitle = {IACR preprint archive},
    year = {2019},
    pages = {117},
    note = {\url{https://eprint.iacr.org/2019/1177}}
}

@inproceedings{Marlin,
  author    = {Alessandro Chiesa and Yuncong Hu and Mary Maller and Pratyush Mishra and Noah Vesely and Nicholas Ward},
  title     = {{Marlin}: Preprocessing {zkSNARKs} with Universal and Updatable {SRS}.},
  booktitle = {EUROCRYPT 2020},
  year      = {2020},
  editor    = {},
  series    = {LNCS},
  volume    = {12105},
  note = {Full paper: \url{https://eprint.iacr.org/2019/1047.pdf}},
}

@inproceedings{Lunar,
  author    = {Matteo Campanelli and Antonio Faonio and Dario Fiore and Ana{\"i}s Querol and H\'adrian Rodr\'iguez},
  title     = {{Lunar}: a Toolbox for More Efficient and Updatable {zkSNARKs} and Commit-and-Prove Extensions.},
  booktitle = {{IACR ePrint Archive} 2020/1069},
  year      = {2020},
  note = {\url{https://eprint.iacr.org/2020/1069}}
}

@INPROCEEDINGS{Starks,
    author = {Eli Ben-Sasson and Iddo Bentov and Yinon Horesh and Michael Riabzev},
    title = {Scalable, transparent, and post-quantum secure computational integrity},
    booktitle = {{IACR ePrint Archive} 2018/046},
    year = {2018},    
    note = {\url{https://eprint.iacr.org/2018/046}}
}

@INPROCEEDINGS{Plonk,
    author = {Ariel Gabizon and Zachary J. Williamson and Oana Ciobotaru},
    title = {{PLONK}: Permutations over {Lagrange-bases} for Oecumenical Non-interactive Arguments of Knowledge},
    booktitle = {{IACR ePrint Archive} 2019/953},
    year = {2019},    
    note = {\url{https://eprint.iacr.org/2019/953}}
}

@misc{TurboPlonk,
    author = {Ariel Gabizon and Zachary J. Williamson},
    title = {Proposol: The {Turbo-PLONK} program syntax for specifying {SNARK} programs},
    howpublished = {{Coinresear.ch}},
    year = {2020},    
    note = {{\url{https://www.coinresear.ch/snapshots/Gabizon2020a#videos}}}
}

@INPROCEEDINGS{Plookup,
    author = {Ariel Gabizon and Zachary J. Williamson},
    title = {{Plookup}: A Simplified Polynomial Protocol for Lookup tables},
    booktitle = {{IACR ePrint Archive} 2020/315},
    year = {2020},    
    note = {\url{https://eprint.iacr.org/2020/315}}
}

@misc{LookupsBlog,
    author = {Ariel Gabizon},
    title = {Multiset checks in {PLONK} and {Plookup}},
    howpublished = {{hackmd.io}},
    year = {2022},    
    note = {{\url{https://hackmd.io/@arielg/ByFgSDA7D}}}
}

@INPROCEEDINGS{Caulk,
    author = {Arantxa Zapico and Vitalik Buterin and Dmitry Khovratovich and Mary Maller and Anca Nitulescu and Mark Simkin},
    title = {{Caulk}: Lookup Arguments in Sublinear Time},
    booktitle = {{IACR ePrint Archive} 2022/621},
    year = {2022},    
    note = {\url{https://eprint.iacr.org/2022/621}}
}

@INPROCEEDINGS{CaulkPlus,
    author = {Jim Posen and Assimakis A. Kattis},
    title = {{Caulk+}: Table-Independent Lookup Arguments},
    booktitle = {{IACR ePrint Archive} 2022/957},
    year = {2022},    
    note = {\url{https://eprint.iacr.org/2022/957}}
}

@INPROCEEDINGS{Flookup,
    author = {Ariel Gabizon and Dmitry Khovratovich},
    title = {{flookup}: Fractional Decomposition-Based Lookups in Quasi-Linear Time Independent of the Table Size},
    booktitle = {{IACR ePrint Archive} 2022/1447},
    year = {2022},    
    note = {\url{https://eprint.iacr.org/2022/1447}}
}

@misc{DaiFlookupBlog,
    author = {Gyumin Roh and Wei Dai and Maria Jabbour and Andrew He},
    title = {New Lookup Argument},
    howpublished = {{zkResearch}},
    year = {2022},    
    note = {{\url{https://zkresear.ch/t/new-lookup-argument/32}}}
}

%%
%% Univariate SNARKs, code IOPs
%% 

@inproceedings{ProofsProximity,
	author = {Guy N. Rothblum and Salil Vadhan and Avi Wigderson},
	title = {Interactive Proofs of Proximity: Delegating Computation in Sublinear Time},
	booktitle = {IEEE Trans. on Information Theory},
	volume = {45(6)},
	year = {1999},
	doi = {10.1145/2488608.2488709}
}

@inproceedings{FRI,
	author = {Eli Ben-Sasson and Iddo Bentov and Yinon Horesh and Michael Riabzev},
	title = {Fast {Reed-Solomon} Interactive Oracle Proofs of Proximity},
	booktitle = {ICALP 2018},
	year = {2018},
	doi = {10.4230/LIPIcs.ICALP.2018.14},
	note = {Full paper: \url{https://eccc.weizmann.ac.il/report/2017/134/}}
}

@inproceedings{FullyLinearPCPs,
  author    = {Dan Boneh and Elette Boyle and Henry Corrigan-Gibbs and Yuval Ishai},
  title     = {Zero-Knowledge Proofs on Secret-Shared Data via Fully Linear PCPs},
  booktitle = {CRYPTO 2019},
  pages     = {67--97},
  year      = {2019},
  series    = {LNCS},
  volume    = {11694},
  publisher = {Springer},
  note = {Full paper:\url{https://eprint.iacr.org/2019/188.pdf}}
}

@inproceedings{DEEPFRI,
	author = {Eli Ben-Sasson and Lior Goldberg and Swastik Kopparty and Shubhangi Saraf},
	title = {{DEEP-FRI}: Sampling Outside the Box Improves Soundness},
	booktitle = {ITCS 2020},
	year = {2020},
	doi = {10.4230/LIPIcs.ITCS.2020.5},
	note = {Full paper: \url{https://eprint.iacr.org/2019/336}}
}

@inproceedings{ProximityGaps,
	author = {Eli Ben-Sasson and Dan Carmon and Yuval Ishai and Swastik Kopparty and Shubhangi Saraf},
	title = {Proximity Gaps for {Reed-Solomon} Codes},
	booktitle = {FOCS 2020},
	year = {2020},
	doi = {10.1109/FOCS46700.2020.00088},
	note = {Full paper: \url{https://eprint.iacr.org/2020/654}}
}

@inproceedings{Fractal,
  author    = {Alessandro Chiesa and Dev Ojha and Nicholas Spooner},
  title     = {{Fractal}: Post-quantum and Transparent Recursive Proofs from Holography.},
  booktitle = {EUROCRYPT 2020},
  year      = {2020},
  series    = {LNCS},
  volume    = {12105},
  note = {Full paper: \url{https://eprint.iacr.org/2019/1076.pdf}},
  doi = {10.1007/978-3-030-45721-1_27}
}


%%
%% Multivariate SNARKs
%%

@INPROCEEDINGS{Sumcheck,
    author = {Carsten Lund and Lance Fortnow and Howard Karloff and Noam Nisan},
    title = {Algebraic Methods for Interactive Proof Systems},
    booktitle = {Journal of the Association for Computing Machinery},
    volume = {39}, 
    year = {1992},
    pages = {859--868},
    note = {Full paper: \url{https://eprint.iacr.org/2017/1066}}
}

@INPROCEEDINGS{Muggles,
    author = {Shafi Goldwasser and Yael Tauman Kalai and Guy N. Rothblum},
    title = {Delegating Computation: Interactive Proofs for Muggles},
    year = {2008},
    booktitle = {{STOC`08}},
    note = {\url{https://eprint.iacr.org/2022/1056}}
}

@INPROCEEDINGS{StreamingIOPs,
    author = {Graham Cormode and Michael Mitzenmacher and Justin Thaler},
    title = {Practical Verified Computation with Streaming Interactive Proofs},
    booktitle = {ITCS 2012}, 
    year = {2012}
}

@INPROCEEDINGS{Meir,
    author = {Or Meir},
    title = {{IP = PSPACE} using Error-Correcting Codes},
    booktitle = {{SIAM} Journal on Computing},
    volume = {42}, 
    year = {2013},
    note = {Full paper: \url{https://eccc.weizmann.ac.il/report/2010/137}}
}

@INPROCEEDINGS{SettyBlumberg,
    author = {Victor Vu and Srinath Setty and Andrew J. Blumberg and Michael Walfish},
    title = {A Hybrid Architecture for Interactive Verifiable Computation},
    booktitle = {IEEE Symposium on Security and Privacy},
    series = {LNCS},
    year = {2013}
}

@INPROCEEDINGS{SumcheckThaler,
    author = {Justin Thaler},
    title = {Time-Optimal Interactive Proofs for Circuit Evaluation},
    booktitle = {CRYPTO 2013},
    series = {LNCS},
    volume = {8043}, 
    year = {2013},
    note = {Full paper: \url{https://eprint.iacr.org/2013/351}}
}

@INPROCEEDINGS{TensorIOP,
    author = {Jonathan Bootle and Andrea Cerulli and Essam Ghadafi and Jens Groth and Mohammad Hajiabadi and Sune K. Jakobsen},
    title = {Linear-Time Zero-Knowledge Proofs for Arithmetic Circuit Satisfiability},
    booktitle = {ASIACRYPT 2017},
    series = {LNCS},
    volume = {10626}, 
    year = {2017},
    note = {Full paper: \url{https://eprint.iacr.org/2017/872}}
}

@INPROCEEDINGS{ZkSumcheckPreprint,
    author    = {Alessandro Chiesa and Michael A. Forbes and Nicholas Spooner},
    title     = {A Zero Knowledge Sumcheck and its Applications},
    booktitle = {IACR preprint archive 2017/305},
    year = {2017},    
    note = {\url{https://eprint.iacr.org/2017/305}}
}

@INPROCEEDINGS{Giraffe,
    author = {Riad S. Wahby and Ye Ji and Andrew J. Blumberg and Abhi Shelat and Justin Thaler and Michael Walfish and Thomas Wies},
    title = {Full Accounting for Verifiable Outsourcing},
    booktitle = {CCS`17},
    year = {2017},
    note = {Full paper: \url{https://eprint.iacr.org/2017/242}}
}

@INPROCEEDINGS{Hyrax,
    author = {Riad S. Wahby and Ioanna Tzialla and Abhi Shelat and Justin Thaler and Michael Walfish},
    title = {Doubly-Efficient {zkSNARKs} without Trusted Setup},
    booktitle = {CCS`17},
    year = {2017},
    note = {Full paper: \url{https://eprint.iacr.org/2017/242}}
}

@INPROCEEDINGS{Spartan,
    author = {Srinath Setty},
    title = {Spartan: Efficient and General-Purpose {zkSNARKs} without Trusted Setup},
    booktitle = {CRYPTO 2020},
    year = {2020},
    note = {Full paper: \url{https://eprint.iacr.org/2019/550}}
}

@INPROCEEDINGS{Zhang,
    author = {Jiaheng Zhang and Tianchen Xie and Yupeng Zhang and Dawn Song},
    title = {Transparent Polynomial Delegation and Its Applications to Zero Knowledge Proof},
    booktitle = {IEEE S\&P 2020}, 
    year = {2020},
    note = {Full paper: \url{https://eprint.iacr.org/2019/1482}}
}

@INPROCEEDINGS{Quarks,
    author = {Srinath Setty and Jonathan Lee},
    title = {Quarks: Quadruple-Efficient Transparent {zkSNARKs}},
    booktitle = {{IACR ePrint Archive} 2020/1275},
    year = {2020},
    note = {\url{https://eprint.iacr.org/2020/1275}}
}

@INPROCEEDINGS{TensorCodes,
    author = {Jonathan Bootle and Alessandro Chiesa and Jens Groth},
    title = {Linear-Time Arguments with Sublinear Verification from Tensor Codes},
    booktitle = {TCC 2020},
    series = {LNCS},
    volume = {12551}, 
    year = {2020},
    note = {Full paper: \url{https://eprint.iacr.org/2020/1426}}
}

@INPROCEEDINGS{TensorR1CS,
    author = {Jonathan Bootle and Alessandro Chiesa and Siqi Liu},
    title = {Zero-Knowledge {IOPs} with Linear-Time Prover and Polylogarithmic-Time Verifier},
    booktitle = {EUROCRYPT 2022},
    series = {LNCS},
    volume = {13276}, 
    year = {2020},
    note = {Full paper: \url{https://eprint.iacr.org/2020/1527}}
}

@INPROCEEDINGS{SumcheckApplication,
    author    = {Jonathan Bootle and Alessandro Chiasa and Katerina Sotiraki},
    title     = {Sumcheck Arguments and their Applications},
    booktitle = {CRYPTO 2021},
    year = {2021},    
    note = {Full paper: \url{https://eprint.iacr.org/2021/333}}
}

@INPROCEEDINGS{Gemini,
    author = {Jonathan Bootle and Alessandro Chiesa and Yuncong Hu and Michele Orr`u},
    title = {Gemini: Elastic {SNARKs} for Diverse Environments},
    booktitle = {EUROCRYPT 2022},
    year = {2022},
    note = {Full paper: \url{https://eprint.iacr.org/2022/420}}
}

@INPROCEEDINGS{TensorR1CSarbitraryF,
    author = {Jonathan Bootle and Alessandro Chiesa and Ziyi Guan and Siqi Liu},
    title = {Linear-Time Probabilistic Proofs over Every Field},
    year = {2022},
    booktitle = {{IACR ePrint Archive} 2020/1056},
    note = {\url{https://eprint.iacr.org/2022/1056}}
}

@INPROCEEDINGS{TensorRothblum,
    author = {Justin Holmgren and Ron D. Rothblum},
    title = {Faster Sounder Succinct Arguments and {IOP}s},
    booktitle = {CRYPTO 2022},
    series = {LNCS},
    volume = {13507}, 
    year = {2022},
    note = {Full paper: \url{https://eprint.iacr.org/2022/994}}
}

@INPROCEEDINGS{Hyperplonk,
    author = {Binyi Chen and Benedikt B{\"u}nz and Dan Boneh and Zhenfei Zhang},
    title = {{Hyperplonk}: {PLONK} with a Linear-Time Prover and High-Degree Costum Gates},
    booktitle = {{IACR ePrint Archive} 2020/1355},
    year = {2022},
    note = {\url{https://eprint.iacr.org/2022/1355}}
}

@misc{AirpodsZk8Blog,
    author = {William Borgeaud},
    title = {Proving {AIR} with multivariate sumchecks},
    year = {May 21, 2022},    
    note = {{\url{https://solvable.group/posts/air-multivariate-sumcheck/}}}
}

@misc{AirpodsZk8,
    author = {William Borgeaud},
    title = {{Airpods}: Generalizing {AIR} to Multivariate Domains},
    howpublished = {{zk8 Summit}},
    year = {September 15, 2022},    
    note = {{\url{https://www.youtube.com/watch?v=5hO9NbtFc0g&t=7565s}}}
}

%%
%% zk VMs, execution trace proving
%%

@INPROCEEDINGS{RAMs,
    author = {Eli Ben-Sasson and Alessandro Chiesa and Daniel Genkin and Eran Tromer},
    title = {Fast Reductions from RAMs to Delegatable Succinct Constraint Satisfaction Problems},
    booktitle = {{ITCS`13}},
    year = {2013},    
    note = {Full paper: \url{https://eprint.iacr.org/2012/071}}
}

@INPROCEEDINGS{tinyRAMfullPaper,
    author = {Eli Ben-Sasson and Alessandro Chiesa and Eran Tromer and Madars Virza},
    title = {Succinct Non-Interactive Zero Knowledge for a {von Neumann} Architecture (rev. 8)},
    booktitle = {{IACR ePrint Archive} 201/879},
    year = {2019},    
    note = {\url{https://eprint.iacr.org/2013/879}}
}

@INPROCEEDINGS{tinyRAM,
    author = {Eli Ben-Sasson and Alessandro Chiesa and Eran Tromer and Madars Virza},
    title = {Succinct Non-Interactive Zero Knowledge for a {von Neumann} Architecture},
    booktitle = {{23rd USENIX Security Symposium}},
    year = {2014}
}

@misc{tinyRAMspecV0,
  author = {Eli Ben-Sasson and Alessandro Chiesa and Daniel Genkin and Eran Tromer and Madars Virza},
  title = {{TinyRAM} Architecture Specification v0.991},
  booktitle = {SCIPR Lab},
  year = {2013},
  howpublished = {\url{http://www.scipr-lab.org/doc/TinyRAM-spec-0.991.pdf}},
}

@misc{tinyRAMspecV2,
  author = {Eli Ben-Sasson and Alessandro Chiesa and Daniel Genkin and Eran Tromer and Madars Virza},
  title = {{TinyRAM} Architecture Specification v2.000},
  booktitle = {SCIPR Lab},
  year = {2020},
  howpublished = {\url{http://www.scipr-lab.org/doc/TinyRAM-spec-2.000.pdf}},
}

@INPROCEEDINGS{Arya,
    author = {Jonathan Bootle and Andrea Cerulli and Jens Groth and Sune Jakobsen and Mary Maller},
    title = {{Arya}: Nearly Linear-Time Zero-Knowledge Proofs for Correct Program Execution},
    booktitle = {ASIACRYPT 2018},
    series    = {LNCS},
    volume    = {11272},
    year = {2018},    
    note = {Full paper: \url{https://eprint.iacr.org/2018/380}}
}

@INPROCEEDINGS{Cairo,
  author = {Lior Goldberg and Shahar Papini and Michael Riabzev},
  title = {{Cairo}-- a Turing-complete {STARK}-friendly CPU architecture},
  booktitle = {{IACR ePrint Archive} 2021/1063},
  year = {2021},
  note = {\url{https://eprint.iacr.org/2021/1063}},
}

@misc{Miden,
  title = {{Polygon Miden}: A {STARK}-based virtual machine},
  howpublished = {\url{https://github.com/maticnetwork/miden}},
}

@misc{ConsensysZKVM,
	author = {Olivier Bégassat and Alexandre Belling and Théodore Chapuis-Chkaiban and Nicolas Liochon},
	title = {A specification for a {ZK-EVM}},
	booktitle = {{ConsenSys, Applied R\&D Team}},
	howpublished = {\url{https://ethresear.ch/uploads/short-url/3DM8kjFfIG6PHXu4qpYpmujXgme.pdf}}
}