Pinocchio: Nearly Practical Verifiable Computation

Parno, B., Howell, J., Gentry, C., Raykova, M.·2013·2013 IEEE Symposium on Security and Privacy
DOI 10.1109/sp.2013.47

Cited by (863)

Items 101–200 of 863

  1. Zero Knowledge Proofs for Decision Tree Predictions and Accuracy
    Jiaheng Zhang, Zhiyong Fang, Yupeng Zhang, Dawn Xiaodong Song · 2020 · ACM SIGSAC Conference on Computer and Communications Security (CCS)
  2. Subversion-Zero-Knowledge SNARKs
    Georg Fuchsbauer · 2018 · Lecture notes in computer science
  3. Non-Interactive Zero-Knowledge for Blockchain: A Survey
    Juha Partala, Tri Nguyen, Susanna Pirttikangas · 2020 · IEEE Access
  4. Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles
    2013
  5. How to build time-lock encryption
    Jia Liu, Tibor Jager, Saqib A. Kakvi, Bogdan Warinschi · 2018 · Designs Codes and Cryptography
  6. Sub-linear Lattice-Based Zero-Knowledge Arguments for Arithmetic Circuits
    Carsten Baum, Jonathan Bootle, Andrea Cerulli, Rafaël del Pino, Jens Groth, Vadim Lyubashevsky · 2018 · Lecture notes in computer science
  7. zkay
    Samuel Steffen, Benjamin Bichsel, Mario Gersbach, Noa Melchior, Petar Tsankov, Martin Vechev · 2019 · ACM SIGSAC Conference on Computer and Communications Security (CCS)
  8. Blockchain-based Interoperable Healthcare using Zero-Knowledge Proofs and Proxy Re-Encryption
    Bhavye Sharma, Raju Halder, Jawar Singh · 2020 · International Conference on Communication Systems & Networks (COMSNETS)
  9. Responsible and Regulatory Conform Machine Learning for Medicine: A Survey of Challenges and Solutions
    Eike Petersen, Yannik Potdevin, Esfandiar Mohammadi, Stephan Zidowitz, Sabrina Breyer, Dirk Nowotka, Sandra Henn, Ludwig Pechmann, Martin Leucker, Philipp Rostalski et al. · 2022 · IEEE Access
  10. Blockchains for COVID-19 Contact Tracing and Vaccine Support: A Systematic Review
    Laura Ricci, Damiano Di Francesco Maesa, Alfredo Favenza, Enrico Ferro · 2021 · IEEE Access
  11. PhotoProof: Cryptographic Image Authentication for Any Set of Permissible Transformations
    Assa Naveh, Eran Tromer · 2016 · IEEE Symposium on Security and Privacy (S&P)
  12. Algebraic Cryptanalysis of STARK-Friendly Designs: Application to MARVELlous and MiMC
    Martin R. Albrecht, Carlos Cid, Lorenzo Grassi, Dmitry Khovratovich, Reinhard Lüftenegger, Christian Rechberger, Markus Schofnegger · 2019 · Lecture notes in computer science
  13. Lattice-Based SNARKs: Publicly Verifiable, Preprocessing, and Recursively Composable
    Martin R. Albrecht, Valerio Cini, Russell W. F. Lai, Giulio Malavolta, Sri Aravinda Krishnan Thyagarajan · 2022 · Lecture notes in computer science
  14. zk-AuthFeed: Protecting Data Feed to Smart Contracts With Authenticated Zero Knowledge Proof
    Zhiguo Wan, Yan Zhou, Kui Ren · 2022 · IEEE Transactions on Dependable and Secure Computing
  15. Architectural Resilience in Cloud, Fog and Edge Systems: A Survey
    Victor Prokhorenko, Muhammad Ali Babar · 2020 · IEEE Access
  16. Scalable Zero Knowledge Via Cycles of Elliptic Curves
    Eli Ben‐Sasson, Alessandro Chiesa, Eran Tromer, Madars Virza · 2016 · Algorithmica
  17. Linear-Time Zero-Knowledge Proofs for Arithmetic Circuit Satisfiability
    Jonathan Bootle, Andrea Cerulli, Essam Ghadafi, Jens Groth, Mohammad Hajiabadi, Sune K. Jakobsen · 2017 · Lecture notes in computer science
  18. The State of Public Infrastructure-as-a-Service Cloud Security
    Wei Huang, Afshar Ganjali, Beom Heyn Kim, Sukwon Oh, David Lie · 2015 · ACM Computing Surveys
  19. A survey of cryptographic approaches to securing big-data analytics in the cloud
    Sophia Yakoubov, Vijay N. Gadepally, Nabíl Schear, Emily Shen, Arkady Yerukhimovich · 2014 · IEEE High Performance Extreme Computing Conference
  20. Practical Non-interactive Publicly Verifiable Secret Sharing with Thousands of Parties
    Craig Gentry, Shai Halevi, Vadim Lyubashevsky · 2022 · Lecture notes in computer science
  21. Batch Arguments for $$\textsf{NP}$$ and More from Standard Bilinear Group Assumptions
    Brent R. Waters, David J. Wu · 2022 · Lecture notes in computer science
  22. Proofs, Arguments, and Zero-Knowledge
    Justin Thaler · 2022 · Foundations and Trends® in Privacy and Security
  23. Verifiable ASICs
    Riad S. Wahby, Max Howald, Siddharth Garg, Abhi A. Shelat, Michael Walfish · 2016 · IEEE Symposium on Security and Privacy (S&P)
  24. Highly Efficient Linear Regression Outsourcing to a Cloud
    Fei Chen, Tao Xiang, Xinyu Lei, Jianyong Chen · 2014 · IEEE Transactions on Cloud Computing
  25. Halo Infinite: Proof-Carrying Data from Additive Polynomial Commitments
    Dan Boneh, Justin Drake, Ben Fisch, Ariel Gabizon · 2021 · Lecture notes in computer science
  26. Authenticated data structures, generically
    Andrew E. Miller, Michael Hicks, Jonathan I. Katz, Elaine Shi · 2014 · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
  27. A Subversion-Resistant SNARK
    Behzad Abdolmaleki, Karim Baghery, Helger Lipmaa, Michał Zając · 2017 · Lecture notes in computer science
  28. vRAM: Faster Verifiable RAM with Program-Independent Preprocessing
    Yupeng Zhang, Daniel Genkin, Jonathan I. Katz, Dimitrios Papadopoulos, Charalampos Papamanthou · 2018 · IEEE Symposium on Security and Privacy (S&P)
  29. SoK: Blockchain Light Clients
    Panagiotis Chatzigiannis, Foteini Baldimtsi, Konstantinos Chalkias · 2022 · Lecture notes in computer science
  30. Privacy-Preserving Identity Management System on Blockchain Using Zk-SNARK
    Duc Anh Luong, Jong Hwan Park · 2023 · IEEE Access
  31. Boosting Verifiable Computation on Encrypted Data
    Dario Fiore, Anca Nitulescu, David Pointcheval · 2020 · Lecture notes in computer science
  32. ZeroCross: A sidechain-based privacy-preserving Cross-chain solution for Monero
    Yuxian Li, Jian Weng, Ming Li, Wei Wu, Jiasi Weng, Jia-Nan Liu, Shun Hu · 2022 · Journal of Parallel and Distributed Computing
  33. An Introduction to the Use of zk-SNARKs in Blockchains
    Alexandre Miranda Pinto · 2020 · Springer proceedings in business and economics
  34. Verifiable Set Operations over Outsourced Databases
    Ran Canetti, Omer Paneth, Dimitrios Papadopoulos, Nikos Triandopoulos · 2014 · Lecture notes in computer science
  35. VerSum
    Jelle van den Hooff, M. Frans Kaashoek, Nickolai Zeldovich · 2014 · ACM SIGSAC Conference on Computer and Communications Security (CCS)
  36. Cinderella: Turning Shabby X.509 Certificates into Elegant Anonymous Credentials with the Magic of Verifiable Computation
    Antoine Delignat-Lavaud, Cédric Fournet A, Markulf Kohlweiss, Bryan Jeffery Parno · 2016 · IEEE Symposium on Security and Privacy (S&P)
  37. Full Accounting for Verifiable Outsourcing
    Riad S. Wahby, Ye Ji, Andrew J. Blumberg, Abhi A. Shelat, Justin Thaler, Michael Walfish, Thomas Wies · 2017 · ACM SIGSAC Conference on Computer and Communications Security (CCS)
  38. Lattice-Based zk-SNARKs from Square Span Programs
    Rosario Gennaro, Michele Minelli, Anca Nitulescu, Michele Orrù · 2018 · ACM SIGSAC Conference on Computer and Communications Security (CCS)
  39. FabZK: Supporting Privacy-Preserving, Auditable Smart Contracts in Hyperledger Fabric
    Hui Kang, Ting Dai, Nerla Jean-Louis, Shu Tao, Xiaohui Gu · 2019 · International Conference on Dependable Systems & Networks/Proceedings
  40. Stacked Garbling for Disjunctive Zero-Knowledge Proofs
    David Heath, Vladimir Kolesnikov · 2020 · Lecture notes in computer science
  41. zkLLM: Zero Knowledge Proofs for Large Language Models
    Sun, Haochen, Li, Jason, Zhang, Hongyang · 2024 · Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security
  42. A Survey of Verifiable Computation
    Xixun Yu, Zheng Yan, Athanasios V. Vasilakos · 2017 · Mobile Networks and Applications
  43. Blockchain-Cloud Transparent Data Marketing: Consortium Management and Fairness
    Dongxiao Liu, Cheng Huang, Jianbing Ni, Xiaodong Lin, Xuemin Shen · 2022 · IEEE Transactions on Computers
  44. Hash First, Argue Later
    Dario Fiore, Cédric Fournet A, Esha Ghosh, Markulf Kohlweiss, Olga Ohrimenko, Bryan Jeffery Parno · 2016 · ACM SIGSAC Conference on Computer and Communications Security (CCS)
  45. Rinocchio: SNARKs for Ring Arithmetic
    Chaya Ganesh, Anca Nitulescu, Eduardo Soria-Vázquez · 2023 · Journal of Cryptology
  46. Enabling Blockchain Services for IoE with Zk-Rollups
    Thomas Lavaur, Jérôme Lacan, Caroline Ponzoni Carvalho Chanel · 2022 · Sensors
  47. Foundations of Hardware-Based Attested Computation and Application to SGX
    Manuel Barbosa, Bernardo Portela, Guillaume Scerri, Bogdan Warinschi · 2016 · IEEE European Symposium on Security and Privacy
  48. New publicly verifiable computation for batch matrix multiplication
    Xiaoyu Zhang, Tao Jiang, Kuan‐Ching Li, Aniello Castiglione, Xiaofeng Chen · 2017 · Information Sciences
  49. Fast and simple constant-time hashing to the BLS12-381 elliptic curve
    Riad S. Wahby, Dan Boneh · 2019 · IACR Transactions on Cryptographic Hardware and Embedded Systems
  50. Secure and Efficient Distributed Network Provenance for IoT: A Blockchain-Based Approach
    Dongxiao Liu, Jianbing Ni, Cheng Huang, Xiaodong Lin, Xuemin Shen · 2020 · IEEE Internet of Things Journal
  51. Cluster Computing in Zero Knowledge
    Alessandro Chiesa, Eran Tromer, Madars Virza · 2015 · Lecture notes in computer science
  52. Blockchain for Transparent Data Management Toward 6G
    Xuemin Shen, Dongxiao Liu, Cheng Huang, Liang Xue, Han Yin, Weihua Zhuang, Rob Sun, Bidi Ying · 2021 · Engineering
  53. GZKP: A GPU Accelerated Zero-Knowledge Proof System
    Weiliang Ma, Qian Xiong, Xuanhua Shi, Xiaosong Ma, Hai Jin, Haozhao Kuang, Mingyu Gao, Ye Zhang, Haichen Shen, Weifang Hu · 2023 · International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)
  54. 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 et al. · 2017 · Lecture notes in computer science
  55. A secure and verifiable outsourcing scheme for matrix inverse computation
    Chunqiang Hu, Abdulrahman Alhothaily, Arwa Alrawais, Xiuzhen Cheng, Carl Sturtivant, Hang Liu · 2017 · IEEE Conference on Computer Communications (INFOCOM)
  56. Blockchain Based Zero-Knowledge Proof of Location in IoT
    Wei Wu, Erwu Liu, Xinglin Gong, Rui Wang · 2020 · International Conference on Communications
  57. Blockchain-Based Privacy-Preserving Positioning Data Sharing for IoT-Enabled Maritime Transportation Systems
    Keke Gai, Haokun Tang, Guangshun Li, Tianxiu Xie, Shuo Wang, Liehuang Zhu, Kim‐Kwang Raymond Choo · 2022 · IEEE Transactions on Intelligent Transportation Systems
  58. Efficient Techniques for Publicly Verifiable Delegation of Computation
    Kaoutar Elkhiyaoui, Melek Önen, Monir Azraoui, Refik Ahmet Molva · 2016 · ACM Asia Conference on Computer and Communications Security (ASIA CCS)
  59. Universally Verifiable Multiparty Computation from Threshold Homomorphic Cryptosystems
    Berry Schoenmakers, Meilof Veeningen · 2015 · Lecture notes in computer science
  60. Zero-Knowledge Proofs for Set Membership: Efficient, Succinct, Modular
    Daniel Benarroch, Matteo Campanelli, Dario Fiore, Kobi Gurkan, Dimitris Kolonelos · 2021 · Lecture notes in computer science
  61. SPDTS: A Differential Privacy-Based Blockchain Scheme for Secure Power Data Trading
    Zewei Liu, Chunqiang Hu, Hui Xia, Tao Xiang, Baolin Wang, Jiajun Chen · 2022 · IEEE Transactions on Network and Service Management
  62. RAMPARTS
    David W. Archer, José Manuel Calderón Trilla, Jason Dagit, Alex J. Malozemoff, Yuriy Polyakov, Kurt R. Rohloff, Gerard W. Ryan · 2019
  63. An Algebraic Attack on Ciphers with Low-Degree Round Functions: Application to Full MiMC
    Maria Eichlseder, Lorenzo Grassi, Reinhard Lüftenegger, Morten Øygarden, Christian Rechberger, Markus Schofnegger, Qingju Wang · 2020 · Lecture notes in computer science
  64. State of the Art of Zero-Knowledge Proofs in Blockchain
    Darko Čapko, Srđan Vukmirović, Nemanja Nedić · 2022 · Telecommunications Forum (TELFOR)
  65. Taking Authenticated Range Queries to Arbitrary Dimensions
    Dimitrios Papadopoulos, Stavros Papadopoulos, Nikos Triandopoulos · 2014 · ACM SIGSAC Conference on Computer and Communications Security (CCS)
  66. Quasi-Optimal SNARGs via Linear Multi-Prover Interactive Proofs
    Dan Boneh, Yuval Ishai, Amit Sahai, David J. Wu · 2018 · Lecture notes in computer science
  67. Anonymity on blockchain based e-cash protocols—A survey
    Nitish Andola, Raghav, Vijay Kumar Yadav, S. Venkatesan, Shekhar Verma · 2021 · Computer Science Review
  68. TRUESET: Faster verifiable set computations
    Ahmed E. Kosba, Dimitrios Papadopoulos, Charalampos Papamanthou, Mahmoud F. Sayed, Elaine Shi, Nikos Triandopoulos · 2014
  69. A Framework for Outsourcing of Secure Computation
    Thomas Pelle Jakobsen, Jesper Buus Nielsen, Claudio Orlandi · 2014
  70. Efficient Secure and Verifiable Outsourcing of Matrix Multiplications
    Yihua Zhang, Marina Blanton · 2014 · Lecture notes in computer science
  71. Enabling Regulatory Compliance and Enforcement in Decentralized Anonymous Payment
    Liang Xue, Dongxiao Liu, Jianbing Ni, Xiaodong Lin, Xuemin Shen · 2022 · IEEE Transactions on Dependable and Secure Computing
  72. HyperNova: Recursive Arguments for Customizable Constraint Systems
    Abhiram Kothapalli, Srinath Setty · 2024 · Lecture notes in computer science
  73. Compute-Less Networking: Perspectives, Challenges, and Opportunities
    Boubakr Nour, Spyridon Mastorakis, Abderrahmen Mtibaa · 2020 · IEEE Network
  74. Balancing Privacy and Accountability in Blockchain Identity Management
    Ivan Damgård, Chaya Ganesh, Hamidreza Khoshakhlagh, Claudio Orlandi, Luisa Siniscalchi · 2021 · Lecture notes in computer science
  75. BlockSense: Towards Trustworthy Mobile Crowdsensing via Proof-of-Data Blockchain
    Junqin Huang, Linghe Kong, Long Cheng, Hong‐Ning Dai, Meikang Qiu, Guihai Chen, Xue Liu, Gang Huang · 2022 · IEEE Transactions on Mobile Computing
  76. Zilch: A Framework for Deploying Transparent Zero-Knowledge Proofs
    Dimitris Mouris, Nektarios Georgios Tsoutsos · 2021 · IEEE Transactions on Information Forensics and Security
  77. Practical Non-Malleable Codes from l-more Extractable Hash Functions
    Aggelos Kiayias, Feng-Hao Liu, Yiannis Tselekounis · 2016 · ACM SIGSAC Conference on Computer and Communications Security (CCS)
  78. Permissioned and Permissionless Blockchains
    Andrew E. Miller · 2019
  79. Minimising Communication in Honest-Majority MPC by Batchwise Multiplication Verification
    Peter Sebastian Nordholt, Meilof Veeningen · 2018 · Lecture notes in computer science
  80. Enabling Privacy and Traceability in Supply Chains using Blockchain and Zero Knowledge Proofs
    Shubham Sahai, Nitin Kumar Singh, Pankaj S Dayama · 2020 · IEEE International Conference on Blockchain (Blockchain)
  81. On Using zk-SNARKs and zk-STARKs in Blockchain-Based Identity Management
    Andreea-Elena Drăgnoiu, Ruxandra F. Olimid · 2021 · Lecture notes in computer science
  82. Gemini: Elastic SNARKs for Diverse Environments
    Jonathan Bootle, Alessandro Chiesa, Yuncong Hu, Michele Orrù · 2022 · Lecture notes in computer science
  83. CirC: Compiler infrastructure for proof systems, software verification, and more
    Alex Ozdemir, Fraser Brown, Riad S. Wahby · 2022 · IEEE Symposium on Security and Privacy (S&P)
  84. Secure Data Outsourcing
    Anrin Chakraborti, Radu Sion · 2021 · Springer eBooks
  85. ZQL: a compiler for privacy-preserving data processing
    Cédric Fournet A, Markulf Kohlweiss, George Danezis, Zhengqin Luo · 2013
  86. Verena: End-to-End Integrity Protection for Web Applications
    Nikolaos Karapanos, Alexandros Filios, Raluca Ada Popa, Srđjan Čapkun · 2016 · IEEE Symposium on Security and Privacy (S&P)
  87. Parallel and Asynchronous Smart Contract Execution
    Jian Liu, Peilun Li, Raymond Cheng, N. Asokan, Dawn Xiaodong Song · 2021 · IEEE Transactions on Parallel and Distributed Systems
  88. Authenticated data structures, generically
    Andrew E. Miller, Michael Hicks, Jonathan I. Katz, Elaine Shi · 2014 · ACM SIGPLAN Notices
  89. Verifiable outsourced computation over encrypted data
    Xixun Yu, Zheng Yan, Rui Zhang · 2018 · Information Sciences
  90. SnarkPack: Practical SNARK Aggregation
    Nicolas Gailly, Mary Maller, Anca Nitulescu · 2022 · Lecture notes in computer science
  91. Accountable Storage
    Giuseppe Ateniese, Michael T. Goodrich, Vassilios Lekakis, Charalampos Papamanthou, Evripidis Paraskevas, Roberto Tamassia · 2017 · Lecture notes in computer science
  92. A Distributed Secure Outsourcing Scheme for Solving Linear Algebraic Equations in Ad Hoc Clouds
    Wenlong Shen, Bo Yin, Xianghui Cao, Yu Cheng, Xuemin Shen · 2017 · IEEE Transactions on Cloud Computing
  93. A survey of elliptic curves for proof systems
    Diego F. Aranha, Youssef El Housni, Aurore Guillevic · 2022 · Designs Codes and Cryptography
  94. HyperMaze: Towards Privacy-Preserving and Scalable Permissioned Blockchain
    Wei Liu, Zhiguo Wan, Jun Shao, Yong Yu · 2021 · IEEE Transactions on Dependable and Secure Computing
  95. Pianist: Scalable zkRollups via Fully Distributed Zero-Knowledge Proofs
    Tianyi Liu, Tiancheng Xie, Jiaheng Zhang, Dawn Xiaodong Song, Yupeng Zhang · 2024 · IEEE Symposium on Security and Privacy (S&P)
  96. Secure outsourcing of modular exponentiations in cloud and cluster computing
    Jun Ye, Zheng Xu, Yong Ding · 2016 · Cluster Computing
  97. Towards Privacy-assured and Lightweight On-chain Auditing of Decentralized Storage
    Yuefeng Du, Huayi Duan, Anxin Zhou, Cong Wang, Man Ho Au, Qian Wang · 2020 · IEEE International Conference on Distributed Computing Systems (ICDCS)
  98. Challenges in making blockchain privacy compliant for the digital world: some measures
    Smita Bansod, Lata L. Ragha · 2022 · Sadhana
  99. Blockchain-Based Practical and Privacy-Preserving Federated Learning with Verifiable Fairness
    Yitian Zhang, Yuming Tang, Zijian Zhang, Meng Li, Zhen Li, Salabat Khan, Huaping Chen, Guoqiang Cheng · 2023 · Mathematics
  100. Gyrus: A Framework for User-Intent Monitoring of Text-Based Networked Applications
    Yeongjin Jang, Simon Pak Ho Chung, Bryan D. Payne, Wenke Lee · 2014 · Network and Distributed System Security Symposium