main.bib

% Journals

% First the Full Name is given, then the abbreviation used in the AMS Math
% Reviews, with an indication if it could not be found there.
% Note the 2nd overwrites the 1st, so swap them if you want the full name.

 %{AMS}
 @String{AMSTrans = "American Mathematical Society Translations" }
 @String{AMSTrans = "Amer. Math. Soc. Transl." }
 @String{BullAMS = "Bulletin of the American Mathematical Society" }
 @String{BullAMS = "Bull. Amer. Math. Soc." }
 @String{ProcAMS = "Proceedings of the American Mathematical Society" }
 @String{ProcAMS = "Proc. Amer. Math. Soc." }
 @String{TransAMS = "Transactions of the American Mathematical Society" }
 @String{TransAMS = "Trans. Amer. Math. Soc." }

 %ACM
 @String{CACM = "Communications of the {ACM}" }
 @String{CACM = "Commun. {ACM}" }
 @String{CompServ = "Comput. Surveys" }
 @String{JACM = "J. ACM" }
 @String{ACMMathSoft = "{ACM} Transactions on Mathematical Software" }
 @String{ACMMathSoft = "{ACM} Trans. Math. Software" }
 @String{SIGNUM = "{ACM} {SIGNUM} Newsletter" }
 @String{SIGNUM = "{ACM} {SIGNUM} Newslett." }

 @String{AmerSocio = "American Journal of Sociology" }
 @String{AmerStatAssoc = "Journal of the American Statistical Association" }
 @String{AmerStatAssoc = "J. Amer. Statist. Assoc." }
 @String{ApplMathComp = "Applied Mathematics and Computation" }
 @String{ApplMathComp = "Appl. Math. Comput." }
 @String{AmerMathMonthly = "American Mathematical Monthly" }
 @String{AmerMathMonthly = "Amer. Math. Monthly" }
 @String{BIT = "{BIT}" }
 @String{BritStatPsych = "British Journal of Mathematical and Statistical
          Psychology" }
 @String{BritStatPsych = "Brit. J. Math. Statist. Psych." }
 @String{CanMathBull = "Canadian Mathematical Bulletin" }
 @String{CanMathBull = "Canad. Math. Bull." }
 @String{CompApplMath = "Journal of Computational and Applied Mathematics" }
 @String{CompApplMath = "J. Comput. Appl. Math." }
 @String{CompPhys = "Journal of Computational Physics" }
 @String{CompPhys = "J. Comput. Phys." }
 @String{CompStruct = "Computers and Structures" }
 @String{CompStruct = "Comput. \& Structures" }
 @String{CompJour = "The Computer Journal" }
 @String{CompJour = "Comput. J." }
 @String{CompSysSci = "Journal of Computer and System Sciences" }
 @String{CompSysSci = "J. Comput. System Sci." }
 @String{Computing = "Computing" }
 @String{ContempMath = "Contemporary Mathematics" }
 @String{ContempMath = "Contemp. Math." }
 @String{Crelle = "Crelle's Journal" }
 @String{GiornaleMath = "Giornale di Mathematiche" }
 @String{GiornaleMath = "Giorn. Mat." } % didn't find in AMS MR., ibid.

 %IEEE
 @String{Computer = "{IEEE} Computer" }
 @String{IEEETransComp = "{IEEE} Transactions on Computers" }
 @String{IEEETransComp = "{IEEE} Trans. Comput." }
 @String{IEEETransAC = "{IEEE} Transactions on Automatic Control" }
 @String{IEEETransAC = "{IEEE} Trans. Automat. Control" }
 @String{IEEESpec = "{IEEE} Spectrum" } % didn't find in AMS MR
 @String{ProcIEEE = "Proceedings of the {IEEE}" }
 @String{ProcIEEE = "Proc. {IEEE}" } % didn't find in AMS MR
 @String{IEEETransAeroElec = "{IEEE} Transactions on Aerospace and Electronic
     Systems" }
 @String{IEEETransAeroElec = "{IEEE} Trans. Aerospace Electron. Systems" }

 @String{IMANumerAna = "{IMA} Journal of Numerical Analysis" }
 @String{IMANumerAna = "{IMA} J. Numer. Anal." }
 @String{InfProcLet = "Information Processing Letters" }
 @String{InfProcLet = "Inform. Process. Lett." }
 @String{InstMathApp = "Journal of the Institute of Mathematics and
     its Applications" }
 @String{InstMathApp = "J. Inst. Math. Appl." }
 @String{IntControl = "International Journal of Control" }
 @String{IntControl = "Internat. J. Control" }
 @String{IntNumerEng = "International Journal for Numerical Methods in
     Engineering" }
 @String{IntNumerEng = "Internat. J. Numer. Methods Engrg." }
 @String{IntSuper = "International Journal of Supercomputing Applications" }
 @String{IntSuper = "Internat. J. Supercomputing Applic." } % didn't find
%% in AMS MR
 @String{Kibernetika = "Kibernetika" }
 @String{JResNatBurStand = "Journal of Research of the National Bureau
     of Standards" }
 @String{JResNatBurStand = "J. Res. Nat. Bur. Standards" }
 @String{LinAlgApp = "Linear Algebra and its Applications" }
 @String{LinAlgApp = "Linear Algebra Appl." }
 @String{MathAnaAppl = "Journal of Mathematical Analysis and Applications" }
 @String{MathAnaAppl = "J. Math. Anal. Appl." }
 @String{MathAnnalen = "Mathematische Annalen" }
 @String{MathAnnalen = "Math. Ann." }
 @String{MathPhys = "Journal of Mathematical Physics" }
 @String{MathPhys = "J. Math. Phys." }
 @String{MathComp = "Mathematics of Computation" }
 @String{MathComp = "Math. Comp." }
 @String{MathScand = "Mathematica Scandinavica" }
 @String{MathScand = "Math. Scand." }
 @String{TablesAidsComp = "Mathematical Tables and Other Aids to Computation" }
 @String{TablesAidsComp = "Math. Tables Aids Comput." }
 @String{NumerMath = "Numerische Mathematik" }
 @String{NumerMath = "Numer. Math." }
 @String{PacificMath = "Pacific Journal of Mathematics" }
 @String{PacificMath = "Pacific J. Math." }
 @String{ParDistComp = "Journal of Parallel and Distributed Computing" }
 @String{ParDistComp = "J. Parallel and Distrib. Comput." } % didn't find
%% in AMS MR
 @String{ParComputing = "Parallel Computing" }
 @String{ParComputing = "Parallel Comput." }
 @String{PhilMag = "Philosophical Magazine" }
 @String{PhilMag = "Philos. Mag." }
 @String{ProcNAS = "Proceedings of the National Academy of Sciences
                    of the USA" }
 @String{ProcNAS = "Proc. Nat. Acad. Sci. U. S. A." }
 @String{Psychometrika = "Psychometrika" }
 @String{QuartMath = "Quarterly Journal of Mathematics, Oxford, Series (2)" }
 @String{QuartMath = "Quart. J. Math. Oxford Ser. (2)" }
 @String{QuartApplMath = "Quarterly of Applied Mathematics" }
 @String{QuartApplMath = "Quart. Appl. Math." }
 @String{RevueInstStat = "Review of the International Statisical Institute" }
 @String{RevueInstStat = "Rev. Inst. Internat. Statist." }

 %SIAM
 @String{JSIAM = "Journal of the Society for Industrial and Applied
     Mathematics" }
 @String{JSIAM = "J. Soc. Indust. Appl. Math." }
 @String{JSIAMB = "Journal of the Society for Industrial and Applied
     Mathematics, Series B, Numerical Analysis" }
 @String{JSIAMB = "J. Soc. Indust. Appl. Math. Ser. B Numer. Anal." }
 @String{SIAMAlgMeth = "{SIAM} Journal on Algebraic and Discrete Methods" }
 @String{SIAMAlgMeth = "{SIAM} J. Algebraic Discrete Methods" }
 @String{SIAMAppMath = "{SIAM} Journal on Applied Mathematics" }
 @String{SIAMAppMath = "{SIAM} J. Appl. Math." }
 @String{SIAMComp = "{SIAM} Journal on Computing" }
 @String{SIAMComp = "{SIAM} J. Comput." }
 @String{SIAMMatrix = "{SIAM} Journal on Matrix Analysis and Applications" }
 @String{SIAMMatrix = "{SIAM} J. Matrix Anal. Appl." }
 @String{SIAMNumAnal = "{SIAM} Journal on Numerical Analysis" }
 @String{SIAMNumAnal = "{SIAM} J. Numer. Anal." }
 @String{SIAMReview = "{SIAM} Review" }
 @String{SIAMReview = "{SIAM} Rev." }
 @String{SIAMSciStat = "{SIAM} Journal on Scientific and Statistical
     Computing" }
 @String{SIAMSciStat = "{SIAM} J. Sci. Statist. Comput." }

 @String{SoftPracExp = "Software Practice and Experience" }
 @String{SoftPracExp = "Software Prac. Experience" } % didn't find in AMS MR
 @String{StatScience = "Statistical Science" }
 @String{StatScience = "Statist. Sci." }
 @String{Techno = "Technometrics" }
 @String{USSRCompMathPhys = "{USSR} Computational Mathematics and Mathematical
     Physics" }
 @String{USSRCompMathPhys = "{U. S. S. R.} Comput. Math. and Math. Phys." }
 @String{VLSICompSys = "Journal of {VLSI} and Computer Systems" }
 @String{VLSICompSys = "J. {VLSI} Comput. Syst." }
 @String{ZAngewMathMech = "Zeitschrift fur Angewandte Mathematik und
     Mechanik" }
 @String{ZAngewMathMech = "Z. Angew. Math. Mech." }
 @String{ZAngewMathPhys = "Zeitschrift fur Angewandte Mathematik und Physik" }
 @String{ZAngewMathPhys = "Z. Angew. Math. Phys." }

% Publishers % ================================================= |

 @String{Academic = "Academic Press" }
 @String{ACMPress = "{ACM} Press" }
 @String{AdamHilger = "Adam Hilger" }
 @String{AddisonWesley = "Addison-Wesley" }
 @String{AllynBacon = "Allyn and Bacon" }
 @String{AMS = "American Mathematical Society" }
 @String{Birkhauser = "Birkha{\"u}ser" }
 @String{CambridgePress = "Cambridge University Press" }
 @String{Chelsea = "Chelsea" }
 @String{ClaredonPress = "Claredon Press" }
 @String{DoverPub = "Dover Publications" }
 @String{Eyolles = "Eyolles" }
 @String{HoltRinehartWinston = "Holt, Rinehart and Winston" }
 @String{Interscience = "Interscience" }
 @String{JohnsHopkinsPress = "The Johns Hopkins University Press" }
 @String{JohnWileySons = "John Wiley and Sons" }
 @String{Macmillan = "Macmillan" }
 @String{MathWorks = "The Math Works Inc." }
 @String{McGrawHill = "McGraw-Hill" }
 @String{NatBurStd = "National Bureau of Standards" }
 @String{NorthHolland = "North-Holland" }
 @String{OxfordPress = "Oxford University Press" }  %address Oxford or London?
 @String{PergamonPress = "Pergamon Press" }
 @String{PlenumPress = "Plenum Press" }
 @String{PrenticeHall = "Prentice-Hall" }
 @String{SIAMPub = "{SIAM} Publications" }
 @String{Springer = "Springer-Verlag" }
 @String{TexasPress = "University of Texas Press" }
 @String{VanNostrand = "Van Nostrand" }
 @String{WHFreeman = "W. H. Freeman and Co." }

%Entries

@inproceedings{Hagerup1993,
title        = {Maintaining Discrete Probability Distributions Optimally},
author       = {Hagerup, Torben and Mehlhorn, Kurt and Munro, J. Ian},
booktitle    = {Proceedings of the 20th International Colloquium on Automata, Languages and Programming},
series       = {Lecture Notes in Computer Science},
volume       = {700},
pages        = {253--264},
year         = {1993},
publisher    = {Springer-Verlag},
address      = {Berlin},
}

@inproceedings{ben2013snarks,
  title={SNARKs for C: Verifying program executions succinctly and in zero knowledge},
  author={Ben-Sasson, Eli and Chiesa, Alessandro and Genkin, Daniel and Tromer, Eran and Virza, Madars},
  booktitle={Annual cryptology conference},
  pages={90--108},
  year={2013},
  organization={Springer}
}

@article{boneh2020efficient-pcs,
  title={Efficient polynomial commitment schemes for multiple points and polynomials},
  author={Boneh, Dan and Drake, Justin and Fisch, Ben and Gabizon, Ariel},
  journal={Cryptology ePrint Archive},
  year={2020}
}

@article{boneh2020halo-pcs,
  title={Halo infinite: Recursive zk-snarks from any additive polynomial commitment scheme},
  author={Boneh, Dan and Drake, Justin and Fisch, Ben and Gabizon, Ariel},
  journal={Cryptology ePrint Archive},
  year={2020}
}

@article{kate2010polynomial-pcs,
  title={Polynomial commitments},
  author={Kate, Aniket and Zaverucha, Gregory M and Goldberg, Ian},
  journal={Tech. Rep},
  year={2010}
}

@article{xiao2012security,
  title={Security and privacy in cloud computing},
  author={Xiao, Zhifeng and Xiao, Yang},
  journal={IEEE communications surveys \& tutorials},
  volume={15},
  number={2},
  pages={843--859},
  year={2012},
  publisher={IEEE}
}

@inproceedings{pearson2009taking,
  title={Taking account of privacy when designing cloud computing services},
  author={Pearson, Siani},
  booktitle={2009 ICSE Workshop on Software Engineering Challenges of Cloud Computing},
  pages={44--52},
  year={2009},
  organization={IEEE}
}

@article{takabi2010security,
  title={Security and privacy challenges in cloud computing environments},
  author={Takabi, Hassan and Joshi, James BD and Ahn, Gail-Joon},
  journal={IEEE Security \& Privacy},
  volume={8},
  number={6},
  pages={24--31},
  year={2010},
  publisher={IEEE}
}

@incollection{wood2016trustless,
  title={Trustless computing—The what not the how},
  author={Wood, Gavin and Steiner, Jutta},
  booktitle={Banking Beyond Banks and Money},
  pages={133--144},
  year={2016},
  publisher={Springer}
}

@inproceedings{chang2002trustless,
  title={Trustless grid computing in ConCert},
  author={Chang, Bor-Yuh Evan and Crary, Karl and DeLap, Margaret and Harper, Robert and Liszka, Jason and Murphy VII, Tom and Pfenning, Frank},
  booktitle={International Workshop on Grid Computing},
  pages={112--125},
  year={2002},
  organization={Springer}
}

@inproceedings{hoffmann2019efficient-r1cs,
  title={Efficient zero-knowledge arguments in the discrete log setting, revisited},
  author={Hoffmann, Max and Kloo{\ss}, Michael and Rupp, Andy},
  booktitle={Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security},
  pages={2093--2110},
  year={2019}
}

@article{gabizon2019plonk,
  title={Plonk: Permutations over lagrange-bases for oecumenical noninteractive arguments of knowledge},
  author={Gabizon, Ariel and Williamson, Zachary J and Ciobotaru, Oana},
  journal={Cryptology ePrint Archive},
  year={2019}
}

@article{pearson2022plonkup,
  title={Plonkup: Reconciling plonk with plookup},
  author={Pearson, Luke and Fitzgerald, Joshua and Masip, H{\'e}ctor and Bell{\'e}s-Mu{\~n}oz, Marta and Mu{\~n}oz-Tapia, Jose Luis},
  journal={Cryptology ePrint Archive},
  year={2022}
}

@inproceedings{gadepalli2020sledge-wasmsec,
  title={Sledge: A serverless-first, light-weight wasm runtime for the edge},
  author={Gadepalli, Phani Kishore and McBride, Sean and Peach, Gregor and Cherkasova, Ludmila and Parmer, Gabriel},
  booktitle={Proceedings of the 21st International Middleware Conference},
  pages={265--279},
  year={2020}
}

@article{mcfadden2018security,
  title={Security chasms of wasm},
  author={McFadden, Brian and Lukasiewicz, Tyler and Dileo, Jeff and Engler, Justin},
  journal={NCC Group Whitepaper},
  year={2018}
}

@article{chong2013enforcing-tl,
  title={Enforcing language semantics using proof-carrying data},
  author={Chong, Stephen and Tromer, Eran and Vaughan, Jeffrey A},
  journal={Cryptology ePrint Archive},
  year={2013}
}

@inproceedings{jin2012proof-tl,
  title={Proof carrying-based information flow tracking for data secrecy protection and hardware trust},
  author={Jin, Yier and Makris, Yiorgos},
  booktitle={2012 IEEE 30th VLSI Test Symposium (VTS)},
  pages={252--257},
  year={2012},
  organization={IEEE}
}

@inproceedings{crary2003foundational-tl,
  title={Foundational certified code in a metalogical framework},
  author={Crary, Karl and Sarkar, Susmit},
  booktitle={International Conference on Automated Deduction},
  pages={106--120},
  year={2003},
  organization={Springer}
}

@inproceedings{azzedin2002evolving-tl,
  title={Evolving and managing trust in grid computing systems},
  author={Azzedin, Farag and Maheswaran, Muthucumaru},
  booktitle={IEEE CCECE2002. Canadian Conference on Electrical and Computer Engineering. Conference Proceedings (Cat. No. 02CH37373)},
  volume={3},
  pages={1424--1429},
  year={2002},
  organization={IEEE}
}

@inproceedings{groth2016size,
  title={On the size of pairing-based non-interactive arguments},
  author={Groth, Jens},
  booktitle={Annual international conference on the theory and applications of cryptographic techniques},
  pages={305--326},
  year={2016},
  organization={Springer}
}

@article{partala2020non-snark-survey,
  title={Non-interactive zero-knowledge for blockchain: A survey},
  author={Partala, Juha and Nguyen, Tri Hong and Pirttikangas, Susanna},
  journal={IEEE Access},
  volume={8},
  pages={227945--227961},
  year={2020},
  publisher={IEEE}
}

@misc{begassat2021specification-zkevm,
  title={A specification for a ZK-EVM},
  author={B{\'e}gassat, Olivier and Belling, Alexandre and Chapuis-Chkaiban, Th{\'e}odore and Liochon, Nicolas},
  year={2021}
}

@misc{different-zkevms,
    author = {Vitalik},
    year = {2022},
    title = {The different types of ZK-EVMs},
    url = {https://vitalik.ca/general/2022/08/04/zkevm.html},
    note = {Accessed on 2022-9-3} 
}


@misc{risczero,
    author = {risc zero},
    year = {2022},
    title = {risc zero: overview of the zkvm},
    url = {https://www.risczero.com/docs/explainers/zkvm/},
    note = {Accessed on 2022-9-3} 
}



@inproceedings{jawurekzero-pin,
  author    = {Marek Jawurek and
               Florian Kerschbaum and
               Claudio Orlandi},
  title     = {Zero-knowledge using garbled circuits: how to prove non-algebraic
               statements efficiently},
  booktitle = {2013 {ACM} {SIGSAC} Conference on Computer and Communications Security,
               (CCS'13)},
  pages     = {955--966},
  publisher = {{ACM}},
  year      = {2013},
  }




@article{parno2016pinocchio,
title={Pinocchio: Nearly practical verifiable computation},
author={Parno, Bryan and Howell, Jon and Gentry, Craig and Raykova, Mariana},
journal={Communications of the ACM},
volume={59},
number={2},
pages={103–112},
year={2016},
publisher={ACM New York, NY, USA}
}

@inproceedings{ben2013snarks-4c,
title={SNARKs for C: Verifying program executions succinctly and in zero knowledge},
author={Ben-Sasson, Eli and Chiesa, Alessandro and Genkin, Daniel and Tromer, Eran and Virza, Madars},
booktitle={Annual cryptology conference},
pages={90–108},
year={2013},
organization={Springer}
}

@article{wahby2014efficient-ram,
title={Efficient RAM and control flow in verifiable outsourced computation},
author={Wahby, Riad S and Setty, Srinath and Howald, Max and Ren, Zuocheng and Blumberg, Andrew J and Walfish, Michael},
journal={Cryptology ePrint Archive},
year={2014}
}

@inproceedings{costello2015geppetto,
title={Geppetto: Versatile verifiable computation},
author={Costello, Craig and Fournet, C{'e}dric and Howell, Jon and Kohlweiss, Markulf and Kreuter, Benjamin and Naehrig, Michael and Parno, Bryan and Zahur, Samee},
booktitle={2015 IEEE Symposium on Security and Privacy},
pages={253–270},
year={2015},
organization={IEEE}
}

@inproceedings{kosba2018xjsnark,
title={xJsnark: A framework for efficient verifiable computation},
author={Kosba, Ahmed and Papamanthou, Charalampos and Shi, Elaine},
booktitle={2018 IEEE Symposium on Security and Privacy (SP)},
pages={944–961},
year={2018},
organization={IEEE}
}

@inproceedings{eberhardt2018zokrates,
title={Zokrates-scalable privacy-preserving off-chain computations},
author={Eberhardt, Jacob and Tai, Stefan},
booktitle={2018 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData)},
pages={1084–1091},
year={2018},
organization={IEEE}
}

@misc{halo2book,
    author = {Halo2},
    year = {2020},
    title = {The Halo2 Book},
    url = {https://zcash.github.io/halo2/},
    note = {Accessed on 2022-9-3}
}
113.@inproceedings{groth2009linear,
title={Linear algebra with sub-linear zero-knowledge arguments},
author={Groth, Jens},
booktitle={Annual International Cryptology Conference},
pages={192–208},
year={2009},
organization={Springer}
}

@inproceedings{bootle2016efficient,
title={Efficient zero-knowledge arguments for arithmetic circuits in the discrete log setting},
author={Bootle, Jonathan and Cerulli, Andrea and Chaidos, Pyrros and Groth, Jens and Petit, Christophe},
booktitle={Annual International Conference on the Theory and Applications of Cryptographic Techniques},
pages={327–357},
year={2016},
organization={Springer}
}

@inproceedings{groth2011efficient,
title={Efficient zero-knowledge arguments from two-tiered homomorphic commitments},
author={Groth, Jens},
booktitle={International Conference on the Theory and Application of Cryptology and Information Security},
pages={431–448},
year={2011},
organization={Springer}
}

@inproceedings{bunz2018bulletproofs,
title={Bulletproofs: Short proofs for confidential transactions and more},
author={B{"u}nz, Benedikt and Bootle, Jonathan and Boneh, Dan and Poelstra, Andrew and Wuille, Pieter and Maxwell, Greg},
booktitle={2018 IEEE symposium on security and privacy (SP)},
pages={315–334},
year={2018},
organization={IEEE}
}

@inproceedings{groth2010short,
title={Short pairing-based non-interactive zero-knowledge arguments},
author={Groth, Jens},
booktitle={International Conference on the Theory and Application of Cryptology and Information Security},
pages={321–340},
year={2010},
organization={Springer}
}

@inproceedings{maller2019sonic,
title={Sonic: Zero-knowledge SNARKs from linear-size universal and updatable structured reference strings},
author={Maller, Mary and Bowe, Sean and Kohlweiss, Markulf and Meiklejohn, Sarah},
booktitle={Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security},
pages={2111–2128},
year={2019}
}

@inproceedings{groth2017snarky,
title={Snarky signatures: Minimal signatures of knowledge from simulation-extractable SNARKs},
author={Groth, Jens and Maller, Mary},
booktitle={Annual International Cryptology Conference},
pages={581–612},
year={2017},
organization={Springer}
}

@inproceedings{chiesa2020marlin,
title={Marlin: preprocessing zkSNARKs with universal and updatable SRS},
author={Chiesa, Alessandro and Hu, Yuncong and Maller, Mary and Mishra, Pratyush and Vesely, Noah and Ward, Nicholas},
booktitle={Annual International Conference on the Theory and Applications of Cryptographic Techniques},
pages={738–768},
year={2020},
organization={Springer}
}

@inproceedings{bunz2020transparent,
title={Transparent SNARKs from DARK compilers},
author={B{"u}nz, Benedikt and Fisch, Ben and Szepieniec, Alan},
booktitle={Annual International Conference on the Theory and Applications of Cryptographic Techniques},
pages={677–706},
year={2020},
organization={Springer}
}

@article{chiesa2019cycles-batch,
  title={On cycles of pairing-friendly elliptic curves},
  author={Chiesa, Alessandro and Chua, Lynn and Weidner, Matthew},
  journal={SIAM Journal on Applied Algebra and Geometry},
  volume={3},
  number={2},
  pages={175--192},
  year={2019},
  publisher={SIAM}
}

@article{ben2017scalable-batch,
  title={Scalable zero knowledge via cycles of elliptic curves},
  author={Ben-Sasson, Eli and Chiesa, Alessandro and Tromer, Eran and Virza, Madars},
  journal={Algorithmica},
  volume={79},
  number={4},
  pages={1102--1160},
  year={2017},
  publisher={Springer}
}

@inproceedings{kothapalli2022nova-batch,
  title={Nova: Recursive zero-knowledge arguments from folding schemes},
  author={Kothapalli, Abhiram and Setty, Srinath and Tzialla, Ioanna},
  booktitle={Annual International Cryptology Conference},
  pages={359--388},
  year={2022},
  organization={Springer}
}

@article{habock2021darlin-batch,
  title={Darlin: Recursive Proofs using Marlin},
  author={Hab{\"o}ck, Ulrich and Garoffolo, Alberto and Di Benedetto, Daniele},
  journal={arXiv preprint arXiv:2107.04315},
  year={2021}
}

@article{chen2022hyperplonk,
  title={HyperPlonk: Plonk with Linear-Time Prover and High-Degree Custom Gates},
  author={Chen, Binyi and B{\"u}nz, Benedikt and Boneh, Dan and Zhang, Zhenfei},
  journal={Cryptology ePrint Archive},
  year={2022}
}

@inproceedings{wu2018dizk,
  title={$\{$DIZK$\}$: A distributed zero knowledge proof system},
  author={Wu, Howard and Zheng, Wenting and Chiesa, Alessandro and Popa, Raluca Ada and Stoica, Ion},
  booktitle={27th USENIX Security Symposium (USENIX Security 18)},
  pages={675--692},
  year={2018}
}

@inproceedings{peng2020design,
  title={Design of a Hardware Accelerator for Zero-Knowledge Proof in Blockchains},
  author={Peng, BO and Zhu, Yongxin and Jing, Naifeng and Zheng, Xiaoying and Zhou, Yueying},
  booktitle={International Conference on Smart Computing and Communication},
  pages={136--145},
  year={2020},
  organization={Springer}
}
@article{xavier2022pipemsm,
  title={PipeMSM: Hardware Acceleration for Multi-Scalar Multiplication},
  author={Xavier, Charles F},
  journal={Cryptology ePrint Archive},
  year={2022}
}