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{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}}
}

%%
%% 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}}
}

%%
%% 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}
}

@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{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}}
}



%%
%% 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{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{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}}
}


%%
%% 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},    
}

%%
%%  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}}
}

@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}}
}

%%
%% SNARKs
%%

@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{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}}
}


%%
%% Second wave SNARKs
%%

@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{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}},
  doi = {10.1007/978-3-030-45721-1_26}
}

@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{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},
  editor    = {},
  series    = {LNCS},
  volume    = {12105},
  note = {Full paper: \url{https://eprint.iacr.org/2019/1076.pdf}},
  doi = {10.1007/978-3-030-45721-1_27}
}

@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{BootleChiesa,
    author    = {Jonathan Bootle and Alessandro Chiasa and Katerina Sotiraki},
    title     = {Sumcheck Arguments and their Applications},
    booktitle = {IACR preprint archive 2021/333},
    year = {2021},    
    OPTlink = {\url{https://eprint.iacr.org/2021/333}}
}